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
smdb.py: fix test for if a datatype is known
2014-06-18
Dan Carpen
t
er
smdb
.
p
y:
f
ix test for if a datatype is known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carp
e
nter
ass
i
gned_
e
xpress
i
on
:
g
e
t the a
s
si
g
ne
d
expression u
s
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
rosenb
e
r
g
: handle struct
to st
r
uct
a
ssi
g
nme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan
Carpent
e
r
da
t
a/
k
ernel
.
sizeof_pa
r
am
.
remove:
add __dynamic_
p
r
_
debug(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
struc
t
_
a
s
signm
e
nt: introduce
get_faked_expres
s
ion
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan
Carpenter
str
u
ct_as
s
ignm
e
nt: h
a
ndl
e
memcpy(foo,
.
.
.
) whe
r
e
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
Car
p
enter
math
:
be more ambitiou
s
handling ri
g
ht shift
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Da
n
Carpenter
user_dat
a
: kstrtoul() and friends
s
hould taint data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan C
a
rpent
e
r
e
xtra:
more l
i
mits o
n
which va
r
iables are equ
i
valent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
D
a
n Carpent
e
r
db: get return states from
f
un
c
t
io
n
pointers if
possi
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
D
an C
a
rpenter
propagat
e
: remove
validation
t
est be
c
ause we remo
v
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan
C
arpente
r
s
l
i
s
t:
i
ntroduce merge_fake_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
a
n Carpent
e
r
unreachable
:
sil
e
nc
e
"not actually initiali
z
ed" fals
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan
Carpenter
rosenberg
:
fix some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan
Carpenter
debug: introduce _
_
s
match_debug
_
check() to debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*new* check_no_
i
f_block:
so
m
etimes the if block
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Da
n
C
a
rpenter
unco
n
stant_
m
acros: add VM_SOF
T
DIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
type:
int
r
o
duc
e
is_string
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpent
e
r
user_
d
a
ta: intro
d
u
c
e i
m
plied_us
e
r
_da
t
a()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rose
n
berg: r
e
factor ma
t
ch_copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carpenter
rosenberg
:
check ma
n
y mo
r
e f
u
nctio
n
s in
s
t
e
ad of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Car
p
enter
rosenberg: ad
d
memzero() to c
l
ear func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpen
t
e
r
param_c
l
ea
r
ed: me
m
zero() clears
t
h
e parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpenter
db:
split
all boolean functions into
o
ne
a
nd zero str
e
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Da
n
Carpenter
c
l
e
ar_b
u
ffer: remove thi
s
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
p
a
ram_cleared:
this shouldn't
d
e
p
e
n
d
o
n
--info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
loc
k
ing
:
update v
a
l
i
dati
o
n
to the new error fo
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locki
n
g: u
p
d
a
te error forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Car
p
e
nt
e
r
s
t
r
uct_assignment: fix
h
o
w smatch han
d
les foo = NULL
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
ro
s
e
n
berg
:
prepare to ch
e
ck pointers to
s
truc
t
s as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
rosenbe
r
g
: check for holes
a
t the end of th
e
struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n
Carpe
n
ter
rosenb
e
r
g
: thi
s
ch
e
ck is
k
ernel s
p
ecific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreachable: t
u
rn
i
t on by defau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
helper: intro
d
uce get_prev_s
t
atement()
(f
i
x the build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an
C
arpenter
u
nreac
h
a
ble: add watc
h
do
g
() to kernel
.
no_return_fu
n
cs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carp
e
n
t
er
unre
a
cha
b
le: d
o
n
't print a wa
r
nin
g
if
w
e
j
ump t
o
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: ign
o
re
unreachable code rig
h
t aft
e
r an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
unreachable: tu
r
n off backward l
a
beled warn
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
n
reachable: add
s
om
e
more macros to the
.
i
gnore and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
f
low: merge continues before the i
t
erator
_
post_statemen
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
e
r
flow
:
h
a
ndle post op
r
eturn statements like
:
r
etur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
unreachable: i
g
nore so
m
e
c
onditionally un
r
e
a
c
hable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable:
ignore common f
a
lse positi
v
e
s
caused by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
unreachable: igno
r
e unre
a
c
h
able
cod
e
a
fter BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
r
penter
u
nreac
h
able: move it ou
t
of smatc
h
_flow
.
c and smat
c
h_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
D
an
Carp
e
nter
avl:
fix failing
"
s
t
ree->stree_id =
=
0"
assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
D
a
n Carpenter
overflow: don't warn if
w
e ove
r
flow use buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
smat
c
h_ty
p
e: never refer to ->bit_s
i
ze directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpent
e
r
db: f
u
n
ct
i
on with too many pointers
t
o
it cause slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db:
r
ename db_callback to caller_info_cal
l
back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n Ca
r
penter
p
r
opagat
e
: del
e
te this test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
stored_c
o
nditions: don't store constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
Mer
g
e git://git
.
kernel
.
o
rg/pub/scm/d
e
vel/
s
par
s
e/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
states
:
a
d
d
anothe
r
read_on
l
y
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
missing_break:
use fewer
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
a
vl:
a
dd a counter for wh
e
n you alloc
a
te or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
slist, ret
u
r
n
s
:
i
ntr
o
duce merge_st
r
ee_no
_
pool
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
r
penter
uncons
t
ant_
m
acr
o
s
:
all
o
w (f
o
o
&
_PAGE_NX) even when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
buf_si
z
e: al
l
ow s
t
r
ncmp(
"
fo
o
",
bar, 100) where 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpent
e
r
param_set: only rec
o
rd
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
extra:
ign
o
re struct to struct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpen
t
er
implied: add the s
t
ree_id to debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
clear_buffer: delete
an unused func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an Carpente
r
clear_buffer: delete obsolete code t
o
h
andle struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
c
o
mparison: don't record that actual
structs are equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arp
e
nter
a
ssign
e
d
_
expr: don't st
o
re fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
deb
u
g: c
h
ange __sm
a
tch_cur_slist() to __s
m
a
t
ch_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan
Carpente
r
st
a
tes
:
don't __unnullify
_
path
u
nnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpen
t
er
impli
e
d: sm
a
tch w
a
s sayi
n
g somethin
g
s we
r
e imp
l
ied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan
C
arpe
n
ter
s
t
ree
:
fix a bunch of str
e
e le
a
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
st
a
t
es: merge nu
l
li
f
y_all
_
states(
)
into save_all_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
str
e
e: m
a
k
e
stree
s
c
opy
on wri
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
s
t
ree: move stree_id into the avl root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
ar
p
enter
slist: r
e
n
ame
slist_id
to stre
e
_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpe
n
ter
avl: in
t
r
o
duc
e
FOR_
E
ACH_
M
Y
_
S
M() and callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
k
u
nmap: update validatio
n
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
flow: fixes for hairy func
t
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
extra: fix unknown +=
ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
implied: ad
d
a new
l
i
ne to output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stored_con
d
itions: store comparisons and not logicals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an
C
arpente
r
db: fix
n
est
e
d c
a
ll
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
k
u
nmap: tidy up error m
e
ssa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
con
d
i
t
io
n
s
: fi
x
some leaks in ha
n
d
le_select
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
s
l
ist: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
s
t
r
ee fal
l
out
:
implications
n
ot working 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
s
t
at
e
s: ren
a
me fake_cur_slist
f
unctions
t
o
fake_
c
ur_s
t
re
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states
:
rename __prin
t
_cur_slist(
)
to __print_cur_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
r
penter
avl:
r
ename avl_free() to fre
e
_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
avl:
r
en
a
m
e
avl_count() to
s
tree_co
u
nt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: use s
t
ruct
stree instead of making it a ty
p
edef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Car
p
enter
avl: rename struct AVL to struct stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
r
pent
e
r
a
v
l: rename avl_clone to
c
lone
_
stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
slist: delete slist compat layer and remaini
n
g u
n
u
s
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
st
a
tes: el
i
minate remaining re
f
erences
t
o
__get_cu
r
_
slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Ca
r
p
enter
states: remove some dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpente
r
slist:
remove a
b
unch
of unused slist
functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpenter
cor
e
: ch
a
nge (
s
tru
c
t sm_st
a
te)->pool to be a
s
tr
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
ta
r
t_stat
e
s: update get_start
_
states() to use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpe
n
t
e
r
returns
:
up
d
ate all_re
t
urn_states_
h
ook() to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an
C
a
rpente
r
type_val: update t
o
st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next