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
assigned_expr: undefine on modification
2014-09-24
D
a
n Ca
r
p
en
t
er
assi
g
ned
_
ex
p
r: undef
i
ne
on modifica
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
db: fix how
p
arameter math work
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Car
p
enter
assigned_expr: add reverse links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carp
e
nter
links:
cre
a
t
e
a smatch_links
.
c file with functio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
pars
e
_call_math: fix
left ov
e
rs from
the format change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
C
ar
p
en
t
er
p
a
r
a
m_set:
write struct members in
terms
o
f parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
e
x
tra: wri
t
e cert
a
in re
t
urne
d
struct member
s
in te
r
ms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Car
p
enter
db: p
a
ss the return expr
e
ssion to the return
e
d_member_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
e
x
t
r
a
: save
r
eturn values in te
r
ms
of parameter math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
C
a
r
p
e
n
ter
db: unify how
parameter
d
escriptions are sa
v
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpenter
comp
a
r
ison: add an ignore parameter to ex
p
r_equal
_
to
_
p
aram
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
un
r
eachable: ignore the unreachable() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
err_ptr_d
e
ref: passing an E
R
R_PTR to kfr
e
e() is
a
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Ca
r
penter
e
x
t
ra
:
handle mer
g
i
n
g NULL pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan C
a
rpenter
extra: addresses of arrays are non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carp
e
nter
db:
remove bogus p
a
rameter inf
o
rma
t
ion from
h
ook typ
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpenter
db: add a new tabl
e
whic
h
ho
l
d parameter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Da
n
Carp
e
nter
type: int
r
oduce typ
e
_
to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
D
an
Carpe
n
ter
locking: remove some du
p
licate "
s
o
m
etime
s
lo
c
ked" w
a
rn
i
n
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n C
a
rpenter
generisize
.
pl: fil
t
e
r
s
ome more
s
tuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generesize
.
pl:
c
le
a
nup inde
n
tation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
C
a
r
penter
ranges: a po
i
n
t
er to an
array is just
a
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
extr
a
:
r
ecord global declara
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpente
r
c
o
nditio
n
s: u
p
date s
o
me debug
output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
compari
s
o
n
: intro
d
uce possible_
c
o
m
pariso
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extra: update a
d
e
b
ug state
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arp
e
nter
function_ptrs: track
f
un
c
tions which
r
e
t
urn a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpen
t
er
show_errs
.
sh: quote some strings proper
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpenter
slist: pu
t
get_sm_state_stre
e
_sta
c
k
(
) in the
.
h
file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
states: change the
d
e
b
u
g
o
utput fo
r
mat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
e
nter
st
r
uct_assignment: handle kzalloc(
)
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist: add the file
n
ame t
o
s
om
e
de
b
ug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
f
l
o
w
:
parse gl
o
bal va
r
iables b
e
fore
parsing functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
slist: expo
r
t the set_s
t
ate_stree
_
perm() function to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Ca
r
penter
compari
s
o
n
: a variable is always equal to itsel
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
remove nu
l
l tests for arrays
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Da
n
Carpenter
Makefil
e
: a
l
low CC t
o
be de
f
i
n
e
d outside the makefile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carp
e
nter
si
l
ence non
-
ANSI w
a
rnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan Carpente
r
helper
:
prevent se
g
fault
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
ex
t
ra: improve h
a
ndling
o
f "if (
x
* 4 > 12) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carpenter
missing_bre
a
k: make
a fun
c
tion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan Car
p
enter
d
b
: fix
r
untime bre
a
kage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpente
r
d
ere
f
er
e
nces_param:
a
d
d m
o
re dereferenced vari
a
bl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
an Carpenter
ranges: remove unn
e
eded NUL
L
ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
type_va
l
:
s
t
o
re fake assignments in a s
l
ightly different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n Carpen
t
er
param_set
/
filter: don't print
less use
l
ess information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
d
b
:
fixup a
f
ter
call_im
p
lies chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
p
ar
a
m_cleare
d
: handle d
i
rect assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan
C
arpe
n
ter
db: make call_implies m
a
t
ch caller_info with a key
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
Da
n
Carpenter
smdb
.
p
y
: fi
x
test
f
or
i
f a d
a
tatype i
s
known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Da
n
Carpenter
assigned_expression: get the
a
ss
i
gned expression using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan
Carpenter
rosenb
e
rg:
h
andle struc
t
to s
t
ruct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpente
r
dat
a
/k
e
rn
e
l
.
siz
e
of_p
a
ram
.
r
emov
e
: add __dy
n
amic_pr_debug()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan C
a
rpenter
struct_assignment:
i
ntroduce get_faked
_
exp
r
essi
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
Carpenter
s
tru
c
t_assignmen
t
:
handle memcpy(foo,
.
.
.
) wher
e
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
D
a
n Carpenter
mat
h
: be m
o
re ambitious h
a
ndling
ri
g
ht sh
i
ft
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
D
a
n
Carpen
t
e
r
user_data: kstrtoul() an
d
frien
d
s should
t
a
int data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan
C
ar
p
ent
e
r
extr
a
: more
l
im
i
ts on
which variables
a
re equivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan
Car
p
enter
d
b: ge
t
r
e
t
u
rn states from fun
c
tion pointers if possible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
D
a
n
Carpenter
propagate:
r
emove validation t
e
s
t because we remov
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan C
a
r
penter
sl
i
s
t: int
r
oduce me
r
ge_
f
a
ke_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan
C
arpenter
unreachable: silence "n
o
t actually in
i
tia
l
ized"
f
alse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpe
n
t
er
r
ose
n
berg: fix some false positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Da
n
Carpenter
deb
u
g
:
introduce __smatch_debug_check() to debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Da
n
Carpenter
*new* chec
k
_no_if_block: sometime
s
the if block is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan C
a
rpenter
un
c
onstant_
m
acro
s
: add VM
_
SOFTDI
R
TY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan C
a
rpe
n
ter
t
ype: intro
d
u
ce
is_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carp
e
nter
user_d
a
ta: i
n
troduce i
m
plied_
u
s
e
r_data(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Car
p
en
t
er
rosenberg: refac
t
or match_
c
op
y
_to_u
s
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpenter
rosen
b
er
g
: check many
more fun
c
tions inste
a
d of just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arpenter
ro
s
en
b
erg: ad
d
memze
r
o() t
o
c
l
e
a
r fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpen
t
e
r
p
ara
m
_
clea
r
e
d
:
memzero(
)
c
lears the parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpenter
db: split all boolean fun
c
tio
n
s
i
nto one and z
e
ro
s
t
re
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpent
e
r
clear_buf
f
er
:
remove th
i
s code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
a
rpenter
pa
r
am_
c
leared: this shou
l
dn't
d
epend on -
-
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpent
e
r
locking: update valid
a
t
i
on t
o
the new error format
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nte
r
locking
:
upd
a
te er
r
o
r
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
struct_assignment
:
fix how s
m
atc
h
handles foo
= NULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carp
e
nter
rosenberg: prepa
r
e
t
o check
p
oi
n
ters
t
o structs as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpente
r
rosenbe
r
g: check fo
r
holes at the end of the stru
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
ros
e
nberg: this check
is
k
ernel specific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpe
n
ter
unreacha
b
le: turn it on b
y
defau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n C
a
r
pen
t
er
helper: in
t
roduce get_prev_st
a
t
ement() (fix the build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpente
r
unreachable: add
watchdo
g
() to
k
ernel
.
no_
r
e
t
urn_funcs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arp
e
nter
unreachable
:
d
on't
p
rint a
warn
i
ng if w
e
jump to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
unreachable
:
ignore
unreachable code r
i
ght aft
e
r an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpen
t
er
unreachable: turn o
f
f backward
labeled warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreach
a
ble: add som
e
more macros
t
o the
.
ignore a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: me
r
ge
c
o
ntinues
befor
e
the it
e
r
at
o
r_po
s
t_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flo
w
: ha
n
dle post op retur
n
st
a
tements like
:
retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreac
h
able: ignore so
m
e conditionally unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreachable: ignore common fal
s
e
posi
t
i
ves cau
s
ed by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unreachable: ignore unrea
c
hable
cod
e
a
f
ter BU
G
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unreachable: move
it out of sma
t
ch_flow
.
c a
n
d smatch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
avl: fix failing "stre
e
->
s
tree_id == 0" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpe
n
ter
ov
e
rflow:
don't warn if we overflow
u
se buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpente
r
smatch
_
type
:
never refer
t
o ->bit_size directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
D
a
n Carpen
t
er
d
b: function
with too many pointers
to it cause slow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db: r
e
name db_callback
to caller_inf
o
_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n Carpenter
propagate: delete t
h
i
s test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next