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
Relax CFG assertions in UninitializedValuesV2 when
2011-01-20
Ted K
r
emene
k
Rela
x
CFG assertion
s
in Uninitializ
e
dValue
s
V2 when
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
Te
d
Krem
e
nek
A
d
d rudime
n
tary path-sen
s
itivit
y
to
Unintiali
z
edValuesV2
commit
|
commitdiff
|
tree
2011-01-20
Ted Kremenek
Enhance Analysi
s
Cons
u
mer to
a
ls
o
v
i
s
it functi
o
ns
commit
|
commitdiff
|
tree
2011-01-18
Ted Krem
e
nek
Teach Uninitialize
d
Val
u
esV
2
to implicitly reason about C
+
+
commit
|
commitdiff
|
tree
2011-01-18
Ted Kremenek
Correctly en
a
ble test/S
e
m
a/u
n
it-variables
.
c
,
commit
|
commitdiff
|
tree
2011-01-18
T
e
d Kremenek
Teac
h
Unin
i
tializedValuesV
2
about "in
t
x = x" an
d
commit
|
commitdiff
|
tree
2011-01-18
Ted Kre
m
e
nek
Get c
l
an
g
-wpa
t
o buil
d
in TOT (refle
c
ting updates
commit
|
commitdiff
|
tree
2011-01-15
Ted
Kre
m
e
nek
Ad
d
initial p
r
ototype
for imple
m
entation of
commit
|
commitdiff
|
tree
2011-01-15
Ted
Kremenek
Add const version if CFG::isBlkExpr(
)
.
commit
|
commitdiff
|
tree
2011-01-14
Ted Kreme
n
e
k
Cle
a
nup
c
onfu
s
ed cod
e
that redundantly called "getDeclC
o
n
t
e
x
.
.
.
commit
|
commitdiff
|
tree
2011-01-14
Ted Kremenek
The variable 'ReusedDe
c
l'
i
s wr
i
t
t
en b
u
t never read
.
commit
|
commitdiff
|
tree
2011-01-14
T
e
d K
r
emenek
The variable 'isTemplateSpecialization' is no longer
commit
|
commitdiff
|
tree
2011-01-14
Ted Kre
m
enek
Remove un
u
se
d
store to v
a
riable 'Name'
.
Foun
d
by clang
.
.
.
commit
|
commitdiff
|
tree
2011-01-14
T
ed Kremenek
Driver: tweak han
d
ling of '--analyze' to invoke
commit
|
commitdiff
|
tree
2011-01-14
T
e
d Kremenek
Rename 'Remo
v
eDe
a
dBindings()' to 'r
e
move
D
eadBindings()'
commit
|
commitdiff
|
tree
2011-01-14
Ted Kremenek
Re
n
ame
'
EnterStackFrame
(
)' to 'ent
e
rStackFrame(
)
'
.
commit
|
commitdiff
|
tree
2011-01-14
T
e
d
Kremene
k
T
e
a
ch Regi
o
nStore:
:
EnterSt
a
c
k
Frame() to
handle
commit
|
commitdiff
|
tree
2011-01-13
Ted K
r
emenek
Rename 'CheckDeadStores
.
cpp'
t
o 'Dead
S
toresCheck
e
r
.
.
.
commit
|
commitdiff
|
tree
2011-01-13
Ted Kr
e
menek
Remove
w
ar
n
i
ng in dead sto
r
es checker
for
commit
|
commitdiff
|
tree
2011-01-13
T
ed Krem
e
nek
Fix a
c
orner case in
RegionStore where we a
s
sign
commit
|
commitdiff
|
tree
2011-01-13
Ted
K
remene
k
R
e
nam
e
'H
a
s
G
e
n
era
t
e
d
Node' to
'
hasG
e
ner
a
tedNode'
commit
|
commitdiff
|
tree
2011-01-13
Ted Kr
e
m
ene
k
R
emove unn
e
cessar
y
save
-
and-rest
o
re of t
h
e
commit
|
commitdiff
|
tree
2011-01-13
Ted Kremen
e
k
R
e
mo
v
e Chec
k
erContex
t
's dependence on se
t
tin
g
commit
|
commitdiff
|
tree
2011-01-11
T
e
d Kr
e
mene
k
R
e
move ProgramPoi
n
t parameter
f
ro
m
GenericNodeBuilder
.
.
.
commit
|
commitdiff
|
tree
2011-01-11
Ted
K
r
e
menek
Rewor
k
ExprEng
i
ne::
p
r
o
cessCFGBlockEntrance()
commit
|
commitdiff
|
tree
2011-01-11
Ted Kreme
n
ek
Re
m
ove several silly methods f
r
om ento::CoreEngine
commit
|
commitdiff
|
tree
2011-01-11
Ted Kremenek
R
ename
m
isc
.
m
e
thod
s
in ento::Worklist to
s
tar
t
commit
|
commitdiff
|
tree
2011-01-11
Ted Kremenek
Rename misc
.
methods
i
n GRSubEngine to start
commit
|
commitdiff
|
tree
2011-01-08
Ted Kre
m
enek
A
dd semantic chec
k
ing that the
"
thousands grou
p
ing"
commit
|
commitdiff
|
tree
2011-01-08
Ted
Kreme
n
ek
Add
printf for
m
a
t
string pars
i
ng
suppor
t
for '
commit
|
commitdiff
|
tree
2011-01-07
Ted Kreme
n
e
k
Fix
c
ras
h
in CFGBuilder on invalid code
.
We
s
till
.
.
.
commit
|
commitdiff
|
tree
2010-12-24
Ted Kremenek
Add basic support for pointer arithmetic in
commit
|
commitdiff
|
tree
2010-12-23
Ted
K
r
e
menek
Add -fobjc-default-synthesized-pr
o
perties flag
commit
|
commitdiff
|
tree
2010-12-23
Ted
Kremenek
Chri
s
La
t
tner has st
r
ong
o
p
i
nions about directory
commit
|
commitdiff
|
tree
2010-12-23
Ted Krem
e
nek
Rename
h
eaders: 'cla
n
g
/GR' 'clang/EntoSA'
a
nd
commit
|
commitdiff
|
tree
2010-12-23
Ted Kr
e
menek
Rename static
analyzer nam
e
spa
c
e 'GR' t
o
'e
n
to
'
.
commit
|
commitdiff
|
tree
2010-12-23
Ted Kreme
n
ek
It's amazin
g
w
h
at yo
u
find when you
a
ct
u
ally
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremenek
Further twe
a
k non
l
o
c
::Concrete
I
nt pretty prin
t
i
n
g
commit
|
commitdiff
|
tree
2010-12-23
Ted
Kremene
k
Add WIP pro
t
o
ty
p
e of a new
b
uffer
overf
l
ow
commit
|
commitdiff
|
tree
2010-12-23
Ted K
r
emenek
C
han
g
e MemRegion exten
t
type to be the same type used
commit
|
commitdiff
|
tree
2010-12-23
Ted
K
remene
k
Add 'getCond
i
t
i
onT
y
pe()'
and 'g
e
tAr
r
ayInd
e
xType(
)
'
commit
|
commitdiff
|
tree
2010-12-23
Ted Kremen
e
k
Enhance pretty-printin
g
for non
l
oc::ConcreteIn
t
commit
|
commitdiff
|
tree
2010-12-20
Ted
Kremenek
Rename 'VisitL
o
cation
'
t
o
'visitLocat
i
on'
.
commit
|
commitdiff
|
tree
2010-12-20
Ted K
r
emene
k
Rename
'
Ge
n
erate[N
o
de
,
Sink]
'
to 'gener
a
te[Node,Sink]'
.
commit
|
commitdiff
|
tree
2010-12-17
T
e
d
K
r
emenek
Up
d
ate checker build
.
commit
|
commitdiff
|
tree
2010-12-17
Ted Kremenek
Remove
e
xplicit summaries from retain/release
commit
|
commitdiff
|
tree
2010-12-17
Ted Kreme
n
e
k
F
ix asse
r
tio
n
fai
l
ure in coc
o
a::deriv
e
Nam
i
ngConvention()
commit
|
commitdiff
|
tree
2010-12-17
Ted K
r
emenek
Move Co
c
oaConvention
s
.
[h,cpp] from lib
C
h
e
ck
e
r
commit
|
commitdiff
|
tree
2010-12-17
T
ed
Kremenek
Revise
C
o
coa conventions det
e
ction: 'copy' and 'mutableCopy'
commit
|
commitdiff
|
tree
2010-12-17
Ted Kre
m
enek
R
e
name several method
s
/functi
o
ns i
n
the analyze
r
commit
|
commitdiff
|
tree
2010-12-16
T
ed
K
r
emenek
Tweak locati
o
n of
diagno
s
tic for -Wunreachable-cod
e
commit
|
commitdiff
|
tree
2010-12-16
Ted Kre
m
enek
Start migration of static anal
y
z
e
r to using the
commit
|
commitdiff
|
tree
2010-12-09
Ted K
r
emenek
Remove extra
n
amespac
e
spe
c
ifier
.
commit
|
commitdiff
|
tree
2010-12-09
Ted Kremenek
D
e
nseMapInfo i
s
a
'struct', no
t
a 'class'
.
commit
|
commitdiff
|
tree
2010-12-08
T
e
d
Kremen
e
k
Add new
l
ibclang hooks
fo
r
CXC
u
rsor
S
et, a
commit
|
commitdiff
|
tree
2010-12-05
Ted
K
r
emenek
Mark SVal constructors 'explici
t
'
.
commit
|
commitdiff
|
tree
2010-12-05
T
ed Kremenek
Rename
E
nvironme
n
t::L
o
o
k
upExpr() to
commit
|
commitdiff
|
tree
2010-12-05
Te
d
Kremenek
R
e
move unus
e
d
metho
d
GR
S
tate::L
o
okupExpr()
.
commit
|
commitdiff
|
tree
2010-12-03
Ted Kremenek
Upda
t
e analyzer build
.
commit
|
commitdiff
|
tree
2010-12-03
Ted Krem
e
nek
Add tes
t
case for r120795
.
commit
|
commitdiff
|
tree
2010-12-03
Ted Kreme
n
ek
Fix an insidious
bug
in
B
ugRepor
t
er where
commit
|
commitdiff
|
tree
2010-12-03
Te
d
K
r
emenek
Also include the p
o
inter a
d
dres
s
of the Expl
o
d
e
dNode
commit
|
commitdiff
|
tree
2010-12-03
Ted Kremenek
F
i
x diagnostic for r
e
po
r
ting bad esca
p
e
s
equence
.
commit
|
commitdiff
|
tree
2010-12-02
Ted Kreme
n
e
k
Fix range in p
r
intf
w
arn
i
ngs
f
or invali
d
conversion
.
.
.
commit
|
commitdiff
|
tree
2010-12-02
Ted Kremenek
Merge
ValueManager into SValBuilder
.
commit
|
commitdiff
|
tree
2010-12-01
Ted Kremenek
Rename all 'A
s
sumeXXX
'
m
ethods
i
n l
i
bChecker
commit
|
commitdiff
|
tree
2010-12-01
T
ed Kremene
k
Re
n
ame all 'Eva
l
XXX
'
met
h
o
d
s
in libCheck
e
r to
commit
|
commitdiff
|
tree
2010-12-01
Ted Krem
e
n
e
k
Rename 'SValuator' to
'SVal
B
uild
e
r'
.
The new nam
e
commit
|
commitdiff
|
tree
2010-11-30
Te
d
Kremenek
Update checker build
.
commit
|
commitdiff
|
tree
2010-11-24
Ted Kremenek
Adjust method
calls to reflect
name c
h
anges in
commit
|
commitdiff
|
tree
2010-11-18
Ted Kremenek
Curso
r
Visitor
:
switch r
e
maining e
x
pressions
over
commit
|
commitdiff
|
tree
2010-11-18
Ted K
r
em
e
nek
Cur
s
o
r
V
isi
t
or: migrate h
a
ndlin
g
of
commit
|
commitdiff
|
tree
2010-11-17
Ted Krem
e
n
e
k
Make defi
n
ition
o
f
CXTrans
l
atio
n
UnitImpl private
commit
|
commitdiff
|
tree
2010-11-17
Ted
Kremenek
CursorVi
s
itor: M
i
grate h
a
n
dling of
commit
|
commitdiff
|
tree
2010-11-17
T
ed Kremenek
CursorVisit
o
r: migra
t
e hand
l
ing
o
f CX
X
UuidofExpr to
commit
|
commitdiff
|
tree
2010-11-17
Te
d
Kr
e
menek
CursorVisitor: migra
t
e
ha
n
d
l
ing of UnaryType
T
ra
i
tExpr
commit
|
commitdiff
|
tree
2010-11-17
Ted
K
r
eme
n
ek
Curs
o
rVisitor:
refactor visi
t
ation of
commit
|
commitdiff
|
tree
2010-11-17
Ted Krem
e
ne
k
CursorVisi
t
or: migra
t
e
handling
of
commit
|
commitdiff
|
tree
2010-11-17
Ted Krem
e
nek
C
ur
s
orVisito
r
:
migra
t
e ha
n
dling
of
commit
|
commitdiff
|
tree
2010-11-17
Ted Kremenek
CursorVisi
t
o
r
: mi
g
rate handl
i
ng of
commit
|
commitdiff
|
tree
2010-11-17
Ted Kre
m
enek
C
ursorVisito
r
: mig
r
ate handling of
commit
|
commitdiff
|
tree
2010-11-17
Ted K
r
emenek
CursorVis
i
t
or: Migrate CXXUnresolvedConstructExpr over
.
.
.
commit
|
commitdiff
|
tree
2010-11-17
Ted Kre
m
enek
A
d
d comments
.
commit
|
commitdiff
|
tree
2010-11-16
Ted Kremene
k
Static
anal
y
zer:
Cat
c
h call
s
to malloc() with
commit
|
commitdiff
|
tree
2010-11-16
Ted Kr
e
menek
R
e
work USR generation fro
m
CXCursors to use CXStringB
u
fs
commit
|
commitdiff
|
tree
2010-11-16
Ted Kremenek
Cha
n
ge C
X
T
rans
l
ationU
n
it to not directly cast
to an
.
.
.
commit
|
commitdiff
|
tree
2010-11-16
Ted Kremenek
Add CXString
.
cpp and CXString
.
h
commit
|
commitdiff
|
tree
2010-11-16
Ted Kremenek
Move
C
XSt
r
ing c
r
eation/management routin
e
s
int
o
commit
|
commitdiff
|
tree
2010-11-16
Te
d
Kremenek
Update
c
he
c
ker b
u
ild
.
commit
|
commitdiff
|
tree
2010-11-15
Ted K
r
emen
e
k
C
ursorVisi
t
or: cache
w
orklists cr
e
ated f
o
r
data-
r
ecursion
.
.
.
commit
|
commitdiff
|
tree
2010-11-15
T
e
d
K
remenek
Use LLVM_ATTRIBUTE_NOINLINE
i
nstead of
a
ttribu
t
e((noinline))
.
commit
|
commitdiff
|
tree
2010-11-15
Ted Kremenek
Remove invalid assert
i
on
from
C
FG builder
.
When bui
l
d
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-11-15
Ted Kremenek
C
ast
pointers ins
t
ea
d
of returning a ne
w
valu
e
within
.
.
.
commit
|
commitdiff
|
tree
2010-11-15
Ted Kremenek
Annotate CursorVisit
o
r::VisitDataRecursive() with attri
b
ute
.
.
.
commit
|
commitdiff
|
tree
2010-11-15
Ted
K
rem
e
ne
k
Add
m
e
t
hod ParentM
a
p
::ad
d
St
m
t()
.
commit
|
commitdiff
|
tree
2010-11-15
Te
d
Kremenek
Rel
a
x assertion
i
n SValuator so that we do
n
't crash
.
.
.
commit
|
commitdiff
|
tree
2010-11-14
Ted Kre
m
en
e
k
Revert r119045
.
It was fa
i
ling o
n
Windows
.
commit
|
commitdiff
|
tree
2010-11-14
Ted K
r
emen
e
k
"Fix" some uni
n
tentional
fallout from convert
i
ng
commit
|
commitdiff
|
tree
2010-11-14
Ted K
r
emene
k
Cle
a
n
up
i
ni
t
i
a
lizati
o
n of LangOptions obje
c
t by splitting
.
.
.
commit
|
commitdiff
|
tree
next