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
64bit_shift: find bugs like: u64 foo = 1 << x;
2014-10-30
D
a
n Carpenter
64bit_sh
i
ft: fin
d
b
ugs
like: u64 foo
= 1 << x;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carp
e
nter
au
t
o_co
p
y: fix a cra
s
hing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-29
D
a
n Carpenter
prec
e
dence: b &
m
ask >>
shift
is normally
a
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Carpenter
sh
i
ft_to_zero: fix a
n
er
r
or
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
arpenter
free
:
check f
o
r
passing or returning f
r
eed memo
r
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpen
t
er
f
r
e
e
: don't turn off wa
r
nings if --spammy
is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan C
a
rpenter
db/fix
u
p_kernel
.
sh:
bitmap_allocate_region doesn't
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_com
p
a
rison: s
t
ore
w
h
ich data holds
array
l
imits
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpe
n
ter
buf_comparis
o
n
,
b
uf_size: add
r
ealloc() to a
l
lo
c
ati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan
Carpenter
compare: introduc
e
get_
a
l
l_co
m
parisons()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan Ca
r
penter
db: add data_i
n
f
o
tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
D
an Carpente
r
auto_
c
opy
:
ass
i
gnments co
p
i
e
s
s
t
ates automatica
l
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Dan Car
p
enter
buf_compar
i
son: look for off
b
y
one e
r
rors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan
C
arpenter
M
erge
b
ranch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan
C
arpenter
err_pt
r
_deref: error messag
e
should say "negative"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
D
an Ca
r
penter
free: imp
r
ov
e
cross
f
u
n
ction tracking
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Da
n
Carpenter
shift_to_zero
:
check for things like "(foo & 0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carp
e
nter
parse
_
call_ma
t
h
:
handle math
l
ik
e
"$0->f
o
o + 5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
D
an Carpenter
p
a
rse_call_math:
m
ore for
m
at change
f
a
llout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan
C
a
r
penter
parse_call_
m
ath: NULL termina
t
e
b
u
f
siz
e
rec
i
pes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Car
p
enter
call_math: use
range lists instead of only e
x
act v
a
lues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
D
a
n
C
ar
p
enter
range
s
: start
i
m
p
leme
n
ting rl_bi
n
op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Carpenter
comparison: stor
e
ge
n
eral limits
i
n the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n
Carpenter
compar
i
son: tak
e
original co
m
parison
i
n
t
o acc
o
u
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan
Carpenter
validation: add a test for the recent fu
n
ct
i
on
co
m
par
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpe
n
ter
function_hooks:
f
u
n
ction
com
p
ar
i
s
o
ns can impl
y
a pa
r
ameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fixup_kernel
.
sh: sev
e
ral i
m
po
r
tant updates (bu
g
f
ix
e
s
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpenter
co
m
pa
r
ison: rename f
a
lsify_op() t
o
nega
t
e_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpen
t
er
ranges: rename filter_by_co
m
parison() to something
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
cgcc: revert part of the -Werror c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
comparison: ren
a
me
fli
p
_op() t
o
flip_c
o
mpar
i
son() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpe
n
ter
Merge git://git
.
kernel
.
org/pub/scm
/
deve
l
/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
D
an
C
arpenter
smdb
.
p
y
:
add some
h
elp te
x
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
b
u
ild
_
kerne
l
_data
.
s
h: error out if
t
he r
i
ght
p
ackages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpen
t
er
compar
i
son: don't store comparisons to
o
ne's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
an C
a
rpenter
comparison: add a co
m
ment for update_tf_
l
inks()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n
Carpenter
comp
a
rison
:
get rid of the chunk_vsl_eq() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpent
e
r
compar
i
son: pas
s
the filtered false stat
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison: cle
a
nup
u
pdate_tf_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Da
n
Carpenter
db: fix handling of nested
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
stat
e
s: add an assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
n
t
er
buf_
s
ize
:
han
d
le strle
n
() a bi
t
bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nte
r
loc
k
ing: add ffs_mutex_loc
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
flow: th
e
__in_pre
_
conditio
n
v
ari
a
ble ne
e
ds to be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
smatch
.
h: sto
r
e some dummy d
a
tabase types temp
o
rar
i
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nte
r
db: e
x
pose the data para
m
et
e
r so we can use dat
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carpente
r
par
s
e
_
ca
l
l_math:
chang
e
API to use
r
ange lists (mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Car
p
en
t
er
ranges: fix p
a
rsing th
a
t I
br
o
ke this aft
e
rnoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
c
o
mparis
o
n: fix up filte
r
_c
o
mparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
p
e
n
ter
ra
n
ges:
use the ranges stored in the database pr
o
perly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
p
enter
range
s
:
fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges:
simplify and
rob
u
stify str_to_rl_he
l
per() a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
para
m
_limit: save the compa
r
is
o
n t
o
the arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
function_h
o
o
k
s
: fi
x
how
d
atabase compari
s
ons are do
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
a
rpenter
c
o
mpa
r
i
son: pass
t
he ignor
e
field to range_com
p
a
rison
_
to_p
a
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comp
a
ri
s
on: take pr
e
viou
s
compa
r
isons into accoun
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
D
an Ca
r
pente
r
db: pre
f
e
r literals
t
o parameter
m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Da
n
Carpenter
db: re-add some missin
g
[] cha
r
acters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Ca
r
penter
assigned_expr:
u
ndefine on mo
d
ification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpent
e
r
db: f
i
x how
p
arameter math works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
as
s
i
g
ned_ex
p
r: add revers
e
links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an C
a
rpent
e
r
links: create a
s
match_l
i
n
k
s
.
c file with
f
u
nctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
enter
par
s
e_c
a
ll_m
a
th:
fix left
o
v
ers from the format change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
param_set: wri
t
e struct
members in terms of param
e
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
t
e
r
extra: write c
e
r
ta
i
n re
t
urned struct members in
t
er
m
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
pent
e
r
d
b:
pass the return expr
e
ssion to
t
he returne
d
_
m
ember_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
t
e
r
extra: save retu
r
n values in terms o
f
param
e
ter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpen
t
er
db: un
i
fy h
o
w para
m
e
t
er
des
c
riptions a
r
e
s
aved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
n
ter
compari
s
on: add an ignore paramet
e
r to expr
_
equal_
t
o_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Carpenter
u
n
reacha
b
le: ignore t
h
e unreachabl
e
() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
err_ptr_de
r
e
f
:
pa
s
sing an ER
R
_PTR
to kfree() is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arpenter
extra: hand
l
e
mergi
n
g NUL
L
pointer
s
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpenter
extra: addres
s
e
s of arrays are non
-
NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
db: remove
b
ogus par
a
meter information f
r
o
m
h
o
ok type
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Car
p
e
nter
db: add
a new
table which hold p
a
rameter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
D
an
C
arpenter
type: introduce type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
locking: remov
e
some
duplicate "someti
m
e
s
l
ock
e
d" warning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpente
r
generis
i
ze
.
pl: filter som
e
more
s
t
u
ff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
Carpenter
generesiz
e
.
pl
:
cleanup i
n
dentati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpe
n
ter
rang
e
s: a poi
n
te
r
to an array is
just a poi
n
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an Ca
r
penter
ex
t
ra: record globa
l
d
e
clara
t
ion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpente
r
co
n
ditions: up
d
a
te some
de
b
ug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
c
om
p
ar
i
son:
intr
o
duce
poss
i
ble
_
comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpe
n
ter
e
xtra: upd
a
te
a
d
ebug state
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
func
t
ion_ptrs: track func
t
ions wh
i
ch retur
n
a
f
un
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
show_
e
rr
s
.
sh: quote some strings p
r
ope
r
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
slist: put get
_
s
m_state_stree_stack() i
n
t
h
e
.
h f
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
C
arpente
r
states: cha
n
ge the
debug output format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
a
rpenter
struct_assignment
:
handle kza
l
loc
(
) better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist
:
a
dd the filename to som
e
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carp
e
nter
flow: parse g
l
o
b
al
v
a
r
iables before pars
i
ng functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
s
l
i
st: ex
p
ort the set_state_stree_perm() function t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
comparison: a
v
ari
a
ble
i
s always equal to itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
r
e
m
o
v
e
null
tests for arrays
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carp
e
n
t
er
Ma
k
ef
i
le: allow CC to be define
d
out
s
ide the makefile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Car
p
ent
e
r
silence non-A
N
SI warning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan
Carp
e
nter
h
e
lper: prevent
segfault in expr_
t
o
_
var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan Carpenter
ext
r
a: improve handling o
f
"if (x * 4 > 12) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carp
e
nt
e
r
missin
g
_break:
m
ake a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Da
n
Carpenter
d
b: fix
runtime br
e
akage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next