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
free: improve cross function tracking
2014-10-16
Dan
C
arpen
t
er
free:
i
mpr
o
ve cross f
u
n
c
t
i
o
n
t
racking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
shift_to_zero: c
h
e
ck for things
l
ike
"
(foo &
0xff
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
p
arse
_
ca
l
l_m
a
t
h: handl
e
ma
t
h like "$0
-
>f
o
o +
5"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
D
a
n Carpenter
parse_call_math: more format
c
h
a
nge
fa
l
lo
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Ca
r
penter
parse_
c
all_math: NULL
t
e
rminate bu
f
siz
e
re
c
ipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Ca
r
pe
n
ter
call_ma
t
h: use
r
ange lists instead of only exa
c
t values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan
Car
p
e
n
t
er
r
a
ng
e
s: start implementing rl_b
i
nop(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Carpent
e
r
com
p
ar
i
son: store general limits i
n
the da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
c
ompariso
n
: take original comparison into acc
o
u
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
an Carpenter
v
a
lidation: ad
d
a test for the recen
t
function
c
ompare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan Ca
r
penter
function_
h
ooks: funct
i
on
comparisons can imply a parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan
C
arpenter
fixup_kernel
.
s
h
: several imp
o
rt
a
nt up
d
ates (bugfixes
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Carpenter
compa
r
ison: rename falsi
f
y_op() to n
e
gate_compa
r
i
s
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Car
p
enter
ranges: rename
f
ilte
r
_
b
y_comparison() t
o
s
o
methi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
D
an Carpenter
c
o
mparison
:
ren
a
me flip_op() to fli
p
_comparison() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
D
a
n Car
p
ent
e
r
M
erge git://gi
t
.
ker
n
el
.
org/pub/scm/d
e
v
el/
s
pa
r
se/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpenter
s
m
d
b
.
py: add
som
e
help text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
D
an C
a
r
p
enter
build_kernel_data
.
sh: error out if the right packages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
a
n C
a
r
p
e
nter
comparison:
d
on't
store comparisons
t
o one's self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Carpenter
co
m
parison: add a
c
omment for update_tf_li
n
ks()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Da
n
Carpente
r
compar
i
s
on: get rid of the c
h
unk_
v
sl_
e
q() func
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
compar
i
son: pass the filtered
f
alse state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
D
an Ca
r
penter
comparison: clean
u
p update_tf_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpent
e
r
db:
fix
handling
o
f nested calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpenter
sta
t
es: add a
n
a
ssert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
b
u
f
_size: ha
n
dle strlen()
a
bit
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
locking: add ffs_mutex_lock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
an Carpenter
fl
o
w:
t
he __in_p
r
e
_conditio
n
variable needs to be set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
smatch
.
h
: store so
m
e dumm
y
data
b
ase types t
e
mporarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carp
e
nter
d
b: e
x
pose the data
p
arameter so we c
a
n us
e
data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
t
e
r
parse
_
call_math: c
h
ange API to use range lists (mo
s
t
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
r
anges: fix parsin
g
t
h
at I broke
th
i
s afterno
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
penter
c
o
m
parison: f
i
x up filt
e
r_compa
r
ison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
r
anges: use
t
he ranges stored in the database properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpe
n
ter
r
a
nges: fix c
r
as
h
ing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpente
r
ranges: simplify
a
nd robustify
s
t
r
_to_rl_helper()
a
bi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Car
p
enter
param
_
limit: save
t
he co
m
parison
t
o the arg
u
men
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpente
r
function_hoo
k
s: fi
x
h
o
w dat
a
base com
p
arisons are d
o
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
ente
r
compa
r
ison: pass the
i
gnore field to range_co
m
parison_to_par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
enter
compar
i
son:
t
ake
p
re
v
ious
comparisons into
a
c
c
ount
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carp
e
n
t
e
r
db: prefer literals to parameter
mat
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
D
a
n C
a
rp
e
nter
d
b: re-add some missi
n
g [] cha
r
a
c
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carp
e
nter
assigned_
e
xpr: u
n
defi
n
e
on modification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an Ca
r
p
e
nte
r
db: fix how parameter mat
h
w
o
rks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assigne
d
_e
x
pr: ad
d
reverse
links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
lin
k
s:
create a smatch_link
s
.
c
f
ile with f
u
nctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpe
n
ter
parse_
c
all_m
a
th: fix left ove
r
s f
r
om
t
h
e for
m
at change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
param_set: writ
e
struct memb
e
rs in
t
erms of
p
ar
a
meter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan C
a
rpenter
extra: write certai
n
r
et
u
rned stru
c
t member
s
in terms
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db:
p
ass the ret
u
rn e
x
pression to the returned_membe
r
_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
n
ter
ext
r
a: save return val
u
es i
n
terms of paramet
e
r
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: unify how parameter
d
es
c
riptions are saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
comparison:
a
dd a
n
ignore
parameter to expr_equa
l
_to_par
a
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
u
nreachable
:
i
gnore the unreachable() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Carpe
n
ter
e
r
r_ptr
_
deref: passing an ERR_P
T
R to kfree() is
a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carp
e
nt
e
r
extra: handle
m
erging
NULL pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan
C
arpenter
extra: addre
s
s
e
s of array
s
are non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpenter
db
:
remove bogus parameter information from hook type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
db: a
d
d
a ne
w
table which hold paramete
r
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan Ca
r
pente
r
ty
p
e: introduce type_to
_
s
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpent
e
r
locking: re
m
ove some
d
uplicate "sometim
e
s
l
ocked" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpent
e
r
gen
e
r
i
si
z
e
.
pl: filter some more stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
an Carpen
t
er
genere
s
ize
.
pl: cleanup in
d
e
n
tation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n
Carpen
t
er
ranges: a point
e
r to an array
i
s ju
s
t a pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpe
n
te
r
extr
a
: recor
d
global
dec
l
a
r
atio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
con
d
itions: up
d
a
t
e
some d
e
bug output
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
ar
p
enter
compar
i
s
o
n: introduce possible_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nt
e
r
ext
r
a: update a
d
ebug s
t
atement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpe
n
te
r
function_ptrs
:
track functions which return a f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n
Carpenter
show_err
s
.
sh: quote
some strings pro
p
erly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
sli
s
t: put get_s
m
_st
a
te_
s
tree_stack() in
the
.
h file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
s
t
ates: change the debug output forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
s
tru
c
t_assignment: handle kzalloc()
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
s
l
ist: add the filename to
some de
b
ug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
fl
o
w:
parse global var
i
ables be
f
o
re
parsi
n
g
f
unction
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
slist: export the set_stat
e
_
str
e
e_perm()
f
unction
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
compa
r
i
son
:
a variable is
always equal to its
e
lf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
rem
o
ve null tests f
o
r arrays
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Ca
r
penter
M
a
k
ef
i
le: allow CC to be
d
efined outside the
mak
e
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Da
n
Carpenter
s
i
lence non-AN
S
I
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
Dan Carpenter
h
e
lp
e
r: preve
n
t seg
f
au
l
t in expr_to_va
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Dan
Car
p
enter
ext
r
a:
i
mprove hand
l
ing
of "if (x
* 4 >
12)
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
Da
n
C
a
rpente
r
missing
_
b
reak: make a func
t
io
n
st
a
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carp
e
nter
db: fix runtime br
e
akage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpenter
dere
f
erences_param:
add
m
ore dereferenced
v
ariables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan C
a
rpent
e
r
ranges: re
m
ove u
n
needed
N
U
LL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
ty
p
e_val: store f
a
ke
assi
g
nmen
t
s in
a sl
i
ghtly
differe
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n
Carpenter
param_set/fil
t
er: don't print l
e
ss usel
e
ss infor
m
a
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
db: fixup afte
r
ca
l
l_implies ch
a
ng
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
D
a
n Ca
r
pen
t
e
r
param_cleared: handle direct assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan
C
arpenter
db: make call
_
impli
e
s ma
t
c
h
caller_info
w
ith
a
key
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
Dan Car
p
enter
s
m
db
.
py: fix t
e
st for if a dataty
p
e
i
s known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Car
p
enter
assigned_expressio
n
:
ge
t
the ass
i
gned expr
e
ssion using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpe
n
ter
r
o
senberg: h
a
n
d
le struc
t
t
o
str
u
ct assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan C
a
rpe
n
ter
da
t
a/kernel
.
siz
e
of_
p
a
ram
.
remove: add __dynamic_pr_debug()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Car
p
enter
struct_
a
ssignment: introduce
get_
f
aked_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpe
n
t
e
r
str
u
ct_assignment:
h
a
ndle memcpy(fo
o
,
.
.
.
) where foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
D
a
n Carpenter
math: be
more ambitious handling
r
ight
s
hifts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
u
ser_data: k
s
t
rtou
l
()
a
nd
f
riend
s
s
hould taint dat
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
D
a
n Carpenter
extra: more li
m
its on whic
h
v
a
riables are eq
u
iva
l
en
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next