|
file | ai.cpp [code] |
| Abstract Interpretation.
|
|
file | ai.h [code] |
| Abstract Interpretation.
|
|
file | ai_domain.cpp [code] |
| Abstract Interpretation Domain.
|
|
file | ai_domain.h [code] |
| Abstract Interpretation Domain.
|
|
file | call_graph.cpp [code] |
| Function Call Graphs.
|
|
file | call_graph.h [code] |
| Function Call Graphs.
|
|
file | call_graph_helpers.cpp [code] |
| Function Call Graph Helpers.
|
|
file | call_graph_helpers.h [code] |
| Function Call Graph Helpers.
|
|
file | cfg_dominators.h [code] |
| Compute dominators for CFG of goto_function.
|
|
file | constant_propagator.cpp [code] |
| Constant Propagation.
|
|
file | constant_propagator.h [code] |
| Constant propagation.
|
|
file | custom_bitvector_analysis.cpp [code] |
| Field-insensitive, location-sensitive bitvector analysis.
|
|
file | custom_bitvector_analysis.h [code] |
| Field-insensitive, location-sensitive bitvector analysis.
|
|
file | dependence_graph.cpp [code] |
| Field-Sensitive Program Dependence Analysis, Litvak et al., FSE 2010.
|
|
file | dependence_graph.h [code] |
| Field-Sensitive Program Dependence Analysis, Litvak et al., FSE 2010.
|
|
file | dirty.cpp [code] |
| Local variables whose address is taken.
|
|
file | dirty.h [code] |
| Variables whose address is taken.
|
|
file | does_remove_const.cpp [code] |
| Analyses.
|
|
file | does_remove_const.h [code] |
| Analyses.
|
|
file | escape_analysis.cpp [code] |
| Field-insensitive, location-sensitive escape analysis.
|
|
file | escape_analysis.h [code] |
| Field-insensitive, location-sensitive, over-approximative escape analysis.
|
|
file | flow_insensitive_analysis.cpp [code] |
| Flow Insensitive Static Analysis.
|
|
file | flow_insensitive_analysis.h [code] |
| Flow Insensitive Static Analysis.
|
|
file | global_may_alias.cpp [code] |
| Field-insensitive, location-sensitive global may alias analysis.
|
|
file | global_may_alias.h [code] |
| Field-insensitive, location-sensitive, over-approximative escape analysis.
|
|
file | goto_check.cpp [code] |
| GOTO Programs.
|
|
file | goto_check.h [code] |
| Program Transformation.
|
|
file | goto_rw.cpp [code] |
|
file | goto_rw.h [code] |
|
file | interval_analysis.cpp [code] |
| Interval Analysis – implements the functionality necessary for performing abstract interpretation over interval domain for goto programs.
|
|
file | interval_analysis.h [code] |
| Interval Analysis.
|
|
file | interval_domain.cpp [code] |
| Interval Domain.
|
|
file | interval_domain.h [code] |
| Interval Domain.
|
|
file | interval_template.h [code] |
|
file | invariant_propagation.cpp [code] |
| Invariant Propagation.
|
|
file | invariant_propagation.h [code] |
| Invariant Propagation.
|
|
file | invariant_set.cpp [code] |
| Invariant Set.
|
|
file | invariant_set.h [code] |
| Value Set.
|
|
file | invariant_set_domain.cpp [code] |
| Invariant Set Domain.
|
|
file | invariant_set_domain.h [code] |
| Value Set.
|
|
file | is_threaded.cpp [code] |
| Over-approximate Concurrency for Threaded Goto Programs.
|
|
file | is_threaded.h [code] |
| Over-approximate Concurrency for Threaded Goto Programs.
|
|
file | local_bitvector_analysis.cpp [code] |
| Field-insensitive, location-sensitive may-alias analysis.
|
|
file | local_bitvector_analysis.h [code] |
| Field-insensitive, location-sensitive bitvector analysis.
|
|
file | local_cfg.cpp [code] |
| CFG for One Function.
|
|
file | local_cfg.h [code] |
| CFG for One Function.
|
|
file | local_may_alias.cpp [code] |
| Field-insensitive, location-sensitive may-alias analysis.
|
|
file | local_may_alias.h [code] |
| Field-insensitive, location-sensitive may-alias analysis.
|
|
file | local_safe_pointers.cpp [code] |
| Local safe pointer analysis.
|
|
file | local_safe_pointers.h [code] |
| Local safe pointer analysis.
|
|
file | locals.cpp [code] |
| Local variables.
|
|
file | locals.h [code] |
| Local variables whose address is taken.
|
|
file | natural_loops.cpp [code] |
| Dominators.
|
|
file | natural_loops.h [code] |
| Compute natural loops in a goto_function.
|
|
file | reaching_definitions.cpp [code] |
| Range-based reaching definitions analysis (following Field- Sensitive Program Dependence Analysis, Litvak et al., FSE 2010)
|
|
file | reaching_definitions.h [code] |
| Range-based reaching definitions analysis (following Field- Sensitive Program Dependence Analysis, Litvak et al., FSE 2010)
|
|
file | static_analysis.cpp [code] |
| Value Set Propagation.
|
|
file | static_analysis.h [code] |
| Static Analysis.
|
|
file | uncaught_exceptions_analysis.cpp [code] |
| Over-approximating uncaught exceptions analysis.
|
|
file | uncaught_exceptions_analysis.h [code] |
| Over-approximative uncaught exceptions analysis.
|
|
file | uninitialized_domain.cpp [code] |
| Detection for Uninitialized Local Variables.
|
|
file | uninitialized_domain.h [code] |
| Detection for Uninitialized Local Variables.
|
|