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
err_ptr_deref: error message should say "negative" instead of "neg"
2014-10-16
D
a
n Carpe
n
ter
err_ptr_deref: error
m
essage
s
hould
say "nega
t
ive
"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
free: improve cro
s
s fun
c
ti
o
n tra
c
ki
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
shift_to_zero: check for things like "(foo &
0
xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan C
a
rpenter
parse_call_math: h
a
ndl
e
math li
k
e "$0->f
o
o + 5
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan
C
arpenter
p
arse
_
call_math:
more format chan
g
e
fallo
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Da
n
Ca
r
penter
parse_
c
all
_
math: N
U
LL
terminate buf size recipe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan
C
a
r
penter
call_
m
ath: u
s
e range
l
ists instead of only exact
value
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Da
n
Carpenter
ranges:
s
tart implement
i
ng rl_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
com
p
arison:
s
tore general limits
in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Car
p
enter
compariso
n
: take original comparison into account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Car
p
e
n
t
e
r
validation:
add a test for the re
c
ent function comp
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan
Car
p
ent
e
r
functio
n
_hoo
k
s:
f
u
n
ction comparisons can
i
mpl
y
a paramet
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fixup
_
kernel
.
sh: seve
r
a
l
i
m
portant updates (b
u
gfixes)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
an Carpenter
c
o
m
pa
r
i
s
on: renam
e
fa
l
si
f
y_op()
to neg
a
te_
c
omparis
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
an C
a
rpente
r
r
a
nges: rename filte
r
_
b
y_comparison() to someth
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carp
e
nter
c
o
mparison: rename
f
lip_op() to flip_comparison() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Da
n
Carpenter
Merge git:/
/
git
.
k
e
rn
e
l
.
org/pub/scm/devel
/
s
parse/c
h
ri
s
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan
Car
p
e
n
t
e
r
s
m
db
.
py:
add so
m
e help text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
D
a
n Carpe
n
ter
build_kernel_data
.
sh: error o
u
t
i
f the right pac
k
ages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carp
e
nter
c
omparis
o
n: don't
sto
r
e
compar
i
sons to one's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
Carpenter
compari
s
on: add a comment f
o
r
update_tf_
l
i
nks()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison: get rid o
f
t
h
e chun
k
_vsl_eq()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpente
r
comparison: pa
s
s the filt
e
red
false state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
penter
c
o
mp
a
ris
o
n: cleanup u
p
date_tf_
d
ata
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
D
a
n Carpenter
db: fix hand
l
ing of nested cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
s
t
ates: add an assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
b
u
f
_s
i
ze:
handle strle
n
() a bit bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
locking: add ffs_mutex_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
flow: t
h
e __
i
n
_pre_
c
onditio
n
variable needs to
be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
smatc
h
.
h: store some du
m
my data
b
ase ty
p
es
t
emporarily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
d
b: expos
e
the data param
e
ter so we can use d
a
ta in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
par
s
e_call_math
:
change API to use ran
g
e lists (mo
s
tly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
ranges: fix parsing that I broke
t
his afternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
compar
i
son: fi
x
up fil
t
e
r
_
compari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpent
e
r
ranges: use t
h
e ranges stor
e
d
i
n the datab
a
se
p
r
o
perly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Ca
r
pente
r
ranges: fix crashing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
range
s
: simplify and robus
t
ify str_to_rl_
h
elper() a bi
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
p
a
r
am_limit: save th
e
co
m
p
a
ri
s
on to the arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carp
e
n
t
e
r
f
u
nction_hoo
k
s: fi
x
ho
w
d
a
tabase com
p
arison
s
are don
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
compari
s
on: p
a
ss the igno
r
e
field to r
a
nge
_
comp
a
ri
s
on_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
comp
a
rison:
take previous c
o
mpa
r
isons into acco
u
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan Ca
r
pente
r
db
:
prefer li
t
erals to parameter
ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
an Ca
r
p
e
n
t
er
db: re-
a
d
d
some missing
[]
c
haracte
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n
Carpenter
assigned_expr: undef
i
ne on modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpenter
d
b
: fix how parameter math
works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
as
s
igned
_
expr:
add reverse links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpenter
links: crea
t
e
a smatch_links
.
c f
i
le with functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nter
parse_call_math: fix left ove
r
s
from the format chang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpenter
par
a
m_se
t
:
w
rite
st
r
u
c
t
m
e
mbers
in terms of p
a
rameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
C
arpenter
extra: write cert
a
in retu
r
ned
str
u
c
t
m
emb
e
rs in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: pa
s
s the
retu
r
n
e
xpression
t
o the
r
eturned_member_cal
l
back
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
penter
extra: save retu
r
n values in terms of para
m
e
t
er math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
C
arpenter
db: uni
f
y how
paramete
r
descriptions are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
comparison: add an ignore para
m
et
e
r to expr_e
q
ual_to_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Carpent
e
r
unr
e
achable
:
ignore the unreachable() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Car
p
enter
err_ptr_d
e
ref: pa
s
sing
an ERR_PTR to kfree() i
s
a
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arpenter
extra: hand
l
e merging NULL
p
oin
t
ers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpe
n
ter
extra: addresses of arrays are
n
on
-
NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Car
p
ent
e
r
db: remove bogus
p
arameter info
r
m
a
ti
o
n from h
o
ok t
y
pe
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
db: add a new t
a
ble whi
c
h h
o
ld parameter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpenter
t
yp
e
: introduce
type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
locking: rem
o
ve so
m
e
d
uplicate "s
o
metim
e
s locked
"
w
arni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generisize
.
pl: filter
some more stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan
C
a
r
pen
t
er
generesize
.
pl: cleanup ind
e
ntation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
rang
e
s
:
a
po
i
nte
r
to an ar
r
ay is jus
t
a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
ar
p
e
n
ter
extra:
r
eco
r
d
g
lob
a
l declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
c
o
nditions: update some debug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
c
o
m
pariso
n
:
i
ntroduce possible_compa
r
ison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extra:
update a deb
u
g
s
tatement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
f
unction_p
t
r
s: track fu
n
ctions wh
i
ch return
a
functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
e
n
ter
show_er
r
s
.
s
h
: quote some str
i
n
gs properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
slist: put get_sm_sta
t
e
_st
r
ee_stack()
i
n th
e
.
h
f
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
p
e
nter
s
t
ates: cha
n
ge th
e
debug ou
t
put format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
struct_assignment: handle kzalloc() be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpente
r
sl
i
st: add the filename t
o
s
o
me deb
u
g outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpen
t
er
flow
:
parse global var
i
ables before parsing func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
slist: export the set_state_stree_perm() function to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
c
o
mparison:
a var
i
able is always equal
to itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
remove
n
ull
t
es
t
s f
o
r arrays
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
Makefi
l
e:
allo
w
C
C
to be def
i
ned ou
t
side th
e
makefile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carp
e
nter
s
i
le
n
c
e
no
n
-A
N
SI
w
arnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan
Carpe
n
ter
help
e
r: pre
v
ent se
g
fault in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan Carpenter
extra: improve
handling o
f
"
if (x * 4 > 1
2
)
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Da
n
Carpe
n
ter
missing_break: make a
function stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
D
an Carpenter
db:
f
ix r
u
ntime breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
D
a
n Carpenter
derefere
n
ces_param: add more dere
f
e
r
ence
d
varia
b
les
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpe
n
t
e
r
ranges: rem
o
ve
unneeded NUL
L
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
type
_
val:
s
tore fake
assignments in a slightly different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpen
t
er
param_set
/
filte
r
: do
n
't
p
rint less usele
s
s information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpent
e
r
db: fixup after ca
l
l_impli
e
s changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
D
an Carpenter
param_cleared: h
a
ndle direct a
s
sig
n
m
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carp
e
nter
db: m
a
ke call_imp
l
ies ma
t
ch caller_info w
i
th a key
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
D
a
n Carpenter
smdb
.
py:
fix test for if
a data
t
yp
e
is known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
assig
n
ed_expre
s
sion: get the assigned expression u
s
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Ca
r
p
e
nter
r
os
e
nberg:
ha
n
dle st
r
uct to
s
t
ruct
a
ssignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan
Carpenter
data/kernel
.
sizeo
f
_param
.
remo
v
e: add __dy
n
a
m
i
c_pr_debug()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpe
n
t
e
r
struct_ass
i
gnm
e
nt: introd
u
c
e
get_faked_e
x
pres
s
ion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carp
e
nter
struct_assign
m
ent: handle
m
e
mcpy(foo
,
.
.
.
) where
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpente
r
m
a
th:
b
e
more am
b
iti
o
us ha
n
dling right shi
f
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan
Car
p
enter
user
_
data: kstrtoul() and friends
shoul
d
taint data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next