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
new script: show_ifs.sh
2010-01-07
Dan C
a
rpenter
new script
:
show_ifs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
C
arpenter
intro
d
uce gett
i
ng_add
r
ess()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpenter
update smat
c
h
_s
c
ripts/ bec
a
use o
f
--info format changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carp
e
nter
check of
f
se
t
af
t
er use: ign
o
re fo
o
= &
a
rray[bar];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n C
a
r
p
enter
c
h
eck_overfl
o
w: move some more stuff unde
r
t
he
--info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Carpenter
clean u
p
output
:
war
n
ing: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpente
r
modification_hook: -- a
n
d ++ are modif
i
c
a
ti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
Da
n
Ca
r
p
e
n
ter
It
mak
e
s se
n
se t
o
che
c
k an
array offset if it has been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
check_
o
verfl
o
w: separate
t
he tw
o
typ
e
s of states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
D
a
n Carpenter
F
i
x
p
recedence/crashing b
u
g check_overflo
w
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
ch
e
ck_ove
r
flow
:
check for limiting offset after usi
n
g it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan C
a
rpenter
int
r
oduc
e
alloc_state_num(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan C
a
r
p
e
nter
cleanup:
r
ename alloc_stat
e
() => alloc_sm_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carp
e
nter
int
r
oduce get_fu
z
zy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
call_tree
.
pl: make
i
t a
n
interacti
v
e pr
o
gram
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan
C
arpenter
crea
t
e get_implied_ra
n
ge
_
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpen
t
e
r
sm_info: fix form
a
tti
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
c
all tree: initial upload
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carp
e
nter
dma on stack: move da
t
a to sm
a
tch_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
D
an Car
p
enter
trace_p
a
ra
m
s
.
pl:
rewrote so it'
s
f
a
ster
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add --param
-
mapp
e
r
bac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
pe
n
ter
cle
a
nup up
o
ption p
a
rsing a little
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
add option:
--info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
redo
h
ow
o
ptions are parsed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup: debug_im
p
lied_sta
t
es
=
> option_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
arpenter
cleanup: debug_states
=
>
o
p
ti
o
n
_debu
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Car
p
enter
param_m
a
pper: add --param-mapper option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
dma on s
t
ack:
e
liminate so
m
e
false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
C
a
r
pe
n
te
r
A
dd dma
func
t
ions that map
to usb_contr
o
l_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
add smatc
h
_
s
cr
i
p
t
s/tra
c
e_para
m
s
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
pa
r
am_mapp
e
r: ini
t
ia
l
com
m
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
d
m
a_
o
n
_
stack: &
f
oo m
e
an
s
it
'
s an erro
r
too
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
update sm
a
tch_data t
o
2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpente
r
c
h
eck_overflow:
fix crashing bug (divi
d
e by ze
r
o)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Car
p
enter
check
_
overf
l
o
w: f
i
x crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan
C
arpenter
a
dd
a
check for p
a
ssing stack variable
s
to dma fu
n
ctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan
C
arpe
n
te
r
c
heck_used_returns: ignore inb, inw, and
i
nl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan C
a
rpenter
update v
a
lid
a
tion t
e
sts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
check_overflow: handle arrays inside st
r
u
c
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan C
a
rpenter
Fix
crashing bug: func(a & b);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpente
r
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
prece
d
ence: warn about: if (!a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpente
r
err_ptr: it's perfectly ok to
return bot
h
null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpenter
white space changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpen
t
er
Remove hack for handl
i
n
g
Stev
e
Rostedt's if
c
onditi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
check_
u
nuse
d
_ret
.
c:
f
ix check fo
r
local va
r
iables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Carpenter
che
c
k_unused_ret
.
c
: i
g
n
o
re
unreach
a
bl
e
as
s
ignme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n Carpenter
If --debug is passed the mes
s
a
g
e
s
from the fi
r
s
t
pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
A
dd
a
check for unuse
d
assign
m
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan
Ca
r
penter
simple c
h
eck fo
r
form
a
t stri
n
g vu
l
n
e
rability
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpen
t
er
Handle EXPR
_
FORCE_CAST in __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Car
p
enter
[patch
2/
2
]
redefine
SYM_HOOK entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan
C
ar
p
enter
[patch 1/2] C
h
ange definit
i
on of SY
M
_HOO
K
in smatch_
h
ook
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n
Ca
r
pe
n
ter
&(foo->b
a
r)
i
s not really a de
r
eference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n Carpenter
change expre
s
sion_stack to expr
e
s
s
ion_l
i
st
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carpenter
clean up
.
D
E
R
EF_
H
O
OK hand
l
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
check_sig
n
ed:
m
a
ke it depend on --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n
Carpe
n
ter
che
c
k_locks:
add raw_l
o
ca
l
_irq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
te
r
add c
h
eck for pr
e
cedenc
e
e
rro
r
s li
k
e if (x &
y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
t
e
r
fix sel
e
c
t
ha
n
dli
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
changes to comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n
Ca
r
p
e
nter
add __smatch_note("hello world")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
C
a
rpent
e
r
pat
c
h up the
new c
h
eck_l
o
cking
.
c replac
e
men
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
mo
v
e check
_
wine_l
o
cking
.
c over check_lo
c
ki
n
g
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpen
t
er
delete t
h
e old check
_
locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
Fix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Da
n
Ca
r
penter
separate out t
h
e *_b
h
() l
o
ck handl
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Ca
r
pe
n
ter
fixes for unified win
e
& kernel locking script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpenter
get_type() r
e
turn
p
o
i
nte
r
for &
f
oo type
expressions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan
C
arp
e
n
ter
print message on false compares beca
u
se of signed
vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n
C
a
rpenter
sup
p
re
s
s gcc warning
.
whitespace
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpenter
Mer
g
e branch '
m
aster' of /home/dcarpenter/pro
g
s/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Ca
r
penter
clean
u
p
kfree
_
s
kb(
)
check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
add
__smatch_c
u
r_slist() debug function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
C
arp
e
n
ter
id is supposed to be
u
nsi
g
n
e
d short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
D
an C
a
rpen
t
er
fix crashing
b
ug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
St
a
rt carin
g
about
t
h
e t
y
pes a
l
ittle
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Car
p
enter
cleanup:
u
se
s
A
R
R
A
Y_SIZE() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
Pri
n
t name in
s
tead
of ID in debu
g
o
u
t
p
ut
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Add -
-
pro
j
ect=k
e
rnel to
k
checker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan C
a
rpe
n
ter
S
t
art merging t
h
e
kernel lock
i
ng and wine
l
ocki
n
g
checks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
handle if (*ptr ==
5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
de
c
lare ch
a
r* as const
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Da
n
Car
p
enter
More range fixes
.
(Delete
and merge duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop
t
he pr
e
_condition_stack
a
t the
c
orre
c
t poi
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan Carpent
e
r
fix issue w
i
t
h r
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix
g
e
t
_i
m
plied_value
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan C
a
r
penter
Fix
ne
g
ate bug
.
(Dereferencin
g
un
d
efine
d
false positive)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n
Carpent
e
r
Update commen
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan C
a
rpenter
w
ine: wine_
c
hecker
.
s
h for check
i
ng
i
n
d
ivid
u
al files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine: add more
f
unctions tha
t
don't return
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
revert pa
r
t
of f4a459292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Carpe
n
ter
smatc
h
_extra: improve a
n
d fix ass
i
gnment handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
arpenter
scoped_state() ma
k
e t
h
e p
a
rame
t
er order match everyth
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
ch
e
cks: remove some s
h
ow_s
p
ec
i
al()
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpente
r
smatch_helper
.
c
r
emove many call
s
to s
h
ow_special()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
small clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpen
t
er
fix bug with
f
unction implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
e
xit and ExitProce
s
s
don't
r
e
turn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
ter
smat
c
h_ext
r
a
.
c: re
m
o
ve some sh
o
w
_special() call
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next