repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
type: handle SYM_NODE better in get_pointer_type()
2014-10-27
Dan Carpenter
db: a
d
d da
t
a_info tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
D
a
n Car
p
enter
aut
o
_copy: ass
i
g
nm
e
n
t
s copies states
automat
i
c
ally
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
D
an Carpenter
b
u
f_comparison: look for off by one errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Da
n
Ca
r
penter
Merge branch
'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
e
rr
_
ptr_deref: erro
r
messag
e
s
h
o
u
ld say "negati
v
e"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan
C
arpe
n
ter
free: impr
o
v
e
c
ros
s
function trackin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan C
a
rpen
t
er
sh
i
f
t_to_zero: check
for thin
g
s like "(
f
oo & 0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
par
s
e_call_math: handle math l
i
ke "$0->foo + 5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Da
n
C
a
r
penter
pa
r
se_call
_
math: more form
a
t change f
a
llout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_cal
l
_mat
h
: NULL terminate buf size recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Da
n
Car
p
ent
e
r
call_m
a
th: use range
l
ists instead of only exact va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
D
a
n Carpenter
ranges: sta
r
t
implemen
t
i
n
g
r
l_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
comparison: store general limits in the
data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
an Carp
e
nter
comparison: take original comparis
o
n
i
n
t
o
account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan
Carpenter
vali
d
ation
:
add a
tes
t
for the recen
t
f
u
nc
t
ion co
m
pare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Car
p
enter
fun
c
t
ion_hooks: functi
o
n compar
i
s
ons can im
p
ly
a
p
aramet
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Ca
r
pent
e
r
fix
u
p
_kernel
.
sh:
s
everal imp
o
rtan
t
updates (bu
g
fix
e
s)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
Ca
r
p
e
nter
comparis
o
n: rename
f
al
s
ify_op() to n
e
gate_comparis
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carp
e
nter
r
a
nges: r
e
name filter_by
_
comparison() to some
t
hing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan C
a
rp
e
nter
cgcc: revert part
o
f
t
he
-Werr
o
r che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpe
n
te
r
comparison: rena
m
e fli
p
_op() to flip_co
m
p
a
r
i
s
on() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpe
n
ter
Merge git://g
i
t
.
kernel
.
or
g
/pub/scm/
d
e
v
el/sparse
/
chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Car
p
enter
smdb
.
py: add so
m
e help t
e
xt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
b
u
ild
_
kernel_data
.
s
h
:
e
rror out if the ri
g
ht
p
ackages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
enter
comparison: don't store
c
o
m
pariso
n
s to one's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
arpenter
comparison: add a
c
omment for u
p
date_tf
_
links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpent
e
r
comparis
o
n:
g
et rid of the chunk
_
vsl_
e
q() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpenter
c
omparison: pass the fil
t
ere
d
false state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
a
r
p
enter
comparison: cleanup update_
t
f_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpenter
db: f
i
x
handling o
f
nest
e
d cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
states: add a
n
assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carpenter
b
u
f_size:
h
andle strlen() a bit bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking: add ffs
_
mut
e
x_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
flow: t
h
e __in_pre_condition variable needs to be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
smatch
.
h: store some dummy d
a
tabase ty
p
e
s
tempo
r
a
rily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
db:
expo
s
e the
dat
a
pa
r
a
m
eter so
w
e can
u
s
e data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
parse_c
a
ll_math: change API to use
rang
e
lists (mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
ranges: fix p
a
rsing that
I b
r
oke this aftern
o
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Ca
r
penter
comparison: f
i
x up filter_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
ran
g
es:
u
se the ran
g
es sto
r
ed in the
d
atabase properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges:
fi
x
crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n C
a
rpent
e
r
ranges: simp
l
ify and robustify s
t
r_to_rl_helper() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
p
aram_limit: save the
c
o
mp
a
rison to the arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpe
n
ter
fun
c
t
i
on_hooks: fix
h
o
w
d
ata
b
ase co
m
parisons a
r
e
d
one
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
comparison: pass
t
he ignore field to range_comparison_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: ta
k
e previo
u
s
comparisons into a
c
count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Da
n
Carpenter
db: prefe
r
lite
r
als to param
e
ter m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
an Ca
r
penter
d
b
: re-ad
d
some missing [] characters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assi
g
ne
d
_ex
p
r: undefine on modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpenter
db: fix how paramete
r
m
ath works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpenter
assigned_expr: add r
e
ve
r
se links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carp
e
nte
r
links: create
a
smatch_link
s
.
c
fi
l
e with
f
u
nctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
p
a
r
s
e_call_math: fix left overs
f
ro
m
t
he fo
r
mat ch
a
nge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
param_set:
wr
i
te struct
mem
b
e
rs in term
s
of parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Ca
r
pe
n
ter
e
xtra: write cer
t
ain retu
r
ned s
t
ruct member
s
in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpente
r
d
b
: pa
s
s the ret
u
r
n
e
xpression to th
e
returned_
m
ember_cal
l
back
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
extra: save return va
l
u
e
s in
terms of parameter m
a
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
Carpen
t
er
db: unify
h
ow parameter descri
p
tions are
s
aved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
co
m
parison: a
d
d
an
i
g
n
o
re parameter to expr
_
e
q
ual_to_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Carpe
n
ter
u
n
reac
h
able
:
ignore
t
he
u
nreac
h
a
b
le()
m
acro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan C
a
rpen
t
er
err_ptr_
d
eref:
p
assing an ERR_PTR
to
k
free
(
) is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n
C
a
rpenter
extr
a
: ha
n
dle merging NULL po
i
nters better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan
C
arpe
n
ter
ex
t
r
a
:
a
d
d
r
esses of ar
r
ays
a
r
e
non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan
Carpenter
db: r
e
move bo
g
us param
e
t
er in
f
orma
t
ion from hook
t
ype
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Da
n
Carpenter
db: add a new table which hold param
e
ter type
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan C
a
rpent
e
r
type: introduce type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpe
n
ter
locking:
r
em
o
ve some dup
l
icate "sometimes l
o
cked" warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
D
an Carp
e
nter
generisize
.
p
l
: filter some
m
ore
stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generesize
.
pl:
cleanup indentation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
Ca
r
penter
ranges: a point
e
r
to an array is just a po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an
C
a
r
p
enter
extra: record glo
b
al declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
ente
r
condition
s
:
u
p
date some debug out
p
ut
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
comp
a
rison: introduce possible
_
c
o
mp
a
ris
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
C
a
r
pent
e
r
e
x
tra:
u
pdat
e
a deb
u
g
stat
e
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
function_ptrs
:
tr
a
ck fun
c
tion
s
which
re
t
urn a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
show_errs
.
s
h: quote som
e
strings properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
sli
s
t: put get_sm_stat
e
_stree_
s
tack() i
n
the
.
h file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
st
a
te
s
:
c
hange the debug output format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
struct_a
s
signment
:
han
d
l
e kzalloc() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpen
t
er
sli
s
t: add the filename to s
o
me d
e
bug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
f
low
:
parse
g
lobal variable
s
b
e
fore par
s
ing fu
n
ction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpen
t
er
slist: expo
r
t
the se
t
_
state_stree_p
e
rm() function to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
co
m
par
i
son: a var
i
a
ble is a
l
ways equa
l
to itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
r
e
m
ove nu
l
l te
s
ts for
arrays
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Ca
r
pe
n
ter
Makefile: allow CC
to be d
e
fined outside
t
h
e ma
k
efile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Da
n
Carpent
e
r
silence non-ANSI warn
i
n
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan Carpenter
helper: prevent segfaul
t
i
n
expr_to_v
a
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan Car
p
enter
extra
:
improve h
a
ndling of "if (x * 4 > 12) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Da
n
C
a
rpenter
missing_bre
a
k
:
make a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpe
n
t
e
r
db: fi
x
runtime brea
k
age
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan
C
arpenter
d
e
ref
e
rences_param: add more
dereferenced v
a
riables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpe
n
ter
ranges: remove u
n
ne
e
ded NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
an Carpenter
type
_
val:
s
tore
f
ake assignments in a slightly different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpe
n
ter
p
a
ram_set/filter: don't p
r
int
le
s
s
u
sele
s
s
i
n
formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpe
n
ter
d
b: fixup
a
fte
r
call_implies chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Da
n
Carp
e
n
ter
p
a
ram_
c
lea
r
e
d
:
handle direct ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Da
n
C
arpenter
db:
m
ake call_im
p
lies match caller_in
f
o
with
a
k
ey
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
Dan Carpente
r
sm
d
b
.
py: fix test
f
o
r if a datatyp
e
i
s known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
assigned_
e
xpressi
o
n
:
g
et the assi
g
ned exp
r
ession usin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Car
p
enter
rosenb
e
rg: hand
l
e struct to struct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next