"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "interprocedural_analyses/taint/test/integration/multiple_sources.py.models" 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.models  (pyre-check-0.0.53):multiple_sources.py.models  (pyre-check-0.0.54)
skipping to change at line 57 skipping to change at line 57
} }
] ]
} }
], ],
"features": [] "features": []
} }
} }
{ {
"kind": "issue", "kind": "issue",
"data": { "data": {
"callable": "multiple_sources.issue_with_test_a_and_b",
"callable_line": 84,
"code": 4322,
"line": 86,
"start": 43,
"end": 63,
"filename": "multiple_sources.py",
"message": "TestA or TestB and permissive context combine",
"traces": [
{
"name": "forward",
"roots": [
{
"root": {
"filename": "multiple_sources.py",
"line": 86,
"start": 43,
"end": 63
},
"leaves": [
{
"kind": "PermissiveContext",
"name": "multiple_sources.permissive_context",
"on_all_flows": true
}
]
}
]
},
{
"name": "backward",
"roots": [
{
"root": {
"filename": "multiple_sources.py",
"line": 86,
"start": 43,
"end": 63
},
"leaves": [
{ "kind": "TriggeredPartialSink[ExpectsEitherTest[b]]" }
]
}
]
}
],
"features": []
}
}
{
"kind": "issue",
"data": {
"callable": "multiple_sources.issue_with_test_a_and_b",
"callable_line": 84,
"code": 4322,
"line": 85,
"start": 43,
"end": 63,
"filename": "multiple_sources.py",
"message": "TestA or TestB and permissive context combine",
"traces": [
{
"name": "forward",
"roots": [
{
"root": {
"filename": "multiple_sources.py",
"line": 85,
"start": 43,
"end": 63
},
"leaves": [
{
"kind": "PermissiveContext",
"name": "multiple_sources.permissive_context",
"on_all_flows": true
}
]
}
]
},
{
"name": "backward",
"roots": [
{
"root": {
"filename": "multiple_sources.py",
"line": 85,
"start": 43,
"end": 63
},
"leaves": [
{ "kind": "TriggeredPartialSink[ExpectsEitherTest[b]]" }
]
}
]
}
],
"features": []
}
}
{
"kind": "issue",
"data": {
"callable": "multiple_sources.issue_with_triggered_context", "callable": "multiple_sources.issue_with_triggered_context",
"callable_line": 48, "callable_line": 48,
"code": 4321, "code": 4321,
"line": 50, "line": 50,
"start": 34, "start": 34,
"end": 36, "end": 36,
"filename": "multiple_sources.py", "filename": "multiple_sources.py",
"message": "User controlled and permissive context combine", "message": "User controlled and permissive context combine",
"traces": [ "traces": [
{ {
skipping to change at line 328 skipping to change at line 432
} }
] ]
} }
], ],
"tito": [] "tito": []
} }
} }
{ {
"kind": "model", "kind": "model",
"data": { "data": {
"callable": "multiple_sources.a_source",
"sources": [
{
"port": "result",
"taint": [ { "decl": null, "leaves": [ { "kind": "TestA" } ] } ]
}
],
"sinks": [],
"tito": []
}
}
{
"kind": "model",
"data": {
"callable": "multiple_sources.b_source",
"sources": [
{
"port": "result",
"taint": [ { "decl": null, "leaves": [ { "kind": "TestB" } ] } ]
}
],
"sinks": [],
"tito": []
}
}
{
"kind": "model",
"data": {
"callable": "multiple_sources.combines_tests_and_context",
"sources": [],
"sinks": [
{
"port": "formal(vc)",
"taint": [
{
"decl": null,
"leaves": [ { "kind": "PartialSink[ExpectsEitherTest[b]]" } ]
}
]
},
{
"port": "formal(test)",
"taint": [
{
"decl": null,
"leaves": [ { "kind": "PartialSink[ExpectsEitherTest[a]]" } ]
}
]
}
],
"tito": []
}
}
{
"kind": "model",
"data": {
"callable": "multiple_sources.demonstrate_triggered_context", "callable": "multiple_sources.demonstrate_triggered_context",
"sources": [], "sources": [],
"sinks": [ "sinks": [
{ {
"port": "formal(vc)", "port": "formal(vc)",
"taint": [ "taint": [
{ {
"root": { "root": {
"filename": "multiple_sources.py", "filename": "multiple_sources.py",
"line": 35, "line": 35,
 End of changes. 2 change blocks. 
0 lines changed or deleted 160 lines changed or added

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