index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
StaticAnalyzer
/
Core
/
ProgramState.cpp
Age
Commit message (
Expand
)
Author
2012-01-12
[analyzer] fix inlining's handling of mapping actual to formal arguments and ...
Ted Kremenek
2012-01-07
[analyzer] Add basic format string vulnerability checking.
Anna Zaks
2012-01-06
[analyzer] Make the entries in 'Environment' context-sensitive by making entr...
Ted Kremenek
2012-01-04
[analyzer] Be less pessimistic about invalidation of global variables
Anna Zaks
2011-12-20
Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...
David Blaikie
2011-12-17
[analyzer] Minor: Simplify & assert.
Anna Zaks
2011-12-16
[analyzer] Better stdin support.
Anna Zaks
2011-12-14
[analyzer] Minor refactor to addTaint.
Anna Zaks
2011-12-14
[analyzer] Mark getenv output as tainted.
Anna Zaks
2011-12-10
[analyzer] Introduce IntSymExpr, where the integer is on the lhs.
Anna Zaks
2011-12-08
[analyzer] If memory region is tainted mark data as tainted.
Anna Zaks
2011-12-07
[analyzer] Cleanup: use the variable.
Anna Zaks
2011-12-07
[analyzer] Propagate taint through MemRegions.
Anna Zaks
2011-12-06
[analyzer] Add comments related to symbol_iterator
Anna Zaks
2011-12-06
[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it
Anna Zaks
2011-12-06
[analyzer] Propagate taint through NonLoc to NonLoc casts.
Anna Zaks
2011-12-05
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
Anna Zaks
2011-12-05
[analyzer] Add ability to do a simple ProgramState dump() without
Anna Zaks
2011-11-17
[analyzer] Minor tweaks to the ProgramState::isTainted().
Anna Zaks
2011-11-16
[analyzer] Adding basic building blocks for taint propagation.
Anna Zaks
2011-09-22
ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call sin...
Anna Zaks
2011-09-02
[analyzer] Remove TransferFuncs.h, then deal with the fallout.
Jordy Rose
2011-08-28
[analyzer] Introduce a new callback for checkers, printState, to be used for ...
Jordy Rose
2011-08-27
[analyzer] Change the check::RegionChanges callback to include the regions ex...
Jordy Rose
2011-08-15
Add ProgramState.cpp.
Ted Kremenek
[prev]