"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "interprocedural_analyses/taint/test/integration/via_value_of.py.models" between
pyre-check-0.0.54.tar.gz and pyre-check-0.0.55.tar.gz

About: Pyre is a performant type checker for Python (ships with Pysa, a security focused static analysis tool).

via_value_of.py.models  (pyre-check-0.0.54):via_value_of.py.models  (pyre-check-0.0.55)
skipping to change at line 127 skipping to change at line 127
} }
] ]
} }
], ],
"tito": [] "tito": []
} }
} }
{ {
"kind": "model", "kind": "model",
"data": { "data": {
"callable": "via_value_of.return_including_name",
"sources": [
{
"port": "result",
"taint": [ { "decl": null, "leaves": [ { "kind": "Test" } ] } ]
}
],
"sinks": [],
"tito": []
}
}
{
"kind": "model",
"data": {
"callable": "via_value_of.return_via_parameter_name", "callable": "via_value_of.return_via_parameter_name",
"sources": [ "sources": [
{ {
"port": "result", "port": "result",
"taint": [ { "decl": null, "leaves": [ { "kind": "Test" } ] } ] "taint": [ { "decl": null, "leaves": [ { "kind": "Test" } ] } ]
} }
], ],
"sinks": [], "sinks": [],
"tito": [] "tito": []
} }
skipping to change at line 314 skipping to change at line 328
} }
] ]
} }
], ],
"sinks": [], "sinks": [],
"tito": [] "tito": []
} }
} }
{ {
"kind": "model", "kind": "model",
"data": {
"callable": "via_value_of.test_return_including_name",
"sources": [
{
"port": "result",
"taint": [
{
"root": {
"filename": "via_value_of.py",
"line": 88,
"start": 11,
"end": 51
},
"leaves": [
{
"kind": "Test",
"name": "via_value_of.return_including_name",
"on_all_flows": true
}
],
"features": [
{ "always-via-value-of-parameter": "parameter_value" }
]
}
]
}
],
"sinks": [],
"tito": []
}
}
{
"kind": "model",
"data": { "data": {
"callable": "via_value_of.test_sink", "callable": "via_value_of.test_sink",
"sources": [], "sources": [],
"sinks": [ "sinks": [
{ {
"port": "formal(element)", "port": "formal(element)",
"taint": [ "taint": [
{ {
"root": { "root": {
"filename": "via_value_of.py", "filename": "via_value_of.py",
 End of changes. 2 change blocks. 
0 lines changed or deleted 47 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)