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 Carpenter
smdb
.
py:
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 Carpent
e
r
a
ssig
n
ed_
e
xpression: get the ass
i
gned expression using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpe
n
te
r
r
o
senberg: handle struct to struct as
s
i
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Da
n
Carpenter
data/
k
ernel
.
sizeo
f
_par
a
m
.
remove
:
a
d
d __dynamic_pr_
d
eb
u
g()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Da
n
C
a
rpenter
s
t
ruct_assignment:
int
r
oduce get_faked_exp
r
ession(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carp
e
nt
e
r
s
t
r
uct_assignmen
t
: h
a
n
dl
e
memcpy
(
foo
,
.
.
.
) where foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Ca
r
pent
e
r
math: b
e
m
o
r
e
a
m
bitious ha
n
dling right shifts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpe
n
ter
user
_
data
:
kstrtoul() and friend
s
sho
u
ld taint d
a
t
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
extra:
more limits on which variables are equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan C
a
r
p
enter
db: ge
t
r
eturn states
f
r
om func
t
ion point
e
rs if
p
ossible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan Car
p
enter
propagate: remove validation test
b
ecause we
r
emoved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
D
an C
a
rpente
r
slist: introduce mer
g
e
_fake_s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpen
t
er
unreac
h
able: si
l
ence "
n
ot act
u
all
y
initi
a
lized" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carp
e
n
t
er
rosenb
e
rg: fix some false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
D
an Carpen
t
er
de
b
ug:
i
ntrod
u
ce
_
_smatch_debug_c
h
eck() t
o
debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Car
p
e
nter
*new* check_no_if_block: s
o
m
e
times the if block
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan C
a
rpe
n
ter
u
nc
o
nstant_macros: add VM
_
SOFTDIR
T
Y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
type: introduce
i
s
_
string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan
Carpenter
u
s
e
r_data: introduce impli
e
d_user
_
data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
C
a
rpenter
ro
s
enberg: re
f
actor
m
atch_copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: check many
m
ore functions instead of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rose
n
berg
:
a
d
d memze
r
o() t
o
clear
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan C
a
rpenter
param_cleared: memzero() clears th
e
parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Car
p
ente
r
db: split all
b
o
o
lea
n
fun
c
tion
s
i
n
to on
e
and zero s
t
ree
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpenter
clear_buffer: rem
o
ve this
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
an
Carpenter
p
ara
m
_cleared: this shouldn't
de
p
e
n
d
on --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking: u
p
date
validation to
t
he
new
er
r
o
r
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking: upda
t
e error f
o
rmat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
s
t
ruct_a
s
s
i
gnment: fix how sm
a
tch handles
f
o
o = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
rosenberg: pr
e
pare to ch
e
ck pointers to s
t
ructs as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpenter
ro
s
enberg: check
f
or holes at
the end of the struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpenter
rosenberg: t
h
i
s check is
k
ernel
specific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Ca
r
pen
t
er
unreachable:
t
urn it o
n
b
y default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
helper: introd
u
ce ge
t
_p
r
ev_statement(
)
(fix the build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
un
r
e
achable
:
add watchdog()
to kernel
.
no_return_
f
uncs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpe
n
t
er
unreachable:
don't prin
t
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 C
a
rpenter
un
r
ea
c
hable:
ignore unrea
c
hable code
right after
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpe
n
t
e
r
unreachable: turn off backward labeled wa
r
nings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Ca
r
penter
unr
e
achable:
a
dd some more macros to the
.
ignore a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
C
arp
e
nter
f
low:
merge cont
i
nues before the iterato
r
_post_st
a
tement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: handle
post op
return st
a
tements like: r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
n
t
er
unreach
a
b
l
e:
i
gnore some
c
o
n
d
i
t
i
o
n
ally unreachable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unreach
a
ble: ignore
c
omm
o
n fals
e
positives ca
u
sed by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
unreachab
l
e: ignore
unr
e
achable code after BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Car
p
en
t
e
r
u
nreachabl
e
: move
i
t out of
s
matc
h
_flow
.
c and smatch_stat
e
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
avl:
f
ix
f
a
ilin
g
"stree->
s
tree_id == 0"
assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
D
a
n Carpenter
o
ver
f
l
o
w: do
n
't warn if w
e
o
verfl
o
w use buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan
Carpenter
sm
a
tch_type: never r
e
fer to ->bi
t
_size
d
i
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
D
an Carpenter
db: function wi
t
h too
many point
e
rs to 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
c
al
l
er_info_callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpent
e
r
pro
p
agate: delete this
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpen
t
er
stored_conditions: don't
stor
e
co
n
stants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carp
e
nte
r
Merge git
:
//git
.
k
ernel
.
org/pub/s
c
m/devel/sparse/chri
s
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
states: a
d
d a
n
othe
r
r
e
ad_only check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Car
p
enter
missing_
b
reak: use fewer sta
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpe
n
ter
avl:
a
dd a
counter for when y
o
u allocate
o
r free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
Carpenter
sl
i
st, r
e
turns: introd
u
ce merge_stree_no
_
pools()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
arpenter
uncons
t
ant_
m
acros: allow (foo &
_
PAGE_NX) even when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
b
u
f_size: all
o
w st
r
ncmp
(
"foo", bar
,
1
00) wh
e
re 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpenter
param_set: only record
p
a
r
ameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carp
e
nter
e
xt
r
a: ignore struct to str
u
c
t
assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
C
a
r
penter
impl
i
ed:
a
dd t
h
e stree_id to debug
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arp
e
nter
clea
r
_buffer: delete an unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an
C
ar
p
enter
cl
e
ar_buffer: delete obsolete c
o
d
e
to handle struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
comparison: don't record
t
hat
act
u
al
s
tructs
a
re
e
quivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Car
p
e
nter
ass
i
gn
e
d_expr: d
o
n't sto
r
e f
a
ke
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
Carpen
t
er
debug:
chan
g
e __sma
t
c
h_cur_slist() to __s
m
atch_cur_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
D
a
n Carpenter
states: don't
_
_unnullify_path unnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Da
n
Ca
r
p
e
nter
implied: smatch was s
a
ying somethings we
r
e implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Ca
r
penter
s
tree: fi
x
a bunch of
s
tree
l
eaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan
Carpent
e
r
states:
merg
e
n
ul
l
ify_
a
ll_states() into sa
v
e_a
l
l_states
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
stree: make st
r
ees
c
opy on
write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
stree: move str
e
e_id
int
o
the avl r
o
ot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slist:
r
ename slis
t
_id t
o
stree
_
id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
avl: i
n
trod
u
ce F
O
R_EACH_MY_
S
M() and
c
a
l
lers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Car
p
enter
k
unmap:
update validation file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
flow: fixes
f
or hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Carpenter
extra: fix unkn
o
wn +=
a
ssi
g
nment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
implied: add a ne
w
li
n
e
t
o output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
stored_conditions
:
st
o
re com
p
arisons
and not logicals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
db: fix nes
t
ed call h
a
ndlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
Carpenter
kunmap: tidy
u
p
e
rror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpenter
con
d
itio
n
s
:
fix som
e
leaks
i
n
h
andle_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
slist
:
fix
a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stree
f
allout:
i
mplicati
o
ns not workin
g
100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
sta
t
e
s: rename f
a
ke
_
c
ur_slist f
u
nctions to fake_cur_stre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
states: rename __p
r
int_cur_
s
li
s
t() to __print_cur_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
avl: rename av
l
_
f
ree() to free_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: r
e
name avl_co
u
nt()
to stre
e
_
c
o
unt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: us
e
struct stre
e
instead
o
f making it a ty
p
e
de
f
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
avl:
r
ename
s
truct AVL to struct str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl
:
rename avl_clone
t
o clone
_
s
tree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Ca
r
pe
n
ter
sli
s
t: delete slist compat layer
a
nd remaining unused
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states:
elim
i
nate r
e
mai
n
ing ref
e
rence
s
to __g
e
t_cur_
s
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
states:
r
emove som
e
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpent
e
r
slist: remove
a
bunch of
u
nused slist func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
e
r
core: change (
s
truct
s
m_stat
e
)
-
>pool to be
a s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
star
t
_s
t
a
t
es:
upd
a
te get_start_states(
)
t
o
use
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Carpent
e
r
returns: update all_ret
u
r
n
_stat
e
s_ho
o
k
() t
o
stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
an Carpente
r
type
_
v
al: update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next