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
Dan Car
p
ent
e
r
err_ptr_deref: error message
should
s
a
y
"negative"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpente
r
free:
impr
o
ve cross fun
c
t
ion trackin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
shi
f
t
_to_zero:
c
heck
for things like "(foo & 0x
f
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Da
n
Carpe
n
ter
p
arse_cal
l
_math: handle math like "$0-
>
fo
o
+ 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Car
p
enter
parse_
c
all_math
:
m
ore format c
h
an
g
e fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Da
n
Ca
r
pente
r
parse_
c
all
_
mat
h
:
N
U
LL terminate
b
uf size r
e
c
i
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
c
all_
m
ath
:
use range lis
t
s inst
e
ad of o
n
l
y
e
x
act va
l
ues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
ranges:
s
t
art impleme
n
ting rl_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n C
a
rpenter
c
o
mp
a
rison:
stor
e
general lim
i
ts in the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
an Carpenter
comparison: take original comparison
i
nto
a
ccount
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Carpenter
validation: add a test for the recent func
t
ion compare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carp
e
nter
function_hooks: func
t
ion
c
omparisons can impl
y
a parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fi
x
up_ke
r
nel
.
sh: s
e
veral i
m
portant updates (bugfixes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan
C
arpenter
comparison: rename
fal
s
ify_op() to negate_comparis
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Carpenter
ranges: rename
f
ilter_b
y
_compa
r
iso
n
() to something
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n
C
a
rpe
n
ter
co
m
parison: ren
a
me f
l
ip_op
(
) to flip_co
m
p
arison() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan Carpenter
Merge git://git
.
kernel
.
org/pub/scm
/
devel/sparse/c
h
risl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
smdb
.
p
y: add som
e
h
elp t
e
x
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
D
a
n Carpenter
build_kernel_data
.
sh: err
o
r out if the right
pa
c
kages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
C
a
rp
e
nte
r
comparison: do
n
'
t
store c
o
m
parison
s
t
o
one's sel
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpente
r
compar
i
son: add
a
comment
for update_tf_link
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
compa
r
ison
:
get rid o
f
the chunk_vsl_eq() fun
c
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
en
t
er
com
p
ar
i
son
:
p
a
ss
t
he fi
l
ter
e
d fal
s
e state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
c
o
mparison: cleanup u
p
da
t
e
_
tf_d
a
t
a
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan
Carpenter
db: fix h
a
ndling of nested calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
r
penter
states: add
a
n as
s
ert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
b
u
f_size: handl
e
s
tr
l
en() a
b
it better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
lockin
g
: ad
d
f
f
s_mutex_
l
ock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
C
ar
p
e
nter
flow: the
_
_
in_pre_
c
ondit
i
on var
i
able needs to be s
e
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
smat
c
h
.
h:
s
tore some
dummy database
t
ypes tempora
r
ily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
db: ex
p
o
s
e
t
h
e
data parameter so
w
e
can
use data
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpe
n
ter
p
a
rse_
c
a
ll_math
:
change A
P
I to use range lists (mostly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
ranges: fix parsing
t
h
a
t I br
o
ke this afternoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
com
p
aris
o
n: fix up fi
l
ter
_
compar
i
son()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
pe
n
ter
ran
g
es
:
use the ranges s
t
ored in the database pro
p
er
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
r
a
nges: fix crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
range
s
:
simplify and r
o
busti
f
y str_to_rl
_
helper() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n
C
a
rpenter
pa
r
am_limit: save
the comparison to
the a
r
gu
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
fun
c
tion_hooks: fix how database co
m
pa
r
is
o
ns are do
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
c
omp
a
rison: pass the i
g
nore f
i
eld to
range_comp
a
rison_to_pa
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carp
e
nte
r
comparison:
tak
e
previous comparisons into account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
D
an Carpent
e
r
d
b
: prefer literals
t
o para
m
eter
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpente
r
db: r
e
-
add so
m
e
missing [] characters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n
Carpenter
assigned_ex
p
r: un
d
efine on modificatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Car
p
ent
e
r
db:
f
ix how parameter math
w
orks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assigned_expr: add rev
e
rs
e
links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
l
inks: create a sma
t
ch_l
i
nks
.
c file
w
ith functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
an Carpenter
p
a
r
s
e_call_math
:
f
ix left over
s
from the
for
m
at change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
p
a
r
am_set: write struct members in terms of pa
r
am
e
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
extra: w
r
ite certain
r
eturn
e
d struct members in terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
ter
db:
p
a
ss the
return expression
to the retur
n
ed_member_
c
allback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
enter
extra: save return val
u
es in terms of paramete
r
math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
db: unify how param
e
te
r
descriptions
a
re
sav
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
compar
i
son: add an ignore parameter to expr_
e
qual_to
_
par
a
m
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpe
n
ter
unreachabl
e
: ignore th
e
unre
a
c
hab
l
e(
)
macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
err_ptr_de
r
ef:
pas
s
ing an ER
R
_
P
TR to kfree() is a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Car
p
enter
e
xtra
:
handle merging NULL pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
D
a
n
Carpenter
ex
t
ra: addresses of
arrays
a
re non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan
Carpe
n
ter
db:
r
e
move bogus parameter inf
o
rmation
f
r
om ho
o
k
type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpen
t
er
d
b: add a new
table
wh
i
ch hol
d
parameter typ
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carp
e
nt
e
r
type
:
introduce type_
t
o
_str
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
lo
c
king: re
m
ove so
m
e duplica
t
e
"sometim
e
s locked"
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Ca
r
p
enter
generisi
z
e
.
pl: filter some more stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpe
n
ter
gene
r
esize
.
pl: cl
e
anup indentation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan C
a
r
p
e
n
ter
r
ang
e
s: a pointer to an array is j
u
st
a p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extr
a
: record global
d
ec
l
ar
a
t
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rpenter
conditions: update some deb
u
g outp
u
t
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpent
e
r
com
p
arison: in
t
roduce possi
b
le_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
e
xtra: update
a debu
g
sta
t
emen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpent
e
r
funct
i
o
n
_ptrs: track funct
i
on
s
whi
c
h return a f
u
ncti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
show_errs
.
sh: quote so
m
e s
t
rings properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist:
pu
t
get_sm_state_stree_stack()
i
n the
.
h file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
stat
e
s
:
change the debug output format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
struc
t
_assignment: han
d
le kzalloc() bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
sli
s
t:
add the filen
a
me to some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpen
t
er
f
low: parse gl
o
bal variables before parsing functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan 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
comparison: a
v
ari
a
ble i
s
a
l
wa
y
s equal to itsel
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan
Carpenter
remove null tests for array
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpente
r
Ma
k
efile: allow CC to
be
d
efined outsi
d
e th
e
makefile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Da
n
C
a
rpenter
silenc
e
non-ANSI w
a
rnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
Dan Ca
r
pent
e
r
helper: p
r
e
vent
s
egfault in expr
_
t
o
_var
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Da
n
Carpen
t
er
e
x
t
r
a:
i
m
p
rove handling of
"
if (x
* 4 > 12) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
Dan Car
p
enter
missing
_
break: make a f
u
nction stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpenter
db:
f
ix runtime breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpente
r
d
ereferences_param: add more
d
e
referen
c
e
d variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
ranges
:
remove unneeded NULL
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
type_val: store fake assignments in
a
s
ligh
t
ly different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
param_set/filter:
d
on't p
r
i
n
t less useless
information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan
C
a
r
penter
db: fixup after call_implies
c
hang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan C
a
rpenter
par
a
m_cle
a
re
d
: hand
l
e
di
r
ect a
s
s
ignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan
Carpe
n
ter
d
b
:
make call_implies m
a
tch call
e
r_in
f
o wi
t
h a
k
ey
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
D
an
Carpenter
smdb
.
py: fix
t
es
t
for if a datatype is k
n
own
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan
C
arpenter
assig
n
e
d
_
e
xpression:
g
et the a
s
signe
d
expressi
o
n u
s
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carp
e
nter
rosenberg:
han
d
le stru
c
t t
o
struc
t
assig
n
ment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
data/ker
n
el
.
sizeof_param
.
remov
e
: add
__dynamic_pr_debug()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpe
n
ter
struct_assignment: introd
u
ce g
e
t
_
faked_expression(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Ca
r
penter
st
r
uct_as
s
ignment: h
a
ndle memcpy(
f
oo
,
.
.
.
)
wh
e
re foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpen
t
er
math: be more a
m
bi
t
ious
handling right shi
f
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
D
an Car
p
enter
use
r
_data: kstrtoul() and friends s
h
ould taint da
t
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next