"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "interprocedural_analyses/taint/configuration.mli" 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).

configuration.mli  (pyre-check-0.0.53):configuration.mli  (pyre-check-0.0.54)
skipping to change at line 30 skipping to change at line 30
end end
type implicit_sinks = { conditional_test: Sinks.t list } type implicit_sinks = { conditional_test: Sinks.t list }
type analysis_model_constraints = { type analysis_model_constraints = {
maximum_model_width: int; maximum_model_width: int;
maximum_complex_access_path_length: int; maximum_complex_access_path_length: int;
maximum_overrides_to_analyze: int option; maximum_overrides_to_analyze: int option;
} }
type partial_sink_converter = (Sources.t * Sinks.t) list String.Map.Tree.t type partial_sink_converter = (Sources.t list * Sinks.t) list String.Map.Tree.t
type t = { type t = {
sources: string list; sources: string list;
sinks: string list; sinks: string list;
features: string list; features: string list;
rules: Rule.t list; rules: Rule.t list;
implicit_sinks: implicit_sinks; implicit_sinks: implicit_sinks;
partial_sink_converter: partial_sink_converter; partial_sink_converter: partial_sink_converter;
acceptable_sink_labels: string list Core.String.Map.Tree.t; acceptable_sink_labels: string list Core.String.Map.Tree.t;
find_obscure_flows: bool; find_obscure_flows: bool;
 End of changes. 1 change blocks. 
1 lines changed or deleted 1 lines changed or added

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