Commits · f99d595cfd32465c97fe1dea2638d7f967ef6089 · Roger Ferrer / llvm-epi-0.8 · GitLab

This is an archived project. Repository and other project resources are read-only.

Feb 08, 2011

[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h ->... · f99d595c

Argyrios Kyrtzidis authored Feb 08, 2011

[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h

llvm-svn: 125121

f99d595c

Jan 11, 2011
- [analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently... · 1790c975
  Argyrios Kyrtzidis authored Jan 11, 2011
```
[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently distinguish between loads/stores.

llvm-svn: 123261
```
  1790c975
Dec 23, 2010
- Chris Lattner has strong opinions about directory · d99bd55a
  Ted Kremenek authored Dec 23, 2010
```
layout.  :)

Rename the 'EntoSA' directories to 'StaticAnalyzer'.

Internally we will still use the 'ento' namespace
for the analyzer engine (unless there are further
sabre rattlings...).

llvm-svn: 122514
```
  d99bd55a
- Rename headers: 'clang/GR' 'clang/EntoSA' and · ef33f099
  Ted Kremenek authored Dec 23, 2010
```
update Makefile.

llvm-svn: 122493
```
  ef33f099
- Rename static analyzer namespace 'GR' to 'ento'. · 98857c98
  Ted Kremenek authored Dec 23, 2010
```
llvm-svn: 122492
```
  98857c98
- Add WIP prototype of a new buffer overflow · e73571b9
  Ted Kremenek authored Dec 23, 2010
```
checker based on using raw (symbolic) byte offsets
from a base region.

llvm-svn: 122469
```
  e73571b9