"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "interprocedural_analyses/taint/test/integration/multiple_sources.py.pysa" 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.pysa  (pyre-check-0.0.53):multiple_sources.py.pysa  (pyre-check-0.0.54)
def multiple_sources.user_controlled_input() -> TaintSource[UserControlled]: ... def multiple_sources.user_controlled_input() -> TaintSource[UserControlled]: ...
def multiple_sources.permissive_context() -> TaintSource[PermissiveContext]: ... def multiple_sources.permissive_context() -> TaintSource[PermissiveContext]: ...
def multiple_sources.Node.send( def multiple_sources.Node.send(
self: PartialSink[UserControlledAndVC[id]], self: PartialSink[UserControlledAndVC[id]],
vc: PartialSink[UserControlledAndVC[vc]], vc: PartialSink[UserControlledAndVC[vc]],
): ... ): ...
def multiple_sources.a_source() -> TaintSource[TestA]: ...
def multiple_sources.b_source() -> TaintSource[TestB]: ...
def multiple_sources.combines_tests_and_context(
test: PartialSink[ExpectsEitherTest[a]],
vc: PartialSink[ExpectsEitherTest[b]]): ...
 End of changes. 1 change blocks. 
0 lines changed or deleted 0 lines changed or added

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