Java/C#: Re-factor model generator taint tracking configurations to use the new API#12539
Conversation
06ad562 to
f08280e
Compare
f08280e to
9e772aa
Compare
9e772aa to
8816c54
Compare
|
A couple of remarks for DCA. For C# DCA reports a minor discrepancy between the generated models. System.Reflection.Emit;EnumBuilder;false;get_AssemblyQualifiedName;();;Argument[this];ReturnValue;taint;generated
System.Reflection.Emit;EnumBuilder;false;get_FullName;();;Argument[this];ReturnValue;taint;generated
System.Reflection.Emit;TypeBuilder;false;ToString;();;Argument[this];ReturnValue;taint;generated
System.Reflection.Emit;TypeBuilder;false;get_AssemblyQualifiedName;();;Argument[this];ReturnValue;taint;generated
System.Reflection.Emit;TypeBuilder;false;get_FullName;();;Argument[this];ReturnValue;taint;generated |
8816c54 to
643f929
Compare
1618e3c to
06af32b
Compare
06af32b to
d258a1c
Compare
|
DCA looks similar to the first execution. |
No description provided.