|
Up
|
|
|
|
|
analysis-plan.cc
|
|
|
|
|
analysis-plan.h
|
|
|
|
|
analyzer-logging.cc
|
|
|
|
|
analyzer-logging.h
|
|
|
|
|
analyzer-pass.cc
|
|
|
|
|
analyzer-selftests.cc
|
|
|
|
|
analyzer-selftests.h
|
|
|
|
|
analyzer.cc
|
|
|
|
|
analyzer.h
|
|
|
|
|
analyzer.opt
|
|
|
|
|
bar-chart.cc
|
|
|
|
|
bar-chart.h
|
|
|
|
|
call-info.cc
|
|
|
|
|
call-info.h
|
|
|
|
|
call-string.cc
|
|
|
|
|
call-string.h
|
|
|
|
|
ChangeLog
|
|
|
|
|
checker-path.cc
|
|
|
|
|
checker-path.h
|
|
|
|
|
complexity.cc
|
|
|
|
|
complexity.h
|
|
|
|
|
constraint-manager.cc
|
|
|
|
|
constraint-manager.h
|
|
|
|
|
diagnostic-manager.cc
|
|
|
|
|
diagnostic-manager.h
|
|
|
|
|
engine.cc
|
|
|
|
|
engine.h
|
|
|
|
|
exploded-graph.h
|
|
|
|
|
feasible-graph.cc
|
|
|
|
|
feasible-graph.h
|
|
|
|
|
function-set.cc
|
|
|
|
|
function-set.h
|
|
|
|
|
pending-diagnostic.cc
|
|
|
|
|
pending-diagnostic.h
|
|
|
|
|
program-point.cc
|
|
|
|
|
program-point.h
|
|
|
|
|
program-state.cc
|
|
|
|
|
program-state.h
|
|
|
|
|
reachability.h
|
|
|
|
|
region-model-asm.cc
|
|
|
|
|
region-model-impl-calls.cc
|
|
|
|
|
region-model-manager.cc
|
|
|
|
|
region-model-reachability.cc
|
|
|
|
|
region-model-reachability.h
|
|
|
|
|
region-model.cc
|
|
|
|
|
region-model.h
|
|
|
|
|
region.cc
|
|
|
|
|
region.h
|
|
|
|
|
sm-file.cc
|
|
|
|
|
sm-malloc.cc
|
|
|
|
|
sm-malloc.dot
|
|
|
|
|
sm-pattern-test.cc
|
|
|
|
|
sm-sensitive.cc
|
|
|
|
|
sm-signal.cc
|
|
|
|
|
sm-taint.cc
|
|
|
|
|
sm.cc
|
|
|
|
|
sm.h
|
|
|
|
|
state-purge.cc
|
|
|
|
|
state-purge.h
|
|
|
|
|
store.cc
|
|
|
|
|
store.h
|
|
|
|
|
supergraph.cc
|
|
|
|
|
supergraph.h
|
|
|
|
|
svalue.cc
|
|
|
|
|
svalue.h
|
|
|
|
|
trimmed-graph.cc
|
|
|
|
|
trimmed-graph.h
|
|
|
|