"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "interprocedural_analyses/taint/test/integration/via_value_of.py.pysa" 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.pysa  (pyre-check-0.0.54):via_value_of.py.pysa  (pyre-check-0.0.55)
def via_value_of.return_via_parameter_name(parameter) -> TaintSource[Test, ViaVa lueOf[parameter]]: ... def via_value_of.return_via_parameter_name(parameter) -> TaintSource[Test, ViaVa lueOf[parameter]]: ...
def via_value_of.tito(parameter: TaintInTaintOut[LocalReturn, ViaValueOf[other]] , other): ... def via_value_of.tito(parameter: TaintInTaintOut[LocalReturn, ViaValueOf[other]] , other): ...
def via_value_of.sink_via_value_of(x: TaintSink[Test, ViaValueOf[y]], y): ... def via_value_of.sink_via_value_of(x: TaintSink[Test, ViaValueOf[y]], y): ...
def via_value_of.attach_to_source(parameter) -> AttachToSource[ViaValueOf[parame ter]]: ... def via_value_of.attach_to_source(parameter) -> AttachToSource[ViaValueOf[parame ter]]: ...
def via_value_of.attach_to_sink(parameter: AttachToSink[ViaValueOf[feature]], fe ature): ... def via_value_of.attach_to_sink(parameter: AttachToSink[ViaValueOf[feature]], fe ature): ...
def via_value_of.return_including_name(parameter) -> TaintSource[
Test,
ViaValueOf[parameter, WithTag["parameter"]]
]: ...
 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)