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
Dan Carpenter
64bit_shift: find bu
g
s like: u64 f
o
o = 1 << x;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
auto_copy: f
i
x
a
crashin
g
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
precedence:
b & mask >>
s
hift is nor
m
ally a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carp
e
nter
shift_to_zero: fix an e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan C
a
rpenter
fre
e
: check for pas
s
i
ng or returning fre
e
d
memory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
free: d
o
n't
turn off warnings if
-
-s
p
ammy is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan C
a
rpente
r
db/f
i
x
u
p_ke
r
ne
l
.
sh: bitmap_al
l
ocate_region doesn't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
Carpenter
buf_comparison: store whic
h
data hold
s
arr
a
y
limits
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
D
a
n
Carpent
e
r
buf_comparison, buf
_
size: add
r
e
alloc() to allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpe
n
ter
com
p
are: introduce get_a
l
l
_compari
s
ons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
D
a
n
Carpenter
db
:
add data_i
n
fo tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carpente
r
auto_
c
opy: assignments cop
i
e
s states automatically
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan C
a
rpenter
b
u
f_compa
r
ison: look
f
o
r
o
f
f
by one erro
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carp
e
nter
Merg
e
branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
Dan Carp
e
nter
err_ptr_dere
f
: error
message should say
"negative"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carp
e
nter
free
:
improve c
r
oss function t
r
a
ck
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpe
n
ter
shift
_
t
o_z
e
ro:
check
f
o
r
things like
"(foo & 0xff
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carp
e
nt
e
r
p
a
rse_call_
m
ath: handle m
a
t
h li
k
e
"$0
-
>foo + 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpent
e
r
parse
_
call_math:
more for
m
a
t ch
a
nge fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_c
a
ll_math: NULL terminate
b
uf size r
e
cipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
D
a
n
C
arpent
e
r
call_math:
use rang
e
lists
i
n
s
tea
d
of only exac
t
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
ranges: start i
m
plementing rl_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carp
e
nter
com
p
ar
i
s
o
n: s
t
or
e
general limits in the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan
C
ar
p
enter
compariso
n
:
take ori
g
inal comparison i
n
to
ac
c
ount
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan C
a
rpenter
v
a
l
i
dation: add a te
s
t for
t
he rece
n
t fun
c
tion comp
a
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
function_
h
o
o
k
s:
function comparisons can
i
mply a parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Da
n
Carpenter
fixup_kernel
.
sh:
s
everal important
u
p
dates (bugfixe
s
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpent
e
r
comparison: rename falsify_op() to
negate_comparison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpent
e
r
ranges: ren
a
me filter_by_comparison
(
) to something
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
pen
t
er
c
gcc: revert par
t
of the -Werror
c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Carpe
n
ter
c
omparison: rename flip_op() to flip_c
o
mpa
r
ison() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carp
e
nter
Merge git:
/
/git
.
k
e
rnel
.
org/pub/scm/d
e
vel/sparse/ch
r
isl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Car
p
e
nter
sm
d
b
.
py:
a
d
d so
m
e help text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Da
n
Ca
r
p
e
n
te
r
b
u
ild_kerne
l
_data
.
sh: error
out if the
r
ight
p
ackages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpe
n
ter
compar
i
son
:
don
'
t store c
o
mparisons
t
o one's self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
Car
p
e
n
ter
comparison
:
a
d
d a comment for update_tf_links()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpe
n
ter
com
p
aris
o
n: get
rid of the chunk
_
v
sl_eq() func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Ca
r
penter
comparison: pa
s
s th
e
filtered false state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpe
n
ter
comparison: cl
e
anup update_tf_dat
a
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
D
an Carpenter
d
b
: fix ha
n
dl
i
n
g
o
f
n
e
sted c
a
lls
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
Dan Carpent
e
r
buf_si
z
e
:
han
d
le s
t
rlen() a bi
t
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
lock
i
n
g
:
a
dd ffs_mutex
_
lock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
flow: th
e
__in_pre_condition var
i
able
needs to be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpen
t
er
smatch
.
h
: store some dummy database types
temporaril
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
d
b: expo
s
e
the data pa
r
a
meter so we can use data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
Carpenter
p
ar
s
e_call
_
math: c
h
ange API to use rang
e
lists (mostly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
C
ar
p
enter
ra
n
ges: fix pars
i
ng t
h
a
t
I broke th
i
s
a
f
ternoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
comp
a
rison:
f
ix up fi
l
ter_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
ran
g
es:
u
se th
e
rang
e
s stored in the database properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
e
n
ter
ranges: fix crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an
Car
p
enter
ra
n
g
e
s: si
m
plify and
r
o
bustify st
r
_
to_rl_h
e
lp
e
r()
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
param_limit: save the comparison to th
e
a
r
gument
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
function_hooks: fix how
database c
o
mparisons a
r
e
d
one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
comparison: pas
s
the
i
gnore field to range_compar
i
s
o
n_
t
o_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
c
omparisons into acco
u
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
db:
prefer literals to parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
db:
re-add some miss
i
ng []
ch
a
racters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpent
e
r
assigned_expr
:
undefi
n
e on
m
odi
f
i
cat
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
db: fix how
p
arameter math works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Carpenter
as
s
igned_expr:
a
dd revers
e
l
inks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
l
i
nks:
c
reate a
sma
t
ch_links
.
c file with functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
parse
_
call_mat
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
Da
n
Carpenter
param_set: write struct members in terms
o
f parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an
C
a
rpenter
e
xtra:
write cer
t
ain returned
struct m
e
mbers in terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpenter
db: pass the return
expressio
n
t
o
th
e
r
eturned_member
_
callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpenter
extra: save return val
u
e
s
in te
r
ms of par
a
meter ma
t
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: unify how paramete
r
descripti
o
ns ar
e
saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
comparis
o
n: add
an igno
r
e
p
ara
m
eter
to
expr_equal_
t
o
_
param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
unreachable: ignore the unreacha
b
le() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
an Car
p
enter
err_ptr_deref: pas
s
ing an ERR
_
PTR
t
o kfree() is a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
extra: handle
m
ergi
n
g
N
ULL p
o
inters
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpenter
ext
r
a
: addresse
s
of
arrays are non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n C
a
rp
e
nter
db: remove b
o
gus
para
m
eter in
f
ormation from hook type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Da
n
C
arpenter
db: a
d
d
a ne
w
table
which hold p
a
rameter types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan
C
ar
p
e
nter
type: int
r
oduce
t
y
pe_to
_
str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Ca
r
penter
loc
k
ing: remove som
e
duplicate "sometimes
locked" warnin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
an Carpente
r
generisize
.
pl: filter some
m
ore
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carp
e
nter
generesize
.
pl: c
l
eanup inde
n
tation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan C
a
r
penter
r
anges: a po
i
n
t
er
to an
a
rr
a
y is
just a pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Ca
r
pe
n
t
e
r
extra: r
e
cord global de
c
la
r
ati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
condi
t
ions: update
s
ome debug ou
t
put
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
comparison:
in
t
roduce
possible_compari
s
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
e
x
tra: u
p
date a d
e
b
u
g stateme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
p
enter
fun
c
tion
_
ptrs:
t
rack functions which r
e
tu
r
n a
functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Car
p
enter
s
how_errs
.
sh
:
quote some str
i
n
g
s properl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
s
l
i
s
t: put get_sm_state_stree_stack() in t
h
e
.
h
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
states
:
c
h
an
g
e t
h
e deb
u
g ou
t
put format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
struct_assignme
n
t: ha
n
dle kzalloc() b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
s
list: add th
e
filen
a
me
t
o some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
flow:
parse global variabl
e
s before parsing
f
u
n
ctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
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
C
ar
p
e
nter
c
ompa
r
ison
:
a variab
l
e
i
s alwa
y
s equal
t
o itsel
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpent
e
r
remove n
u
ll tests
f
or arrays
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpe
n
ter
Makefile: allow CC to
be
d
e
f
ined
o
utside the
makefile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
silence non-ANSI warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
Dan C
a
r
p
enter
helper: prevent
s
egfault in expr_to_var(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
D
a
n Car
p
ent
e
r
extra: impr
o
ve handlin
g
o
f
"if (
x
* 4
>
12) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
Dan Car
p
enter
m
i
ssing
_
break: mak
e
a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpe
n
ter
db: fix runt
i
me
b
reakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next