repo.or.cz
/
clang.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Don't try and symbolicate unions; we don't reason
2011-01-25
Ted Kre
m
enek
Do
n
't try and
s
ymb
o
li
c
ate u
n
ions; we don't reason
commit
|
commitdiff
|
tree
2011-01-25
Ted
Krem
e
nek
Rec
y
cle memory for GRS
t
ates t
h
at a
r
e nev
e
r referenced
commit
|
commitdiff
|
tree
2011-01-25
Ted Kremenek
Teach
-Wun
i
nitialized-e
x
perime
n
t
a
l t
o
also wa
r
n
commit
|
commitdiff
|
tree
2011-01-25
Ted
K
remen
e
k
Tweak
w
ording of st
a
tic
a
n
a
lyzer diagnosti
c
commit
|
commitdiff
|
tree
2011-01-23
Ted Kremenek
Te
a
ch -Wuninitialized-exp
e
rimental a
b
out sizeo
f
()
.
commit
|
commitdiff
|
tree
2011-01-23
Te
d
Kremenek
Tweak diagnostic:
commit
|
commitdiff
|
tree
2011-01-23
Ted Kr
e
menek
N
u
ll
i
nitialize a few variab
l
es flagg
e
d by
commit
|
commitdiff
|
tree
2011-01-21
Ted Kreme
n
ek
P
r
ovide -W
u
ninitializ
e
d-experimental fixits
commit
|
commitdiff
|
tree
2011-01-21
Ted
K
r
e
m
enek
Ad
d
basic fix
i
ts f
o
r
-Wuniniti
a
l
i
zed-experimental
commit
|
commitdiff
|
tree
2011-01-21
T
e
d Kreme
n
ek
En
h
ance -Wuninitiali
z
ed-exp
e
rimental di
a
gnostics
commit
|
commitdiff
|
tree
2011-01-20
Ted Kre
m
en
e
k
Re
m
ov
i
ng de
b
ug printi
n
g logic from Uni
n
i
t
ia
l
izedValu
e
sV2
.
commit
|
commitdiff
|
tree
2011-01-20
Ted K
r
emen
e
k
Rela
x
CFG as
s
e
r
tions in Un
i
nitializedValue
s
V2 whe
n
commit
|
commitdiff
|
tree
2011-01-20
Ted Kremenek
Add t
e
s
t
case for <r
d
ar:
/
/problem/8891119>
.
In
commit
|
commitdiff
|
tree
2011-01-20
Ted Kremen
e
k
Add rud
i
mentary path-
s
en
s
itivity
t
o
Unintialize
d
ValuesV2
commit
|
commitdiff
|
tree
2011-01-20
T
ed K
r
emen
e
k
Enhance An
a
ly
s
i
sConsumer
t
o a
l
so
visit functions
commit
|
commitdiff
|
tree
2011-01-18
Ted
K
remenek
Teach UninitializedValuesV
2
to imp
l
icitl
y
r
e
a
son about C++
commit
|
commitdiff
|
tree
2011-01-18
Ted K
r
emenek
Correc
t
ly enable test/Sema/unit-va
r
iables
.
c,
commit
|
commitdiff
|
tree
2011-01-18
T
e
d Kr
e
menek
Teach Uni
n
itializedVa
l
uesV2 about "in
t
x
=
x" and
commit
|
commitdiff
|
tree
2011-01-18
Ted K
r
emen
e
k
Get
cla
n
g
-wpa to build in T
O
T
(reflect
i
ng up
d
ates
commit
|
commitdiff
|
tree
2011-01-15
Ted Krem
e
nek
A
dd
i
nitial prototyp
e
f
o
r
implementation
of
commit
|
commitdiff
|
tree
2011-01-15
Ted Kr
e
me
n
ek
Add const ver
s
ion if CFG::isBlkE
x
pr()
.
commit
|
commitdiff
|
tree
2011-01-14
Ted
K
r
e
menek
Cleanup confus
e
d co
d
e that redundantly called
"getDeclConte
x
.
.
.
commit
|
commitdiff
|
tree
2011-01-14
Ted Kremenek
The
vari
a
b
l
e
'Reuse
d
D
e
cl
'
is writte
n
b
ut
n
ever read
.
commit
|
commitdiff
|
tree
2011-01-14
Ted Kremenek
The variable 'isTempla
t
e
S
p
e
cialization' i
s
no longer
commit
|
commitdiff
|
tree
2011-01-14
Ted
K
r
emenek
Re
m
ove unused st
o
re to vari
a
b
le 'Nam
e
'
.
Found
by
c
lang
.
.
.
commit
|
commitdiff
|
tree
2011-01-14
Ted K
r
emenek
D
r
iver: tweak handli
n
g of '-
-
a
n
alyze' to invoke
commit
|
commitdiff
|
tree
2011-01-14
Ted Krem
e
nek
Re
n
a
me 'Remo
v
eDea
d
B
i
n
dings()' t
o
'r
e
moveDeadBinding
s
()'
commit
|
commitdiff
|
tree
2011-01-14
Ted Krem
e
nek
Rena
m
e 'E
n
terStackFrame()' to 'enterSt
a
c
kFrame
(
)'
.
commit
|
commitdiff
|
tree
2011-01-14
Ted
Kremenek
Teach
Regi
o
nStore::EnterStackFr
a
m
e
() t
o
handle
commit
|
commitdiff
|
tree
2011-01-13
T
ed Kre
m
enek
Rena
m
e
'CheckDeadStore
s
.
cpp' to 'DeadStoresCheck
e
r
.
.
.
commit
|
commitdiff
|
tree
2011-01-13
Ted Kremenek
Remo
v
e warning
in dead stores checker for
commit
|
commitdiff
|
tree
2011-01-13
Ted Kremenek
F
ix a corner case in RegionStore
w
here we
a
s
s
i
g
n
commit
|
commitdiff
|
tree
2011-01-13
Ted Kremene
k
Ren
a
me 'HasGe
n
e
r
atedNode' to 'hasGeneratedNode'
commit
|
commitdiff
|
tree
2011-01-13
Te
d
Kremen
e
k
R
em
o
ve un
n
e
c
essa
r
y save-and-restore of the
commit
|
commitdiff
|
tree
2011-01-13
Ted
Kr
e
menek
R
e
move
C
hec
k
erC
o
ntext's
d
ependenc
e
on sett
i
n
g
commit
|
commitdiff
|
tree
2011-01-11
Te
d
K
r
e
menek
R
e
m
o
ve Pr
o
gramPoint parameter from GenericNod
e
Bui
l
der
.
.
.
commit
|
commitdiff
|
tree
2011-01-11
Ted Kremenek
Rework
E
xprEngine:
:
proc
e
ssC
F
GBloc
k
Entrance
(
)
commit
|
commitdiff
|
tree
2011-01-11
T
ed Kremenek
Remove several silly methods from ento
:
:CoreEngine
commit
|
commitdiff
|
tree
2011-01-11
Ted Kremenek
R
e
nam
e
misc
.
methods
in ento:
:
Worklis
t
to start
commit
|
commitdiff
|
tree
2011-01-11
Ted
K
remenek
Rename mis
c
.
methods in
G
RSubEngine to
s
tart
commit
|
commitdiff
|
tree
2011-01-08
Ted Kremenek
Add semanti
c
checki
n
g t
h
a
t
the
"thous
a
nds gro
u
p
i
ng"
commit
|
commitdiff
|
tree
2011-01-08
Ted Kremenek
Add printf form
a
t s
t
ring p
a
rs
i
ng
support for '
commit
|
commitdiff
|
tree
2011-01-07
Ted K
r
emen
e
k
Fix cra
s
h
in CFGBuil
d
er on invalid code
.
We
still
.
.
.
commit
|
commitdiff
|
tree
2010-12-24
Ted
K
remenek
Add
b
asic support for pointer arith
m
etic in
commit
|
commitdiff
|
tree
2010-12-23
Te
d
Kremenek
Add -fobjc-default-synthesiz
e
d-
p
roperti
e
s
flag
commit
|
commitdiff
|
tree
2010-12-23
Ted
Kremene
k
Chris Lattner has
s
tron
g
o
p
i
nions about directory
commit
|
commitdiff
|
tree
2010-12-23
T
e
d Kreme
n
e
k
Rename header
s
: 'clang/GR' 'cl
a
ng/EntoSA' and
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremenek
Rename
s
t
atic analyze
r
nam
e
space 'GR'
t
o
'
ento'
.
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremen
e
k
It's
amazing
w
h
at
y
ou find
w
hen
yo
u
act
u
ally
commit
|
commitdiff
|
tree
2010-12-23
Ted
K
r
e
menek
Fu
r
t
h
er
t
w
eak n
o
n
loc::Con
c
reteInt p
r
etty printing
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremene
k
Add WI
P
p
rotot
y
pe of a new buffe
r
ove
r
flow
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremene
k
Change MemRegion e
x
tent type to be t
h
e s
a
me type used
commit
|
commitdiff
|
tree
2010-12-23
Ted
Kremenek
A
d
d 'getConditionType()' and
'
getArrayIndexTyp
e
()
'
commit
|
commitdiff
|
tree
2010-12-23
T
ed Kremenek
E
n
hance pr
e
tty-printing for
n
o
nloc::Concrete
I
nt
commit
|
commitdiff
|
tree
2010-12-20
Ted Kremenek
Rename '
V
isitLocation' to
'
v
is
i
tLo
c
a
tion'
.
commit
|
commitdiff
|
tree
2010-12-20
T
e
d K
r
em
e
nek
Rena
m
e 'Generate[No
d
e,Sink]' to 'gen
e
rate[Node,Si
n
k
]'
.
commit
|
commitdiff
|
tree
2010-12-17
Ted Kremen
e
k
U
pd
a
te
c
hecker buil
d
.
commit
|
commitdiff
|
tree
2010-12-17
Ted Kremenek
R
e
move explicit
summaries from retai
n
/rele
a
se
commit
|
commitdiff
|
tree
2010-12-17
Ted Kremen
e
k
F
i
x asserti
o
n failure in cocoa
:
:deri
v
eNamingConvention()
commit
|
commitdiff
|
tree
2010-12-17
Ted Kremenek
Move C
o
coaConventions
.
[h,cpp] fr
o
m libChecker
commit
|
commitdiff
|
tree
2010-12-17
Te
d
Kremenek
Re
v
ise Cocoa conventions
detection: 'copy' and 'mutableCopy'
commit
|
commitdiff
|
tree
2010-12-17
Ted Kr
e
menek
Ren
a
me several methods/functions in the an
a
lyzer
commit
|
commitdiff
|
tree
2010-12-16
Ted
Krem
e
nek
Twe
a
k loca
t
ion of diagnostic for -Wunreachable-code
commit
|
commitdiff
|
tree
2010-12-16
Ted Kremenek
S
t
art m
i
gr
a
tion of stat
i
c
analyzer to using th
e
commit
|
commitdiff
|
tree
2010-12-09
Ted Kremenek
R
emove extr
a
na
m
espace specifier
.
commit
|
commitdiff
|
tree
2010-12-09
Ted
K
remenek
D
e
nseMapInfo
i
s
a 'struc
t
'
,
not a
'class'
.
commit
|
commitdiff
|
tree
2010-12-08
Ted Kre
m
enek
Add
new
l
i
bcl
a
ng hooks for
C
XCurs
o
rSet, a
commit
|
commitdiff
|
tree
2010-12-05
Ted
K
r
eme
n
ek
Ma
r
k SVa
l
c
ons
t
ructo
r
s 'expli
c
i
t
'
.
commit
|
commitdiff
|
tree
2010-12-05
Ted K
r
emene
k
Rename Environment::Lookup
E
xpr(
)
to
commit
|
commitdiff
|
tree
2010-12-05
Ted Kremenek
Re
m
ove unused m
e
thod
GR
S
t
a
te::LookupExpr()
.
commit
|
commitdiff
|
tree
2010-12-03
Ted K
r
em
e
nek
U
p
date analy
z
e
r
bui
l
d
.
commit
|
commitdiff
|
tree
2010-12-03
Ted Kr
e
menek
Add test ca
s
e for r1
2
0795
.
commit
|
commitdiff
|
tree
2010-12-03
Ted Krem
e
n
e
k
Fix an insi
d
ious bug in
BugRep
o
rter where
commit
|
commitdiff
|
tree
2010-12-03
Ted
K
reme
n
e
k
A
lso incl
u
de
the pointer addre
s
s
of the
E
xpl
o
dedNode
commit
|
commitdiff
|
tree
2010-12-03
Ted Kreme
n
ek
Fix di
a
gnostic
fo
r
reporting bad escape sequence
.
commit
|
commitdiff
|
tree
2010-12-02
Ted Kremen
e
k
F
i
x
range
in printf warni
n
gs
for
i
nvalid con
v
e
r
sion
.
.
.
commit
|
commitdiff
|
tree
2010-12-02
Ted Krem
e
ne
k
Mer
g
e
Val
u
eManager into
SV
a
l
B
uilder
.
commit
|
commitdiff
|
tree
2010-12-01
Ted Krem
e
nek
Rename all 'AssumeXXX' met
h
ods
i
n libC
h
ecker
commit
|
commitdiff
|
tree
2010-12-01
Ted Kremenek
Rename all
'
EvalXXX' methods in libChecker to
commit
|
commitdiff
|
tree
2010-12-01
Te
d
Kremenek
Ren
a
me 'SValuat
o
r'
t
o 'SValB
u
i
lder'
.
Th
e
ne
w
name
commit
|
commitdiff
|
tree
2010-11-30
Ted Krem
e
nek
Update c
h
ecker
b
uild
.
commit
|
commitdiff
|
tree
2010-11-24
Ted Kreme
n
e
k
Adjust method c
a
lls to reflect
name changes
i
n
commit
|
commitdiff
|
tree
2010-11-18
Ted Kremenek
C
ursorVisitor: swit
c
h
r
e
m
ai
n
ing expressi
o
n
s ov
e
r
commit
|
commitdiff
|
tree
2010-11-18
Te
d
K
r
emenek
C
u
r
sorVisitor: migrate h
a
ndling
of
commit
|
commitdiff
|
tree
2010-11-17
Ted K
r
emenek
M
ake definit
i
on
o
f
CXT
r
anslati
o
nU
n
itImpl
private
commit
|
commitdiff
|
tree
2010-11-17
T
e
d
Kre
m
enek
Cursor
V
isitor: Migr
a
te handli
n
g of
commit
|
commitdiff
|
tree
2010-11-17
Ted Kr
e
m
enek
CursorVisitor:
m
igrate handlin
g
of CXXUuido
f
Expr to
commit
|
commitdiff
|
tree
2010-11-17
Ted Kremene
k
Cursor
V
isitor: migrate han
d
ling of Una
r
y
Type
T
raitExpr
commit
|
commitdiff
|
tree
2010-11-17
Ted Kremenek
Cu
r
s
o
rVisit
o
r: refa
c
tor visitat
i
on of
commit
|
commitdiff
|
tree
2010-11-17
Ted
K
remenek
Cursor
V
isitor:
m
ig
r
ate h
a
ndling of
commit
|
commitdiff
|
tree
2010-11-17
Te
d
Kremenek
Curso
r
Visi
t
or
:
migrate handlin
g
of
commit
|
commitdiff
|
tree
2010-11-17
Ted
K
remenek
C
u
r
sorVisitor: migrate
hand
l
ing of
commit
|
commitdiff
|
tree
2010-11-17
Ted Kremenek
C
u
rsorVisitor: m
i
g
r
ate hand
l
ing of
commit
|
commitdiff
|
tree
2010-11-17
Ted
K
remenek
C
u
rsorVi
s
ito
r
: Migrate
CXXUn
r
esolvedConstructExpr over
.
.
.
commit
|
commitdiff
|
tree
2010-11-17
Ted Kre
m
enek
A
d
d
c
omments
.
commit
|
commitdiff
|
tree
2010-11-16
Ted Kr
e
menek
Static analyzer: Catch
c
alls
t
o malloc() with
commit
|
commitdiff
|
tree
2010-11-16
T
ed
K
r
e
menek
Rework USR
g
eneration
f
rom CXC
u
rsors to
use CXS
t
ringBufs
commit
|
commitdiff
|
tree
2010-11-16
Ted
K
remen
e
k
Cha
n
g
e
C
XTran
s
lationU
n
it t
o
not directly cas
t
to an
.
.
.
commit
|
commitdiff
|
tree
2010-11-16
Ted
K
r
e
m
enek
Add CXString
.
cpp
a
nd CXString
.
h
commit
|
commitdiff
|
tree
2010-11-16
T
e
d Kremenek
M
o
ve CXString
c
r
e
at
i
on/m
a
n
a
gement routines into
commit
|
commitdiff
|
tree
next