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
math: be more ambitious handling right shifts
2014-05-29
Dan C
a
rpenter
m
a
th: b
e
more ambitious ha
n
dli
n
g
ri
g
ht shi
f
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
D
an Carp
e
n
t
er
u
ser_data: kst
r
toul
(
) and
f
r
iends
s
hould taint data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Da
n
Carpent
e
r
extra: more limits o
n
which variables are equ
i
valent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
D
an Ca
r
penter
db: g
e
t return states from
f
un
c
ti
o
n
p
ointe
r
s if possible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan Ca
r
penter
propaga
t
e:
r
e
move validation
test because we r
e
move
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
s
l
ist
:
introd
u
ce mer
g
e_
f
ake_
s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan C
a
rp
e
nter
unrea
c
hable: sil
e
nce "not actually
i
nitial
i
zed
"
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpe
n
t
e
r
ro
s
enberg:
f
ix some
f
alse p
o
sitive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpenter
debu
g
:
i
n
trodu
c
e __smatc
h
_debug_c
h
e
c
k() t
o
debu
g
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carp
e
nter
*new* check_n
o
_if_blo
c
k:
s
omet
i
mes the
if block is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan Ca
r
penter
unconstant_m
a
cros: add VM_S
O
FTDIRTY
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Car
p
en
t
er
type: introduce i
s
_st
r
ing()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
us
e
r
_
data: intr
o
duce i
m
p
l
i
ed_u
s
e
r
_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arpenter
rosen
b
erg: r
e
f
a
cto
r
match_
c
opy_to
_
user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpent
e
r
rosenberg: check many more fun
c
tions in
s
tead of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Car
p
ente
r
rosenberg:
a
dd
memze
r
o() to clear f
u
n
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Ca
r
penter
pa
r
a
m_cleared: me
m
z
ero()
clear
s
the
para
m
eter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
db:
s
plit all boolean functi
o
ns i
n
t
o
one and zero strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carp
e
nter
c
lear_buffer:
remove this code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpen
t
er
param_cleared: this sho
u
ldn'
t
d
e
pend o
n
--inf
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking: update validat
i
on t
o
t
he ne
w
error
fo
r
m
a
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locki
n
g: update error format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpenter
struct_assignment: fix h
o
w
sm
a
t
c
h handles foo = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpente
r
r
osenberg: prepare
to check point
e
rs
t
o st
r
u
cts as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
r
osenb
e
rg: 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
a
rpen
t
er
rosen
b
e
rg: t
h
is check
is kernel specific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
unrea
c
hable: turn it on by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
helper:
i
ntroduce
get_prev
_
st
a
tement(
)
(fix the build)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpenter
unreachable
:
add
watchdog
(
) to
k
ernel
.
no_return_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
nr
e
ach
a
ble:
d
on't print
a warning if
w
e
ju
m
p t
o
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
u
n
r
e
achable:
i
gn
o
re unreachable code rig
h
t after an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpente
r
unreachable: turn off backwar
d
l
a
beled w
a
rn
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
unreach
a
b
le: add some more macros
to t
h
e
.
ignore and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpe
n
ter
flo
w
: merge conti
n
ues befor
e
the
i
terator
_
post_statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
C
a
r
p
enter
flow: handle
post op return sta
t
ements like:
r
e
tu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: ignore some conditional
l
y unreachable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
u
n
reachab
l
e
:
i
gnore common fals
e
positives caused by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Ca
r
pent
e
r
un
r
eachable
:
ignore un
r
ea
c
hable cod
e
after BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n C
a
rpenter
unr
e
achable: move i
t
out
o
f
sma
t
c
h_flow
.
c and smatch_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
D
an
C
arpent
e
r
av
l
: fix fail
i
n
g
"
stree->stree_id == 0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpen
t
er
overf
l
ow
:
don't
w
arn if we overflo
w
use buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
smatch
_
type: never re
f
er to ->bit_size dire
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Da
n
Carpenter
db:
f
unction w
i
th t
o
o many pointers to it cause s
l
ow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
D
an
C
arpenter
db: rename d
b
_callback to
c
all
e
r_
i
nfo_callba
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpen
t
er
p
ropagate: del
e
te t
h
is
t
est
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Da
n
Carpenter
st
o
red_conditions: don't s
t
ore c
o
n
s
tants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpente
r
M
e
rg
e
git://git
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpent
e
r
s
ta
t
es: add another re
a
d_only chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
missing_break: u
s
e
fewer sta
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
C
arpe
n
ter
avl: add a counter
f
o
r
when y
o
u a
l
locate or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
slist, returns:
in
t
r
o
duce merge_stree_no_po
o
ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
rpenter
unconstant_macro
s
:
allow (foo &
_
PAGE_NX) even whe
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
b
u
f_siz
e
: allow strncmp("foo", bar
,
100)
wh
e
re 10
0
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
ter
param_set: onl
y
record para
m
eters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
extr
a
: i
g
n
o
re struct to struct assig
n
me
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
i
m
p
lied: add the stree_id
t
o
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
clear_buffer
:
delete an un
u
sed func
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carp
e
n
t
er
clear_buffer: delete obs
o
lete code to handle
str
u
ct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
compari
s
o
n
: don't
record that actual structs a
r
e e
q
uivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
C
a
rpenter
a
ss
i
gned_expr: don't store f
a
ke as
s
ignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Ca
r
penter
debug: ch
a
nge __smatch_cur
_
slist() to __smatch_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
s
tates: don't __
u
nnullify_path
u
nnecessarily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Da
n
Carpenter
im
p
lied: sm
a
tc
h
was say
i
ng somethings wer
e
i
m
p
l
ied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpe
n
ter
stree
:
f
i
x a bunc
h
of stree leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan
C
arpen
t
e
r
s
tates:
m
e
rge
n
ullify_all_state
s
() into save_all_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
s
t
ree: make
str
e
es copy
o
n write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
pe
n
t
er
stree: m
o
ve stree_id
into the
avl ro
o
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
s
list:
re
n
ame
s
list
_
id to stree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
a
v
l:
i
ntroduce
F
OR_E
A
CH_MY_SM()
a
nd call
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpen
t
e
r
ku
n
map: update validation file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
flow: fixes for hairy funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
n
t
er
extra: fix unknown += assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Car
p
enter
i
m
plied: add a new
l
ine
to output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stored_cond
i
tions: store compari
s
o
ns and not
log
i
cals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
db:
f
ix
ne
s
ted call handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
arp
e
nter
kunmap: tidy
up error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
conditions: fix some leaks
i
n
handle_select()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
a
r
penter
sli
s
t: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
s
tree fa
l
l
out: implications
no
t
working 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpenter
s
tates: ren
a
m
e fake
_
cur_slist
functions
t
o fake_cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
C
a
rpenter
states: ren
a
me __print_cur_s
l
ist
(
)
t
o
__pri
n
t_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl: rename avl_free() to free_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
avl:
rename av
l
_coun
t
(
)
t
o
stree_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
er
avl: use struct stree instead of
m
aking it a typedef
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
a
vl: rename
s
t
r
uc
t
AV
L
to s
t
ruct stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Ca
r
penter
avl:
rename av
l
_clone to
c
lon
e
_str
e
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
s
list: delete slist compat layer and r
e
maining
u
nused
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
arpente
r
states:
e
l
iminate rem
a
inin
g
referen
c
e
s
to __get_cur_slist
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
states: remove some
d
ead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
sli
s
t:
rem
o
ve
a
bu
n
ch of unu
s
ed sl
i
s
t functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carp
e
nter
cor
e
: change (struct sm_stat
e
)->pool to be
a st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Car
p
en
t
er
start_states:
updat
e
get_start_sta
t
es(
)
to use stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n C
a
r
penter
r
e
turns: u
p
date all_
r
etur
n
_s
t
ates
_
hook
(
) to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpenter
type_val: update to s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n Ca
r
pen
t
er
star
t
_st
a
tes:
p
ar
t
ial update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
ma
t
ch_return
s
:
partial update to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
D
a
n C
a
rpenter
pa
r
a
m_set:
u
pdate
t
o stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpen
t
e
r
param_li
m
i
t:
u
pdate to stree
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpente
r
param_f
i
lter
:
update t
o
s
tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpent
e
r
param_cl
e
are
d
: up
a
te
to stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next