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
extra: update a debug statement
2014-08-29
Dan Carpenter
e
xtra
:
update
a
d
e
b
u
g s
t
atement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
function_ptrs:
trac
k
functions which r
e
turn a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carp
e
nter
s
h
o
w
_e
r
rs
.
sh:
q
uo
t
e
some strings prope
r
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpente
r
slist: pu
t
g
e
t_sm_sta
t
e_stre
e
_stack() in th
e
.
h file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
pente
r
s
t
ates: change th
e
debug outpu
t
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
p
e
nter
s
t
r
u
c
t
_assignment
:
handle
kza
l
loc() better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
slist: add the filena
m
e to some
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
a
rpenter
flow
:
pa
r
se glo
b
a
l
v
ariables before parsing functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an Carpente
r
sl
i
st
:
expor
t
the set_stat
e
_st
r
ee_p
e
rm() func
t
ion to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
comparison: a vari
a
ble is
al
w
ays equal to itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Da
n
C
arpe
n
t
e
r
remove null tests for
a
r
r
ays
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan C
a
rpenter
Makef
i
le: allow CC t
o
b
e
defined outside the makefile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan
C
a
r
penter
sile
n
ce non-ANSI
w
arn
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan Carpenter
helper: p
r
ev
e
nt se
g
fault in e
x
pr_
t
o_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
D
a
n Carpen
t
er
ex
t
ra: i
m
prove
h
andling of "if
(
x
* 4 > 1
2
) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carpenter
missing_bre
a
k: make a function sta
t
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan Car
p
enter
db: fix runtim
e
br
e
akage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
D
an Carpenter
dereference
s
_param: add more der
e
fe
r
enced
var
i
ables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan
Carpenter
r
anges: remov
e
u
n
needed N
U
LL ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
type
_
val:
store fake assignme
n
ts in a sl
i
ghtly differen
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan C
a
rpenter
p
aram_set/
f
ilter: don't print less u
s
e
l
e
s
s informat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
db: fixup
after call_implies c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
D
an Carpen
t
e
r
param_cle
a
red:
handle direct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
db: make call_implie
s
m
atch calle
r
_inf
o
w
i
th a key
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
Da
n
Car
p
enter
smdb
.
p
y: fix te
s
t for if
a datatype
i
s know
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Ca
r
penter
assigne
d
_expr
e
ssion: get the ass
i
gned expression using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
D
a
n Carpenter
rosenb
e
rg: han
d
le struct t
o
st
r
u
ct assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
data/kernel
.
sizeof_para
m
.
remove:
add __d
y
na
m
ic_pr_
d
ebug(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
s
tru
c
t_assignme
n
t: introduce get_faked_exp
r
ession()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpente
r
struct_assign
m
ent: h
a
nd
l
e memcpy(foo,
.
.
.
) where foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carp
e
nt
e
r
m
a
t
h: be more ambitious handling right shif
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Da
n
Carp
e
nter
u
s
er
_
data: kst
r
to
u
l() and friends
should taint d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
D
an Carpente
r
extra:
m
ore limits o
n
whi
c
h variables are equiv
a
lent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan Car
p
ente
r
db: get
r
eturn sta
t
e
s
from function pointers
if
p
ossible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpenter
pro
p
aga
t
e: remove valid
a
tion test because
w
e r
e
mov
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpe
n
ter
slist:
i
n
t
roduce
merge_f
a
ke_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Car
p
ent
e
r
unreach
a
ble: silence "not ac
t
ually
initialized" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
D
an Carpenter
rosenbe
r
g: fi
x
some
false p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpenter
debug:
in
t
roduce __sma
t
ch_debug_check()
t
o d
e
bug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*ne
w
* check_no_if_block: someti
m
es the if
bl
o
ck i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan
C
arpente
r
unconstan
t
_macros: add VM_SOFTDIRTY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
Carpenter
t
ype: introduc
e
is_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
use
r
_data:
introduce imp
l
ied_us
e
r_
d
ata()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
r
ose
n
ber
g
:
r
efactor match_copy_to_user
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carpen
t
er
ros
e
nbe
r
g: check many more function
s
ins
t
ead
o
f just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
rosenberg: add
m
e
m
ze
r
o() to
c
l
ear functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Da
n
Carpen
t
er
param_cleared: memz
e
ro(
)
cl
e
ars t
h
e parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpen
t
er
db:
sp
l
it all bool
e
a
n
f
u
n
c
tions into
on
e
a
nd z
e
ro s
t
rees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan
C
arpenter
clear_buffer: remove this code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpente
r
p
a
r
a
m_cleared: th
i
s shou
l
dn't
depend on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
lo
c
king: update validation to th
e
new error formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
enter
lockin
g
: upd
a
te error fo
r
mat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
ter
struc
t
_assignment: fix how s
m
atc
h
han
d
les f
o
o
=
NU
L
L;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
r
osenberg: prepare to check p
o
inters to structs as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpente
r
rosenb
e
rg
:
check for holes at the
e
nd of the str
u
ct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenberg: this check is ker
n
el specific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
a
rpenter
unreach
a
ble: tu
r
n it
o
n by defau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
helper
:
i
n
troduce get_prev_
s
tat
e
ment() (
f
ix the build)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unreachable: add watchdog() to kernel
.
no_ret
u
r
n
_funcs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreach
a
ble: don't print a warni
n
g if
w
e jump to
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpe
n
t
e
r
unreachable: ignore u
n
re
a
chable co
d
e rig
h
t after an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpenter
unreac
h
abl
e
: turn
o
ff backward la
b
e
l
ed warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
u
nreach
a
ble:
a
d
d
som
e
more macros to t
h
e
.
ign
o
re and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
flow: merge continues before
the iterator_po
s
t_
s
t
atement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flo
w
:
h
andle
post
o
p
return stateme
n
t
s
l
i
ke: return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
u
n
reachable
:
ignore s
o
me cond
i
tional
l
y unrea
c
hable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
ente
r
unreachable:
i
gnore comm
o
n
f
alse p
o
sit
i
v
e
s
cau
s
ed by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arp
e
nter
unreachable: ig
n
ore unrea
c
habl
e
code af
t
er BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: move it out of smat
c
h_flow
.
c and smatch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpent
e
r
avl: fi
x
failing "stree->stree_id
== 0" a
s
sert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Ca
r
pe
n
ter
overflow: don't warn if we overflow use buff
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
D
a
n Carp
e
nter
smatch_type: never
r
e
fer t
o
->bit_size
d
i
r
ect
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan
Ca
r
penter
d
b
: function with t
o
o many pointers to it
cause
slo
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan C
a
r
p
ent
e
r
db
:
r
ename db_callback to c
a
ller_info_c
a
ll
b
ack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carp
e
nte
r
propagate: delete this tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
an Ca
r
p
ent
e
r
s
t
or
e
d_co
n
ditions: don
'
t store
const
a
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
M
e
r
g
e git://git
.
kernel
.
org/p
u
b
/scm/
d
e
ve
l
/sparse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carp
e
nte
r
s
tates: add
anot
h
er read
_
only
c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
missing_break
:
use
fewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
a
n
C
arpenter
av
l
: ad
d
a c
o
u
nter for
w
hen you allocate or
f
ree a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpent
e
r
s
l
i
s
t, returns: introduce merge_stree_no_pool
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
unconstant_macros
:
allow
(
fo
o
& _P
A
GE_NX) even when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
C
arpenter
buf_
s
ize: allo
w
strncmp(
"
foo", bar
,
100
)
where
100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n
Carpenter
param_set
:
only record
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
ex
t
ra: ig
n
ore st
r
uct
to struct assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpent
e
r
im
p
lied:
add the stree_id
t
o d
e
bu
g
outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Ca
r
penter
clear_
b
uffer: delete
an u
n
u
s
ed
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Car
p
e
n
t
e
r
clear_buffer: delete obsolete
c
ode t
o
h
a
n
dle struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpen
t
e
r
c
omparison: d
o
n't rec
o
rd that actual s
t
ructs are equivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpe
n
ter
assi
g
ned_e
x
pr: don't store fake a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
d
e
bug: change __smatch_cur
_
sl
i
s
t
() to __smatc
h
_cur_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
D
an Carp
e
n
ter
states
:
don
'
t __unnullify_pa
t
h unnecessari
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpenter
implied: smatch was sayi
n
g somethings were impl
i
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
D
an Carpenter
stree: fi
x
a bunch of
s
t
ree leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpe
n
ter
state
s
: merge nullify_all_states()
i
nto
s
a
ve_all_st
a
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
stree
:
make
strees copy on wr
i
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Ca
r
penter
stree:
move stre
e
_id int
o
the
a
vl root
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpente
r
s
l
ist:
rename slis
t
_id to stree_id
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
avl: introduce F
O
R_EACH_MY
_
S
M
() and
c
allers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-02-27
Dan C
a
rpenter
k
unmap: update va
l
idation
f
ile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next