"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "interprocedural_analyses/taint/test/integration/multiple_sources.py.config" between
pyre-check-0.0.53.tar.gz and pyre-check-0.0.54.tar.gz

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

multiple_sources.py.config  (pyre-check-0.0.53):multiple_sources.py.config  (pyre-check-0.0.54)
{ {
"sources": [ "sources": [
{ "name": "UserControlled" }, { "name": "UserControlled" },
{ "name": "PermissiveContext" } { "name": "PermissiveContext" },
{ "name": "TestA" },
{ "name": "TestB" }
], ],
"sinks": [ "sinks": [
{ "name": "UserControlledAndVC", "multi_sink_labels": ["id", "vc"] } { "name": "UserControlledAndVC", "multi_sink_labels": ["id", "vc"] },
{ "name": "ExpectsEitherTest", "multi_sink_labels": ["a", "b"] }
], ],
"combined_source_rules": [ "combined_source_rules": [
{ {
"name": "Test multi sink rule", "name": "Test multi sink rule",
"sources": { "id": "UserControlled", "vc": "PermissiveContext" }, "sources": { "id": "UserControlled", "vc": "PermissiveContext" },
"sinks": ["UserControlledAndVC"], "sinks": ["UserControlledAndVC"],
"code": 4321, "code": 4321,
"message_format": "User controlled and permissive context combine" "message_format": "User controlled and permissive context combine"
},
{
"name": "Test multi sink rule with multiple sources",
"sources": { "a": ["TestA", "TestB"], "b": "PermissiveContext" },
"sinks": ["ExpectsEitherTest"],
"code": 4322,
"message_format": "TestA or TestB and permissive context combine"
} }
] ]
} }
 End of changes. 3 change blocks. 
2 lines changed or deleted 12 lines changed or added

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