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
Provide -Wuninitialized-experimental fixits
2011-01-21
Ted Kremenek
Provide -
W
uninitiali
z
ed-experimen
t
al fixits
commit
|
commitdiff
|
tree
2011-01-21
Ted
K
r
e
menek
Add basic fixits for -Wu
n
initi
a
lized-
e
xperimental
commit
|
commitdiff
|
tree
2011-01-21
T
e
d Kreme
n
ek
E
n
hance
-Wuniniti
a
lized-experimental d
i
agnostics
commit
|
commitdiff
|
tree
2011-01-20
T
e
d Kr
e
menek
Removing
d
ebug printing l
o
gic
from Unini
t
ializedValue
s
V2
.
commit
|
commitdiff
|
tree
2011-01-20
Ted Krem
e
nek
Relax CFG assertions in Uniniti
a
l
i
zedValuesV2
w
hen
commit
|
commitdiff
|
tree
2011-01-20
Ted Kremenek
Add
tes
t
case for
<rdar://problem/88
9
1119>
.
In
commit
|
commitdiff
|
tree
2011-01-20
Ted Kremenek
Add rudiment
a
ry path-sen
s
itivity to UnintializedValues
V
2
commit
|
commitdiff
|
tree
2011-01-20
Ted Kr
e
menek
Enhance Analysi
s
Co
n
sumer
to also visit fu
n
ct
i
on
s
commit
|
commitdiff
|
tree
2011-01-18
T
e
d Krem
e
n
ek
Teach U
n
initializedValuesV2
to implicitl
y
reason
a
bout C
+
+
commit
|
commitdiff
|
tree
2011-01-18
Ted
K
r
emenek
Correctly enable t
e
s
t
/S
e
ma/
u
nit-variabl
e
s
.
c,
commit
|
commitdiff
|
tree
2011-01-18
Ted
K
remenek
Teach
U
ninitializedVa
l
u
e
sV2
a
bout "int x =
x
" and
commit
|
commitdiff
|
tree
2011-01-18
Ted Krem
e
nek
Get clang-w
p
a
to bui
l
d in TOT (reflecting upda
t
es
commit
|
commitdiff
|
tree
2011-01-15
Te
d
Kremenek
Add in
i
tial p
r
o
t
oty
p
e for impleme
n
tat
i
on of
commit
|
commitdiff
|
tree
2011-01-15
Ted
Kremenek
Add c
o
nst
version
i
f
CFG::i
s
B
l
kExpr()
.
commit
|
commitdiff
|
tree
2011-01-14
Ted Kr
e
menek
C
leanup confused c
o
de that redund
a
ntly
cal
l
ed "g
e
tDeclContex
.
.
.
commit
|
commitdiff
|
tree
2011-01-14
Ted K
r
emenek
Th
e
variab
l
e 'ReusedD
e
cl' is w
r
itten but never r
e
a
d
.
commit
|
commitdiff
|
tree
2011-01-14
Ted Kremenek
The variable 'i
s
T
e
mpl
a
teSpecialization' is no l
o
nger
commit
|
commitdiff
|
tree
2011-01-14
Ted
K
rem
e
nek
R
e
move unus
e
d
store
to
v
ariable 'Name'
.
Found
by clang
.
.
.
commit
|
commitdiff
|
tree
2011-01-14
T
ed Kremen
e
k
Driver: tweak handlin
g
of '--analyze
'
to
i
n
voke
commit
|
commitdiff
|
tree
2011-01-14
Ted Kremene
k
Rename 'R
e
moveDead
B
indings()' to 'removeDeadBindings()'
commit
|
commitdiff
|
tree
2011-01-14
Te
d
Kremenek
Rename 'Ent
e
rSt
a
ckFrame()
'
to 'enterStac
k
F
r
a
m
e
(
)
'
.
commit
|
commitdiff
|
tree
2011-01-14
Ted Kremenek
Teach Reg
i
onStore::EnterStackFrame() to han
d
le
commit
|
commitdiff
|
tree
2011-01-13
T
ed
K
r
e
men
e
k
Rename 'CheckDeadStores
.
cpp' to
'
D
e
adSto
r
esC
h
ecker
.
.
.
commit
|
commitdiff
|
tree
2011-01-13
Ted K
r
e
menek
Rem
o
ve war
n
ing in de
a
d s
t
ores checker for
commit
|
commitdiff
|
tree
2011-01-13
Ted Kremenek
Fix
a
c
orner case in Regi
o
nStore where we assign
commit
|
commitdiff
|
tree
2011-01-13
T
ed Krem
e
nek
Ren
a
m
e 'HasGenerat
e
dNode' to '
h
asGener
a
te
d
Node'
commit
|
commitdiff
|
tree
2011-01-13
Te
d
Kremenek
Remove unnec
e
ss
a
ry sa
v
e-
a
nd-re
s
tore o
f
the
commit
|
commitdiff
|
tree
2011-01-13
T
ed Kremenek
R
e
move C
h
ec
k
e
r
Context's dependence on s
e
tting
commit
|
commitdiff
|
tree
2011-01-11
Ted Kremenek
Remove ProgramPoint pa
r
a
meter fr
o
m GenericNodeBuilder
.
.
.
commit
|
commitdiff
|
tree
2011-01-11
Ted K
r
emenek
Rework ExprEngine:
:
processCFGBlockE
n
trance()
commit
|
commitdiff
|
tree
2011-01-11
Ted Kremenek
Remove
s
evera
l
silly metho
d
s from ento::Cor
e
En
g
ine
commit
|
commitdiff
|
tree
2011-01-11
Ted K
r
emene
k
R
e
name misc
.
methods in en
t
o::
W
o
r
k
list t
o
start
commit
|
commitdiff
|
tree
2011-01-11
Te
d
Kreme
n
ek
Rena
m
e mi
s
c
.
metho
d
s in GRSu
b
Engine
t
o
s
tart
commit
|
commitdiff
|
tree
2011-01-08
Te
d
Kremenek
Add se
m
antic checking that the
"
thous
a
nds grouping"
commit
|
commitdiff
|
tree
2011-01-08
Ted K
r
emenek
Add printf
f
or
m
at string
p
arsing support for
'
commit
|
commitdiff
|
tree
2011-01-07
Ted Kremenek
Fix crash in CFGBuilder o
n
invalid code
.
We
still
.
.
.
commit
|
commitdiff
|
tree
2010-12-24
T
e
d Kremenek
A
d
d ba
s
i
c
support for pointer
a
r
i
th
m
etic i
n
commit
|
commitdiff
|
tree
2010-12-23
T
ed K
r
e
m
enek
A
d
d
-f
o
b
j
c-default-synthesized-properties f
l
ag
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremenek
Chris La
t
tner has stron
g
op
i
ni
o
n
s
about di
r
e
ctory
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremenek
Renam
e
head
e
rs: 'clang/GR' 'clang/EntoSA' and
commit
|
commitdiff
|
tree
2010-12-23
T
e
d Kre
m
enek
Renam
e
sta
t
ic analyzer namespace 'G
R
' to 'e
n
t
o
'
.
commit
|
commitdiff
|
tree
2010-12-23
Ted
Kremenek
It's amazing
what you find whe
n
you actually
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremenek
F
urth
e
r
t
weak non
l
oc
:
:ConcreteInt pretty pr
i
nt
i
ng
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremenek
Add WIP prototyp
e
o
f
a new bu
f
fer overflow
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremenek
Chang
e
M
emRegion exten
t
type t
o
be
t
he sam
e
type
used
commit
|
commitdiff
|
tree
2010-12-23
Ted K
r
eme
n
ek
Add 'getCondi
t
ionType()' and 'getArr
a
yIndexType()'
commit
|
commitdiff
|
tree
2010-12-23
Ted
K
remenek
E
n
h
ance prett
y
-pri
n
t
i
ng
f
or nonloc::
C
oncreteInt
commit
|
commitdiff
|
tree
2010-12-20
Ted
Kremenek
Rename 'VisitLocation' t
o
'visitLocation'
.
commit
|
commitdiff
|
tree
2010-12-20
Ted
K
remenek
Rename '
G
ener
a
te[Node,Sink]'
t
o 'g
e
nerate[N
o
de,S
i
n
k
]'
.
commit
|
commitdiff
|
tree
2010-12-17
Ted K
r
e
m
enek
Update checker build
.
commit
|
commitdiff
|
tree
2010-12-17
Ted Kremenek
Remove explicit su
m
marie
s
from retain/release
commit
|
commitdiff
|
tree
2010-12-17
Ted
K
rem
e
nek
Fix asse
r
tion failure in cocoa::deriv
e
Naming
C
onve
n
t
ion()
commit
|
commitdiff
|
tree
2010-12-17
Ted Kremenek
Move CocoaConventions
.
[h,cpp]
f
rom libChecker
commit
|
commitdiff
|
tree
2010-12-17
T
e
d Krem
e
nek
Revise Co
c
oa conventions
d
e
t
ect
i
on:
'copy' and 'mutableCop
y
'
commit
|
commitdiff
|
tree
2010-12-17
T
e
d Kremenek
Ren
a
m
e
s
everal
m
ethods/functions i
n
the
ana
l
yzer
commit
|
commitdiff
|
tree
2010-12-16
Ted Kremen
e
k
Tw
e
ak l
o
cation of
d
iagnosti
c
for -Wunreachable-code
commit
|
commitdiff
|
tree
2010-12-16
Ted
Kremenek
Start migrati
o
n of static analyz
e
r to
u
sing the
commit
|
commitdiff
|
tree
2010-12-09
Ted Kremenek
Remove extra n
a
m
espa
c
e specifie
r
.
commit
|
commitdiff
|
tree
2010-12-09
Ted Kre
m
enek
DenseMapInfo
is a 'struct',
n
ot a
'
clas
s
'
.
commit
|
commitdiff
|
tree
2010-12-08
Ted K
r
emenek
Add new
libclang h
o
oks f
o
r
CXCur
s
orSe
t
,
a
commit
|
commitdiff
|
tree
2010-12-05
T
ed
Kremenek
Ma
r
k SVal cons
t
ructors 'explic
i
t'
.
commit
|
commitdiff
|
tree
2010-12-05
Te
d
Kremenek
Rename Environment::LookupExpr() to
commit
|
commitdiff
|
tree
2010-12-05
Ted
Kremen
e
k
Rem
o
v
e
u
n
u
s
ed method GRState::L
o
okupExpr()
.
commit
|
commitdiff
|
tree
2010-12-03
Ted K
r
emenek
U
p
date analyzer build
.
commit
|
commitdiff
|
tree
2010-12-03
Ted Kremenek
Add te
s
t case for r1
2
0795
.
commit
|
commitdiff
|
tree
2010-12-03
Ted Kremenek
Fix
a
n
i
ns
i
di
o
u
s bug in BugReporter
where
commit
|
commitdiff
|
tree
2010-12-03
T
e
d Kre
m
enek
Als
o
include the point
e
r
address of the Ex
p
lodedNode
commit
|
commitdiff
|
tree
2010-12-03
Te
d
Kremenek
Fix diagnosti
c
for repor
t
in
g
bad esca
p
e sequence
.
commit
|
commitdiff
|
tree
2010-12-02
Ted Kremenek
F
ix
ra
n
g
e
i
n
printf warni
n
gs for inva
l
id co
n
version
.
.
.
commit
|
commitdiff
|
tree
2010-12-02
Te
d
Kremenek
Merge ValueManager
into SV
a
lBuild
e
r
.
commit
|
commitdiff
|
tree
2010-12-01
Ted
K
remen
e
k
Rename
a
ll 'Assume
X
XX' methods in
l
ibChecker
commit
|
commitdiff
|
tree
2010-12-01
Ted Krem
e
nek
Rename
all 'Eva
l
XXX' me
t
hods in lib
C
hecker to
commit
|
commitdiff
|
tree
2010-12-01
Ted K
r
emenek
Ren
a
m
e
'SValuator'
t
o
'SValB
u
ilder
'
.
T
h
e new
n
a
m
e
commit
|
commitdiff
|
tree
2010-11-30
Ted Kremenek
Update checker build
.
commit
|
commitdiff
|
tree
2010-11-24
Ted Kre
m
enek
A
d
jus
t
method calls t
o
reflect name changes in
commit
|
commitdiff
|
tree
2010-11-18
Ted Kremene
k
Curs
o
rVis
i
tor: sw
i
t
c
h re
m
aining expressi
o
ns over
commit
|
commitdiff
|
tree
2010-11-18
Ted
K
reme
n
ek
CursorVisitor: migra
t
e
h
andling of
commit
|
commitdiff
|
tree
2010-11-17
Ted
Kre
m
enek
Mak
e
defi
n
itio
n
o
f
CXTrans
l
ationUnitImpl
p
rivate
commit
|
commitdiff
|
tree
2010-11-17
Ted Kremenek
CursorVis
i
to
r
: Migrate ha
n
dling of
commit
|
commitdiff
|
tree
2010-11-17
Ted K
r
emenek
CursorVi
s
itor: migrate handli
n
g of CXXUuid
o
fExpr
to
commit
|
commitdiff
|
tree
2010-11-17
Ted Kr
e
menek
CursorVisitor: migrate handling of UnaryTypeTraitExpr
commit
|
commitdiff
|
tree
2010-11-17
Te
d
Kr
e
menek
CursorVisi
t
or
:
refac
t
or visitation of
commit
|
commitdiff
|
tree
2010-11-17
T
e
d
Kremenek
CursorVisi
t
or: migrate handling
of
commit
|
commitdiff
|
tree
2010-11-17
Ted Kr
e
me
n
ek
CursorVisitor: migrate hand
l
ing of
commit
|
commitdiff
|
tree
2010-11-17
T
e
d Kremenek
C
u
rsorVisitor: migrate ha
n
dling of
commit
|
commitdiff
|
tree
2010-11-17
Te
d
K
r
em
e
nek
Cursor
V
isit
o
r: migra
t
e
handl
i
ng of
commit
|
commitdiff
|
tree
2010-11-17
Ted Kremenek
Curso
r
Visitor: Migrate CX
X
U
nresolv
e
dConst
r
uctExpr o
v
er
.
.
.
commit
|
commitdiff
|
tree
2010-11-17
Ted Krem
e
nek
Add comments
.
commit
|
commitdiff
|
tree
2010-11-16
Ted Kre
m
enek
Stat
i
c a
n
alyzer: Catch
c
all
s
to malloc() w
i
th
commit
|
commitdiff
|
tree
2010-11-16
Ted
K
remenek
R
ew
o
rk USR g
e
n
e
ration f
r
om
C
XCursors
t
o u
s
e CXStringBufs
commit
|
commitdiff
|
tree
2010-11-16
Ted Kremene
k
C
hange CXTranslat
i
onUnit to not directly
c
ast to an
.
.
.
commit
|
commitdiff
|
tree
2010-11-16
Ted Kremenek
Add
CXStrin
g
.
cpp and CXStrin
g
.
h
commit
|
commitdiff
|
tree
2010-11-16
Ted
Kremenek
Mo
v
e CXStri
n
g crea
t
ion/mana
g
ement routi
n
es i
n
t
o
commit
|
commitdiff
|
tree
2010-11-16
Ted Kremenek
Update checker build
.
commit
|
commitdiff
|
tree
2010-11-15
Ted Kremenek
Cur
s
orVisito
r
: c
a
c
h
e
workli
s
ts created fo
r
data-re
c
ursio
n
.
.
.
commit
|
commitdiff
|
tree
2010-11-15
T
e
d Kr
e
mene
k
Use
L
L
VM_ATTRIBUTE_NOINLINE instead of a
t
tribute((noi
n
l
i
ne))
.
commit
|
commitdiff
|
tree
2010-11-15
Ted Kre
m
enek
Re
m
ove invalid asse
r
ti
o
n fr
o
m
C
F
G
bu
i
lder
.
W
h
e
n building
.
.
.
commit
|
commitdiff
|
tree
2010-11-15
Ted
K
remene
k
Cast pointers instead of retu
r
ning a new valu
e
w
ithin
.
.
.
commit
|
commitdiff
|
tree
2010-11-15
T
ed Kreme
n
ek
Annotate Curs
o
rV
i
sitor::VisitDataRecursive(
)
with
a
ttribute
.
.
.
commit
|
commitdiff
|
tree
2010-11-15
T
e
d Kremene
k
A
dd method
ParentMap::addStmt()
.
commit
|
commitdiff
|
tree
next