pfff-lang_GENERIC-analyze
Dataflow_reaching
commons
commons_core
pfff-commons-graph
pfff-config
pfff-graph_code
pfff-h_files-format
pfff-h_program-lang
pfff-h_version-control
pfff-h_visualization
pfff-lang_FUZZY
pfff-lang_GENERIC
pfff-lang_c
pfff-lang_c-analyze
pfff-lang_cpp
pfff-lang_cpp-analyze
pfff-lang_java
pfff-lang_java-analyze
pfff-lang_js
pfff-lang_js-analyze
pfff-lang_ml
pfff-lang_ml-analyze
pfff-lang_nw
pfff-lang_nw-analyze
pfff-lang_python
pfff-lang_python-analyze
pfff-linter
pfff-matcher
type reaching_mapping = Dataflow.NodeiSet.t Dataflow.mapping
val reaching_fixpoint : Dataflow.F.flow -> reaching_mapping
val display_reaching_dflow : Dataflow_visitor.F.flow -> reaching_mapping -> unit