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
introduce: get_dinfo()
2010-01-08
D
an Carpenter
i
ntroduce:
get_dinfo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
che
c
k_o
v
e
rflow: handle addr
e
ss
e
s differentl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carpente
r
smatch_ext
r
a: clean up
.
s
tate
c
a
n never be &merged
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Car
p
enter
che
c
k_over
f
l
o
w
:
ignore t
h
e last member of structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
an Carpenter
smatch_e
x
tra: I don'
t
like empty
ranges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Car
p
enter
add smatch_sc
r
ipts/gen_array
_
b
o
un
d
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpen
t
er
smatch
_
data
/
kernel
.
array
_
bounds
.
r
e
mo
v
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-08
D
a
n Carp
e
nter
ch
e
ck_overflow: an an "error: " prefix to
a
printf
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
sm
a
tch_
s
c
ripts/
s
how_unr
e
ach
a
ble
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpenter
new script: show_ifs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
introduce gettin
g
_address()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
update smatc
h
_scripts/ be
c
ause of --info format cha
n
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpe
n
te
r
check of
f
s
et after use: i
g
nor
e
foo =
&a
r
ray[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
c
heck_ov
e
r
f
l
o
w:
mov
e
some more stuff und
e
r the
--info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpen
t
er
c
lean
u
p output: warning: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
modificat
i
on_
h
ook: -- and
+
+ are m
o
di
f
i
cations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpenter
It
m
akes sense to check an ar
r
ay offset
if it has b
e
en
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpent
e
r
check_
o
verflow: separate the t
w
o types of states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpent
e
r
Fix
p
recedence/crash
i
ng bug che
c
k
_
overflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
check_overflo
w
:
c
heck for limiting offset after u
s
ing it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
i
n
troduce all
o
c_st
a
t
e_num()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Da
n
C
a
rpenter
c
l
eanup
:
rename alloc_s
t
a
t
e()
=
> al
l
oc_sm_st
a
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Da
n
C
a
rpe
n
ter
introd
u
ce get_fuzzy
_
m
a
x
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carp
e
nt
e
r
c
all_tr
e
e
.
pl: m
a
ke it an int
e
ract
i
v
e
p
r
ogram
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
c
r
eate get_
i
mp
l
ied_rang
e
_
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
D
an Car
p
enter
sm_info:
fix f
o
rmatting
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan
C
arpent
e
r
cal
l
tree: initial upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan C
a
rpente
r
dma on stack:
mo
v
e data to smatch_d
a
ta/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
D
a
n Carp
e
nt
e
r
trace_params
.
pl: rewrote
so it's faste
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
ente
r
ad
d
--
p
aram-mapper back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpe
n
ter
cleanup up option pars
i
ng a lit
t
le
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
ter
add
o
ption: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
r
p
enter
r
edo how optio
n
s a
r
e par
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Car
p
e
nt
e
r
cleanup
:
debug_implied_sta
t
es => opti
o
n_
d
eb
u
g_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
cleanup: deb
u
g_states => option_debu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
pe
n
ter
param_
m
apper: add --para
m
-m
a
pper option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
nter
d
m
a
o
n stack: eliminate so
m
e
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add dma function
s
t
h
at
map to usb_control_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
a
dd sm
a
tch
_
script
s
/trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
a
r
penter
param_map
p
er: initial commit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an
Car
p
e
nter
dma_on_stack:
&
foo means it's
a
n
error too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpen
t
er
u
pdate smatc
h
_data to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Carpenter
check_overflow: fix crashing
b
ug (d
i
v
ide by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpenter
c
heck
_
overflow: fix c
r
ashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Ca
r
penter
add a chec
k
for
p
assin
g
sta
c
k
v
ariable
s
to dma function
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpen
t
e
r
check_used_returns:
ignore
i
nb, in
w
,
and
inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n Carpenter
upd
a
te v
a
lidation tests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n Carpenter
check
_
overflo
w
: handl
e
arrays inside st
r
uc
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpe
n
ter
F
ix crashing
b
u
g: func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpe
n
t
er
warn about if(x); type
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Ca
r
penter
prec
e
dence: warn abou
t
: i
f
(!a
& b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpe
n
ter
e
r
r_ptr
:
it's
p
erf
e
ctly ok to
retur
n
both nul
l
and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
C
arpenter
w
h
i
te
spac
e
c
h
anges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpe
n
ter
Remove
hack for handling Ste
v
e Rostedt
'
s if
c
o
n
di
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
c
h
eck_unused_ret
.
c: fi
x
c
heck for
local variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
penter
ch
e
ck_u
n
used_ret
.
c: ignore unreachable a
s
s
ignments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --de
b
ug is passe
d
the messa
g
es from the first
p
ass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
penter
Add
a
check for u
n
used assi
g
nments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
D
an Carpen
t
er
si
m
p
l
e c
h
eck for form
a
t string vul
n
erability
commit
|
commitdiff
|
tree
2009-12-17
D
a
n Carpent
e
r
H
andle E
X
PR_FORCE_CAST in __spli
t
_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carp
e
nter
[
p
atch 2/2] r
e
define S
Y
M_HOOK entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpe
n
ter
[
p
atc
h
1/2] Change
definitio
n
of SYM_
H
OOK in smatch_ho
o
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
&(foo->bar) is not really a deref
e
rence
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpe
n
ter
c
h
ange expression_stack to expression_list
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
clean
up
.
DEREF_HOOK
h
andling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan
Carpenter
check_si
g
ned: mak
e
it depen
d
on --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
check_locks: add raw_local_irq_
e
nab
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Car
p
enter
add check fo
r
preced
e
n
ce er
r
ors l
i
ke i
f
(x &
y
== 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fix select
h
a
ndling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
arpen
t
er
changes to
c
omments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
r
penter
a
d
d
__smatch_note("hel
l
o w
o
rld")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpente
r
patch
u
p the
n
ew check
_
locking
.
c re
p
lace
m
e
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
move
c
heck
_
win
e
_locking
.
c over check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
delete the old check_l
o
c
king
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix
c
ra
s
hi
n
g bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpen
t
e
r
separate out the
*
_b
h
()
l
o
c
k handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Car
p
enter
fixes for u
n
i
f
ied wine & kernel locking script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpenter
get
_
type() return pointer for &foo type
ex
p
r
essions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpen
t
e
r
print message
on false compares be
c
a
u
se of signed vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpenter
suppress gc
c
warning
.
whi
t
espace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpenter
Merge
branch 'master' of /home/dcarpenter/p
r
ogs/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
clean up kfree_skb() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
add __s
m
atch_cur_sli
s
t
(
)
debug f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Ca
r
penter
id i
s
supp
o
sed to b
e
unsigned short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an Carpente
r
fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Car
p
ent
e
r
Start
c
a
r
ing
a
bout the types a li
t
tl
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carp
e
nter
cleanup: u
s
es
ARRAY_SIZE
(
)
m
ac
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpent
e
r
Print na
m
e instead
of ID i
n
debug output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
A
d
d -
-
project=
k
ernel
to kche
c
ker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start
merging the kernel lo
c
k
i
ng
a
nd wine locking
c
hecks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carp
e
n
ter
handle if (*ptr ==
5
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpen
t
er
declare ch
a
r* as
cons
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
D
an Ca
r
penter
Mor
e
r
ange
f
i
x
es
.
(De
l
ete and mer
g
e duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop the pre_
c
ondition
_
s
t
ack at the co
r
rect
poi
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
D
an C
a
rpente
r
fix issue with ran
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
F
ix get_imp
l
ie
d
_
v
alue()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpent
e
r
Fix neg
a
t
e
b
ug
.
(
De
r
eferenci
n
g
unde
f
i
ned false pos
i
tive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Update comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpe
n
ter
wine:
wine_ch
e
cke
r
.
sh for
c
hec
k
i
n
g individual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan C
a
rpenter
wine:
a
dd mo
r
e
functions th
a
t
d
on't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next