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
validation: add a test for the recent function compare changes
2014-10-09
D
a
n Carpe
n
ter
validation: a
d
d
a test for th
e
recent function
c
o
m
p
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Car
p
enter
function_h
o
oks: f
u
n
ction compar
i
sons ca
n
i
mply
a parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
D
an Carpenter
f
ixup_ker
n
el
.
sh: sever
a
l important u
p
dates (bug
f
ixes
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carp
e
n
ter
comparison: rename f
a
l
s
ify_op()
to nega
t
e_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Carpenter
ranges:
rename filter_by_comparison() to so
m
ething
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpente
r
c
omparison: rename flip_o
p
() to
flip_comparis
o
n
()
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
D
an
Carpenter
Me
r
ge git://git
.
k
ernel
.
org
/
pub/scm/devel/s
p
arse/
c
hrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
D
an Carpe
n
ter
s
m
d
b
.
py:
ad
d
s
o
m
e help text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan
C
a
rpen
t
er
build
_
kernel_
d
ata
.
s
h
:
e
r
ro
r
out if the right
packages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
c
o
mpar
i
son
:
do
n
'
t
store co
m
p
arisons to
one's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpente
r
c
o
m
parison:
add a comment for
u
pdate
_
tf
_
links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
er
compari
s
on: get r
i
d of t
h
e chun
k
_
vsl_eq()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
c
ompariso
n
: pas
s
the filtered false
s
tate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carp
e
n
ter
c
o
mparison: cleanup
update
_
t
f
_data
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpent
e
r
db: fix handling of nested
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
states: add an assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
a
r
p
enter
buf_size:
h
an
d
le strlen(
)
a bit bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
lock
i
ng: add
ffs_mutex_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
flow: the __in
_
pre_
c
ondition varia
b
l
e
need
s
to be
se
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
smat
c
h
.
h: store some dummy database
types
t
empor
a
r
i
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
db: expose the data parame
t
er so we can
u
se d
a
t
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
parse
_
call_math
:
c
h
ange API
to
u
se
range lists
(mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
ranges:
fix
parsin
g
that
I broke thi
s
af
t
ernoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
comparison: fix up fil
t
er_com
p
ari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
ran
g
es: use th
e
r
anges stored
i
n th
e
databas
e
properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
rang
e
s: fix
c
rashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
pen
t
er
ranges: si
m
plify and robustify str_
t
o
_rl
_
helper() a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
p
a
ram_limit: s
a
v
e the compa
r
ison to th
e
arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
C
a
rpenter
f
uncti
o
n_hooks: fix
h
ow dat
a
b
ase co
m
pa
r
isons are do
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: pass the ignore f
i
eld
t
o rang
e
_comparison_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comparison: take pre
v
ious comparisons into
acc
o
unt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan
Ca
r
p
e
nter
db: prefer
l
itera
l
s
to parameter mat
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
an C
a
rpenter
db: re
-
add
s
ome m
i
s
s
ing [] charac
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpenter
assigned_ex
p
r: undefine on modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
db:
fix how parameter
m
at
h
works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Car
p
e
nter
as
s
igne
d
_
expr: add rever
s
e
links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
links: create a sma
t
ch_links
.
c
fil
e
with functi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
p
a
rse
_
call_ma
t
h: f
i
x left overs from the
format change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nter
par
a
m_set: write struct
m
embers
i
n term
s
o
f
pa
r
ameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rp
e
n
t
er
e
x
tra:
w
r
ite certain ret
u
r
n
ed struct members in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Car
p
enter
db: p
a
s
s the retur
n
e
x
pression to the returned_member
_
c
a
llb
a
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
t
er
extra
:
save retur
n
v
a
lues in terms of pa
r
ameter mat
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: unif
y
how par
a
meter
descriptions
are saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
comparison
:
add an
ig
n
ore pa
r
a
meter to e
x
pr_equa
l
_to_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
a
rpenter
unre
a
chable:
i
g
nore the unreachable(
)
mac
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan C
a
rpenter
err_ptr_deref: passing an ERR_PTR
t
o
k
fre
e
(
)
is a b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
an Carpenter
extra: ha
n
dle merg
i
ng NULL
p
ointers b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
D
a
n Car
p
enter
extra: addresses
o
f arrays are non-
N
ULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpen
t
er
db
:
remove bogus p
a
rame
t
er
i
nformation f
r
om hook typ
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Ca
r
penter
db: add a new t
a
bl
e
wh
i
ch hold parame
t
e
r
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan
C
ar
p
enter
type: i
n
t
r
o
du
c
e type_to_str(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan
Carpenter
locking: remove some dupli
c
ate "s
o
m
etimes l
o
c
ked" wa
r
n
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Car
p
en
t
er
ge
n
eris
i
z
e
.
pl: filter some more stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
g
enere
s
ize
.
pl:
c
l
eanup inde
n
tation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n
Carpenter
ranges: a pointer to an a
r
ra
y
i
s just a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Ca
r
penter
extra: reco
r
d glob
a
l declarati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
conditions: update some debug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
C
a
rpenter
co
m
p
a
rison: introduc
e
possible_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
ex
t
ra:
updat
e
a debug st
a
tement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
function_ptrs: tr
a
ck
f
u
n
c
t
ions w
h
i
c
h
r
eturn
a
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
s
h
ow_errs
.
sh: quo
t
e
s
ome s
t
ri
n
gs properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
slist: put get_sm
_
state_stree_sta
c
k(
)
in
t
he
.
h f
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
s
t
ates: change th
e
debug output for
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
s
t
ru
c
t_assignment:
handl
e
kza
l
l
oc() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carpenter
slist: a
d
d
the
fi
l
e
name
t
o
some debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
flow
:
parse global
v
ari
a
ble
s
before pa
r
sing
f
unc
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
slis
t
: e
x
port
th
e
set_sta
t
e_stree_perm(
)
function to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
comparison: a
v
ariable is always
equal t
o
itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
D
a
n Carp
e
nter
r
e
m
o
ve null tests for a
r
rays
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
D
a
n Carpenter
Makefile: a
l
low C
C
to be defined outsi
d
e th
e
makefile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Ca
r
penter
sile
n
ce n
o
n-ANSI warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan Carpen
t
er
h
e
l
p
er: prevent segfault in expr_to_var(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
D
a
n
Carpe
n
t
e
r
e
x
t
ra:
i
mprove handling
of "if (x * 4 > 12) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Da
n
Carpen
t
er
missing_bre
a
k: make a function stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan Ca
r
penter
db
:
fix runtime bre
a
kage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carp
e
nt
e
r
de
r
eference
s
_pa
r
am:
a
d
d
more dereferenced variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n
Carpenter
r
anges: remo
v
e unneede
d
NULL ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n Carpenter
ty
p
e_val:
s
tore fake
assignments in a slig
h
tly different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan
C
arpenter
param_set/fi
l
ter: don'
t
pr
i
nt less
useless information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
D
a
n Carpent
e
r
db: f
i
xup a
f
ter
call_im
p
lies c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
D
an Carpente
r
param_cleared
:
h
a
ndle direct a
s
sig
n
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan
C
arpenter
db: make
c
al
l
_
i
mpli
e
s match caller_info wit
h
a
k
e
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
Da
n
Carpent
e
r
smdb
.
py: fix tes
t
fo
r
if a datatype is known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carp
e
nter
assigned_expression: get the assigned express
i
on using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpente
r
rosenberg: handle s
t
ruct to struct ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan
C
arpenter
data
/
kernel
.
siz
e
of_par
a
m
.
remove: a
d
d __
d
yn
a
mic_pr_debug(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
struc
t
_assignment: introduce ge
t
_
faked_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
Carpen
t
er
st
r
uct_assign
m
ent: handle memc
p
y(foo,
.
.
.
) where fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
D
a
n
C
a
r
penter
math: be more a
m
bitious h
a
ndli
n
g r
i
ght sh
i
f
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
D
a
n Carpenter
user_data: ks
t
rtoul() and
fr
i
e
n
d
s should taint da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
extra: more limits
o
n which
v
a
r
iables are equiva
l
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan Carpenter
d
b
: get r
e
turn states from function pointers
if possible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpen
t
er
propa
g
ate: remove validation t
e
st bec
a
u
s
e we remo
v
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
slist: introduc
e
m
erge_fa
k
e_
s
tree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Ca
r
penter
unr
e
a
c
h
a
ble: silence
"
not actually initialized" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
ro
s
enberg: fix some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpente
r
debug: introduce
__smat
c
h
_debug_chec
k
() to debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Da
n
Carpent
e
r
*new* check_no_if_block: s
o
metim
e
s the if bloc
k
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Car
p
ent
e
r
u
n
con
s
t
a
nt_macros: add VM_SOFTDIR
T
Y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Ca
r
penter
type: introduce is_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next