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
smatch_extra: I don't like empty ranges
2010-01-08
D
a
n
Carpe
n
ter
sma
t
ch_extra
:
I
don'
t
like empty
rang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpe
n
ter
add smatc
h
_scripts/gen_array_bounds
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Carpenter
sm
a
t
ch_dat
a
/k
e
rne
l
.
array_
b
ounds
.
r
emove
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-08
Dan Car
p
e
nter
check_overflow: an an "error: " prefix to a printf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpe
n
t
er
smatch_scripts/show_
u
nreach
a
ble
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Da
n
Car
p
enter
new script: show_if
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
introd
u
ce ge
t
ting
_
add
r
e
s
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
Carp
e
nter
update
sm
a
tch_scripts/ b
e
c
ause of --i
n
f
o
format
c
h
an
g
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Carpenter
chec
k
o
f
fset after use: ignore foo =
&
array[ba
r
];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpenter
check_overflow:
m
o
ve s
o
m
e more stuff under t
h
e --info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
Carpenter
c
l
e
a
n u
p
output:
w
arning: =>
warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n Car
p
enter
modification_
h
ook: -- and ++ are modifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan Carpe
n
ter
It makes sense to
ch
e
c
k
an array
offset if it
has
b
een
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan Carpenter
ch
e
ck_overflow: separate the two type
s
of st
a
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan C
a
rpenter
Fix preced
e
n
c
e
/
c
rashing
b
ug check
_
over
f
low
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan
C
a
rpenter
c
h
eck_ov
e
rflow:
c
heck for
l
imiting
o
ffset
a
f
t
e
r using it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
D
a
n Carpen
t
e
r
intr
o
duce alloc_
s
t
a
te_nu
m
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
D
an Carpenter
clea
n
u
p: rename
a
lloc_s
t
ate() => alloc_sm_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
i
n
trod
u
ce get
_
fuzz
y
_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpe
n
t
er
call_tree
.
pl
:
make it an inte
r
a
ct
i
ve
pr
o
g
r
am
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
c
r
eate ge
t
_im
p
lied_range_li
s
t()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
sm_info: f
i
x for
m
atting
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carpenter
call tre
e
: initial upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Car
p
enter
d
m
a on stack: m
o
ve d
a
ta to smatch_data
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Ca
r
p
en
t
er
trac
e
_param
s
.
pl: rewr
o
te s
o
it's
faster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add --param-mapp
e
r b
a
ck
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Ca
r
pen
t
e
r
cleanup
u
p
option pa
r
sing a little
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
add option: --
i
n
fo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n
Carpenter
redo how options
are pars
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
cleanup: de
b
ug_implied_states =>
o
ption_d
e
bug_
i
mplied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpen
t
er
cleanup: deb
u
g_state
s
=> option
_
de
b
ug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Carpe
n
ter
param_m
a
p
p
e
r:
add --param-
m
a
pper
o
p
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
d
ma
o
n
stack: eliminate some false p
o
sitiv
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add dma f
u
n
ct
i
ons th
a
t
map t
o
usb_control_m
s
g(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
t
er
a
d
d smatch_scripts/trace_params
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpe
n
ter
pa
r
am_mapp
e
r
: initia
l
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
dma_on_stac
k
:
&f
o
o means it'
s
an
e
rror
t
oo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpen
t
er
up
d
ate smatch_da
t
a to 2
.
6
.
33-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Carpenter
c
he
c
k_overflow: f
i
x
c
r
a
shing bug (
d
iv
i
de b
y
zer
o
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan
C
arpenter
check_
o
ver
f
low: fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan C
a
rpenter
add a che
c
k fo
r
passin
g
stack
variables
t
o
d
ma functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
Carpente
r
check_us
e
d
_
returns
:
ignore in
b
, inw, an
d
in
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
D
a
n Carpen
t
er
u
p
d
a
t
e
val
i
dation t
e
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
check_overflow:
h
a
ndle arra
y
s inside st
r
uct
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan
C
ar
p
e
n
ter
F
ix crashing bug:
f
u
nc(a & b)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n
Carpenter
warn about if(x); type
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpe
n
ter
precedence: warn abo
u
t: if (!a & b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Da
n
C
a
rpenter
err_ptr: i
t
's perfectly ok to return both
n
u
ll a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
C
arpenter
white space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carp
e
nt
e
r
Remove h
a
ck for handling
S
teve
Rost
e
dt's if condi
t
io
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan C
a
rpente
r
che
c
k_unused_
r
et
.
c: f
i
x c
h
eck for local
v
aria
b
les
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check_unused_ret
.
c: ignore u
n
reachable
a
ssignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Car
p
e
nte
r
If --debug is passed t
h
e me
s
sa
g
e
s
fr
o
m
t
he
first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan C
a
rpenter
Add a check for unu
s
e
d assign
m
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
penter
sim
p
le check
for format
s
t
r
i
n
g v
u
lnerability
commit
|
commitdiff
|
tree
2009-12-17
Da
n
Carpen
t
er
Han
d
l
e EXPR_FORCE_CAST in
_
_split_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
an Carpenter
[p
a
t
c
h
2/2] redefine SYM_HO
O
K
e
ntirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Ca
r
pente
r
[patch 1
/
2]
Ch
a
ng
e
definition of SYM_
H
OOK
i
n smatch_h
o
ok
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
an Carpent
e
r
&(f
o
o->
b
ar
)
is not
r
e
ally a d
e
ref
e
rence
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Car
p
enter
change expressio
n
_stack t
o
e
xpression_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
D
a
n
Carpenter
clea
n
up
.
D
E
REF_H
O
O
K
handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
c
h
eck
_
signed: make it d
e
pend o
n
--
s
pammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
check_locks: add raw_local_irq_enable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
add che
c
k for pre
c
edence errors l
i
ke if (x
&
y ==
0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
fix sel
e
ct
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
changes to comment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpenter
add __smat
c
h
_note("
h
ello world")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
patc
h
up the
new check_locking
.
c replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move check_
w
ine_
l
ockin
g
.
c ov
e
r che
c
k_locki
n
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan
Carpenter
delete the
o
ld ch
e
ck_loc
k
ing
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
a
n Carpenter
F
ix cras
h
ing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Da
n
Carpenter
separate out the *_
b
h() lock handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpe
n
ter
fixes for
u
nified wine & kernel locking scrip
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpenter
get
_
type() retur
n
pointer f
o
r &foo type expr
e
ssions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
a
n
Carpenter
print message on false compares because of signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan C
a
rpent
e
r
sup
p
re
s
s
g
cc warning
.
whi
t
e
space
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
Merge bran
c
h
'master'
o
f /home/dcarpe
n
te
r
/pr
o
gs
/
sparse
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
clean up kfree_skb() chec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Car
p
enter
add
_
_smatch_cur_slist() debug function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpente
r
id is suppos
e
d to be unsigned short
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carp
e
nter
fix
c
rashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan
Carpe
n
ter
S
t
a
r
t
caring abou
t
the types a li
t
tle
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpent
e
r
cle
a
nup: use
s
A
R
RAY_SIZE() ma
c
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Da
n
Carpe
n
ter
Print n
a
me inste
a
d of
ID in debug
o
utput
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpen
t
e
r
Add --pr
o
ject=kernel to kchec
k
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
Start me
r
ging the kernel locking and wine
locking checks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handle
if
(
*
p
tr
== 5)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpe
n
ter
dec
l
a
r
e
char* as const
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
a
r
penter
Mo
r
e range fi
x
es
.
(De
l
ete and
m
e
rge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
D
a
n
Carpent
e
r
Pop the
p
re_cond
i
t
ion_s
t
ack at the c
o
rrect point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Ca
r
pente
r
fix issue with range
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpenter
Fix get_implied_v
a
lue()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Car
p
enter
Fix neg
a
te bug
.
(Derefer
e
ncing undefined f
a
lse
p
o
si
t
ive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
an Carpenter
U
p
d
ate comment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan
C
ar
p
enter
w
i
n
e:
wine_checker
.
sh fo
r
checking i
n
dividual fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpenter
wine
:
ad
d
more functions that don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
Ca
r
penter
revert part of f4a459
2
92e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
a
r
penter
sm
a
t
ch_extra: improve a
n
d
f
i
x assignment handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
scope
d
_state() make the parameter
o
rder match ev
e
ry
t
hing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
ch
e
c
ks: remove some show_special(
)
calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next