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
compare: introduce get_all_comparisons()
2014-10-27
Dan Carpenter
co
m
pare
:
i
n
t
r
oduce get_all_comparisons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpenter
db:
a
d
d
d
a
t
a_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carpente
r
auto_co
p
y: assignments c
o
pies states
a
utomatic
a
lly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan Carpen
t
er
buf_comp
a
rison:
look for off b
y
o
n
e errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpenter
M
erge branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
D
an Ca
r
pente
r
err_pt
r
_de
r
ef: error
m
e
s
sage s
h
ou
l
d
say "negat
i
ve
"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Da
n
C
a
rpenter
free:
improve
c
ross function trackin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Ca
r
p
e
nter
sh
i
ft_to_zero: check for thing
s
like "(foo
&
0xff
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan Ca
r
penter
par
s
e_cal
l
_math: handl
e
math like "$0->f
o
o + 5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
p
arse_call_m
a
th:
more format
cha
n
ge
f
all
o
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_
c
all_math: NULL te
r
minate bu
f
size recipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
D
a
n Carpenter
call_math: use ra
n
ge
lists i
n
stead of
o
nl
y
exact v
a
lues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
ranges
:
start imple
m
enting r
l
_b
i
n
o
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan
C
arpenter
compar
i
s
o
n
: st
o
re general limits in the datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Da
n
Carp
e
nter
compariso
n
: take original comparis
o
n into acco
u
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
validation
:
add
a
test
f
or the recent function
c
omp
a
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fun
c
tion_
h
ooks: function comparis
o
ns can
impl
y
a paramet
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Car
p
enter
fix
u
p_kernel
.
sh: several important updates (bugf
i
xes)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
co
m
p
a
rison: re
n
ame falsify_op() to
n
egate_compa
r
ison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
p
e
nter
ranges: rename f
i
l
t
er_by_comparison() to
s
ometh
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
an
Carpenter
c
g
cc: rev
e
r
t part of the -Werror check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
Carpenter
comparison: re
n
ame f
l
ip_op()
t
o flip_
c
omparison
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan
C
arpenter
Merge gi
t
://git
.
kernel
.
org
/
p
ub/sc
m
/d
e
ve
l
/s
p
a
rse/c
h
r
isl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
smdb
.
py: a
d
d
some help text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
build_ke
r
nel
_
data
.
sh: error out if the
rig
h
t package
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
c
ompari
s
o
n
:
don't
sto
r
e
co
m
p
a
riso
n
s to one's se
l
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n Carpenter
compariso
n
:
add
a
comment for update_tf_links()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
ent
e
r
com
p
arison: get
rid o
f
t
he
c
h
u
nk_vsl_eq() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpe
n
ter
compa
r
ison: pas
s
t
he
f
ilte
r
e
d fa
l
s
e
state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n Carpent
e
r
compari
s
on: clea
n
up update_tf_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
D
an
C
arpenter
db: fix hand
l
ing of neste
d
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
states
:
add
a
n assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
a
r
pe
n
ter
buf_size: hand
l
e str
l
en() a bit better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
locking: a
d
d ffs_mu
t
ex_l
o
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpe
n
ter
fl
o
w: the __i
n
_pre_con
d
ition var
i
a
b
le
need
s
to
b
e set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
smatch
.
h: store some dum
m
y database types t
e
mporari
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
db: expos
e
the data para
m
e
t
er so we can u
s
e data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
p
ars
e
_call_
m
ath: change API to use range lists (mos
t
ly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
r
a
nges: fix parsin
g
tha
t
I broke t
h
is
a
fternoo
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpent
e
r
compari
s
on: fix up filter_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
p
enter
ranges: use th
e
ranges stor
e
d
i
n
the database properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
ranges: fix
c
rashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpent
e
r
range
s
:
s
implify an
d
robustify str
_
to_rl_
h
elpe
r
() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
param
_
limit:
save the comp
a
r
i
son to
t
he arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
function_hooks: fix how da
t
ab
a
s
e comp
a
ri
s
ons are
d
one
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
comparison: pass the ignore field
t
o ra
n
ge
_
compariso
n
_to_par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carp
e
nter
comparison: take previou
s
comparisons
i
nto account
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
D
a
n Ca
r
penter
db
:
p
refer literals to parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan C
a
rpen
t
er
db:
re-add so
m
e m
i
ssing
[
] cha
r
acters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Car
p
enter
assigned_expr:
u
nd
e
fine on mo
d
if
i
cation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an
Carpen
t
er
db: fix ho
w
parameter math
works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpe
n
ter
assigned_e
x
pr: add reverse links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an
Carpenter
links:
create a smatch_links
.
c file wi
t
h function
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
n
ter
parse
_
c
a
ll_math: fix
le
f
t overs from the fo
r
m
a
t
c
hange
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
ter
param_set: write stru
c
t members
i
n t
e
r
m
s of parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nter
e
x
t
r
a: write c
e
rtain
r
eturned struct members
i
n terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
db: pass the r
e
turn expr
e
ssion
t
o th
e
retur
n
ed_mem
b
er_
c
allback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
extra: save r
e
turn values in terms of parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
db
:
unify how para
m
ete
r
d
e
s
c
ripti
o
ns
are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
penter
comparison
:
add an ignore param
e
t
e
r to expr_equal_
t
o_p
a
ram()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
u
nreachable:
i
gnore the unre
a
chab
l
e() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arpenter
err_
p
tr_deref: pass
i
ng an ERR_P
T
R t
o
kfree() is a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Carp
e
nt
e
r
extra: handle
merging NULL pointers
bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan Ca
r
pent
e
r
extra: address
e
s of arra
y
s are non-N
U
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Ca
r
penter
db:
r
emove bogus parameter informat
i
o
n
from h
o
o
k
type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
d
b
: ad
d
a new ta
b
le which hold parameter types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan
Carpenter
ty
p
e
: introduce type_to_s
t
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpenter
l
ocking: r
e
move some d
u
plicate "sometimes l
o
cked" w
a
rnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n
C
arpenter
g
e
nerisize
.
pl: filter some m
o
re
stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
Carpenter
generesize
.
p
l: clean
u
p
inde
n
tation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
range
s
:
a pointer to an array is j
u
st a point
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
extra: record glo
b
a
l
d
ec
l
ar
a
tion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
ar
p
e
nter
conditions: update some debug outp
u
t
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
comp
a
rison: introduce p
o
ssi
b
le_comp
a
ri
s
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extra: upd
a
te a debug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
f
unction_ptrs
:
track functions which return a fu
n
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
show_errs
.
s
h: quote so
m
e
s
t
r
ings proper
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
n
t
e
r
slist: put
g
et_sm
_
state_stre
e
_stac
k
() in the
.
h file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
states: cha
n
ge the
d
ebug ou
t
put forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
struct_assignment: ha
n
dle kza
l
loc() bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
sl
i
st:
a
d
d the filen
a
me to
s
ome debug
o
ut
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpente
r
f
low: parse global var
i
ables b
e
fore
par
s
i
ng function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
s
list: expor
t
the
s
e
t_s
t
ate_st
r
ee_
p
erm(
)
function to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
co
m
pariso
n
: a varia
b
le i
s
always equal to itself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpent
e
r
r
emove nu
l
l tests
for arrays
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
Makefile: allow CC to be defined outside
the makefile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan
Ca
r
penter
sil
e
nce non-ANSI warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
Dan Carpenter
h
e
lper: pr
e
v
e
nt segfault
i
n
expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Dan
Carpe
n
ter
extra: improve handling of "if (
x
* 4 > 12) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carpenter
missing_break: make a funct
i
on st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
D
a
n
C
a
r
pe
n
ter
db: f
i
x runtime b
r
eaka
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
D
a
n C
a
rpe
n
ter
deref
e
r
e
n
c
e
s
_
param
:
add more der
e
ference
d
variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpen
t
er
r
anges: remove unn
e
eded NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan
C
ar
p
ent
e
r
ty
p
e_val: store
f
ake assig
n
ments in a slight
l
y
d
iff
e
re
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan C
a
rpenter
param_set/filte
r
: don
'
t
print l
e
ss useless
i
n
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Car
p
ent
e
r
d
b: fi
x
up afte
r
call_implies changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan
Ca
r
penter
param_cleared: handle
d
irect assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
db: make call_im
p
lies match caller
_
in
f
o with a key
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
Dan Ca
r
penter
smdb
.
p
y: fix test for
i
f a datatype is known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Ca
r
p
enter
assigned_
e
xpression: g
e
t the
assigned
expre
s
si
o
n using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next