index
:
honours
master
My honours project from 2012.
Carlo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
clang
/
lib
/
StaticAnalyzer
/
Core
Mode
Name
Size
-rw-r--r--
AnalysisManager.cpp
3473
log
plain
about
-rw-r--r--
BasicConstraintManager.cpp
13388
log
plain
about
-rw-r--r--
BasicValueFactory.cpp
7936
log
plain
about
-rw-r--r--
BlockCounter.cpp
2590
log
plain
about
-rw-r--r--
BugReporter.cpp
67740
log
plain
about
-rw-r--r--
BugReporterVisitors.cpp
25430
log
plain
about
-rw-r--r--
CMakeLists.txt
1023
log
plain
about
-rw-r--r--
Checker.cpp
1254
log
plain
about
-rw-r--r--
CheckerContext.cpp
2743
log
plain
about
-rw-r--r--
CheckerHelpers.cpp
2291
log
plain
about
-rw-r--r--
CheckerManager.cpp
25936
log
plain
about
-rw-r--r--
CheckerRegistry.cpp
5188
log
plain
about
-rw-r--r--
CoreEngine.cpp
20995
log
plain
about
-rw-r--r--
Environment.cpp
10222
log
plain
about
-rw-r--r--
ExplodedGraph.cpp
12433
log
plain
about
-rw-r--r--
ExprEngine.cpp
73726
log
plain
about
-rw-r--r--
ExprEngineC.cpp
30345
log
plain
about
-rw-r--r--
ExprEngineCXX.cpp
11651
log
plain
about
-rw-r--r--
ExprEngineCallAndReturn.cpp
18216
log
plain
about
-rw-r--r--
ExprEngineObjC.cpp
10992
log
plain
about
-rw-r--r--
FunctionSummary.cpp
1213
log
plain
about
-rw-r--r--
HTMLDiagnostics.cpp
18047
log
plain
about
-rw-r--r--
IntervalConstraintManager.cpp
16257
log
plain
about
-rw-r--r--
Makefile
582
log
plain
about
-rw-r--r--
MemRegion.cpp
34824
log
plain
about
-rw-r--r--
ObjCMessage.cpp
2822
log
plain
about
-rw-r--r--
PathDiagnostic.cpp
24500
log
plain
about
-rw-r--r--
PlistDiagnostics.cpp
17114
log
plain
about
-rw-r--r--
ProgramState.cpp
23323
log
plain
about
-rw-r--r--
RangeConstraintManager.cpp
16201
log
plain
about
-rw-r--r--
RegionStore.cpp
72742
log
plain
about
-rw-r--r--
SValBuilder.cpp
13710
log
plain
about
-rw-r--r--
SVals.cpp
10247
log
plain
about
-rw-r--r--
SimpleConstraintManager.cpp
10308
log
plain
about
-rw-r--r--
SimpleConstraintManager.h
4051
log
plain
about
-rw-r--r--
SimpleSValBuilder.cpp
35279
log
plain
about
-rw-r--r--
Store.cpp
13299
log
plain
about
-rw-r--r--
SubEngine.cpp
465
log
plain
about
-rw-r--r--
SymbolManager.cpp
15587
log
plain
about
-rw-r--r--
TextPathDiagnostics.cpp
2519
log
plain
about