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
update smatch_scripts/ because of --info format changes
2010-01-07
Dan Carpenter
update sm
a
tch_s
c
r
i
pts/ b
e
c
a
use of --info format cha
n
ges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Car
p
ent
e
r
check offset af
t
er use:
igno
r
e
foo = &array[bar];
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan C
a
rpe
n
ter
ch
e
ck_overflow: move some more stuff
un
d
er the -
-
info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpe
n
ter
clean up output: warning
:
=
> warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpent
e
r
modificati
o
n_hook:
-
- and ++ are modifications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-06
Dan C
a
rpenter
It mak
e
s sense t
o
check an
array
o
ffset if it has been
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan
C
a
r
penter
check_overflow: separat
e
the
t
wo types of
s
tates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-05
Dan
Carpe
n
ter
F
i
x
p
r
e
ce
d
ence/cra
s
h
ing bug chec
k
_
o
verflow
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
D
an Carpenter
che
c
k_overflow: chec
k
for
limiting
offset after
u
sing it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpent
e
r
introduce alloc_state_num()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
cleanu
p
:
r
ename all
o
c_stat
e
()
=> alloc_sm_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
i
n
t
ro
d
uce get_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan C
a
rpenter
call_tree
.
pl:
m
ake it an i
n
t
e
ractive program
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
D
an Ca
r
pe
n
ter
create get_im
p
l
ied_r
a
n
g
e
_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-02
Dan Car
p
enter
sm_inf
o
: fix formatting
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-01-01
D
a
n
C
arpent
e
r
call
t
ree: in
i
tial upload
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
d
ma on stack: move dat
a
to smatch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpenter
trace_params
.
pl: rewrote so it's faster
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpent
e
r
a
dd --param-
m
apper back
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
a
n Carpenter
cl
e
anup up o
p
tion p
a
rs
i
ng a litt
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
p
enter
add option: --
i
nfo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
t
e
r
redo how options
a
re parsed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carp
e
n
t
er
c
l
eanup:
d
ebug_implied_state
s
=
>
op
t
ion
_
debu
g
_imp
l
ied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpenter
cleanup: debug_states => op
t
ion_debug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpen
t
er
pa
r
am_mapper
:
a
dd --pa
r
am-mapp
e
r
opt
i
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dm
a
on
s
t
ack: eliminate some false positive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
Add
dma functions
t
hat
m
ap t
o
usb
_
control_msg()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
D
an Carpent
e
r
add smatch_scripts/trace_pa
r
ams
.
p
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan Ca
r
penter
par
a
m_mapper: i
n
itial commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
r
p
enter
dma_on
_
sta
c
k: &foo mean
s
it's an
e
rr
o
r too
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan
Ca
r
penter
updat
e
sma
t
ch_d
a
ta
to 2
.
6
.
3
3
-
r
c1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carp
e
nter
che
c
k
_
o
verflow
:
fix crashing b
u
g (divide by z
e
ro
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-27
Dan
C
arpenter
check_overflo
w
:
fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Dan C
a
rpenter
ad
d
a
c
h
e
c
k for passing stack variables to dma functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-25
Da
n
C
a
rpenter
check_u
s
e
d_
r
eturns: ignore in
b
, inw, and inl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpe
n
ter
up
d
ate v
a
l
i
d
a
tion tests
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Ca
r
pen
t
e
r
c
h
eck_overflow: handle ar
r
ays in
s
i
d
e st
r
u
cts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-23
Dan Ca
r
penter
F
ix crashing bug
:
f
u
nc(
a
& b);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpenter
warn about if(x);
t
ype code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan Carpe
n
ter
preceden
c
e: warn a
b
out: if (
!
a
& b)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-22
Dan C
a
rpenter
er
r
_ptr: i
t
's perfectly ok
to
return bo
t
h null and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
pe
n
te
r
white space changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpente
r
R
emove hack for
handli
n
g Steve Ros
t
edt's if
c
onditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
an Carpenter
check
_
unuse
d
_ret
.
c
:
fi
x
che
c
k for l
o
cal varia
b
les
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
D
a
n
C
a
rpenter
check_unused_ret
.
c: ignore
unr
e
achable assignments
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
If --debug is passed
t
he messa
g
es from
t
he first pass
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpente
r
Add a check for un
u
s
ed assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-17
Dan C
a
rpenter
sim
p
le c
h
ec
k
for f
o
rmat str
i
ng vulnerability
commit
|
commitdiff
|
tree
2009-12-17
Dan Ca
r
pe
n
ter
Handle EXPR
_
FORCE_CAS
T
in __split_
e
xpr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
D
a
n Carpenter
[p
a
tch
2
/2] redef
i
ne SYM_HOOK
e
ntirely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpente
r
[
p
a
t
ch 1/2] Change definition of SYM_H
O
OK in smatch
_
h
o
o
k
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
&(foo
-
>bar
)
i
s not really a derefe
r
e
n
ce
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nt
e
r
change expression_s
t
ack to expre
s
s
io
n
_list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Da
n
Carpenter
clea
n
up
.
D
E
R
E
F_HO
O
K handl
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
n
ter
check_sig
n
ed:
m
ake it depend on
--spammy
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
Dan Carpenter
a
d
d chec
k
for
precedence errors like if (x & y == 0
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carp
e
nter
fix
select
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
chan
g
es to comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpen
t
er
add _
_
s
m
atc
h
_n
o
t
e
("hello worl
d
")
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
p
a
tc
h
up the new check_loc
k
ing
.
c replacement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move check_wine_locking
.
c
o
ver c
h
eck_
l
ocking
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
Dan Car
p
enter
delete the old
c
heck_locki
n
g
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-11
D
an Carpenter
F
i
x c
r
ashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Ca
r
penter
separate out the
*
_bh() l
o
ck handli
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carpenter
fix
e
s
f
or unif
i
ed wine & kernel locking scri
p
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
D
an Ca
r
penter
get_type()
r
eturn po
i
nter f
o
r
&
foo ty
p
e
e
x
pressions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
print mes
s
age on false compar
e
s
because
o
f
signed vs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpenter
suppres
s
gcc
warning
.
wh
i
tes
p
ace
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Da
n
Carpenter
M
e
rge bran
c
h 'master'
o
f /
h
ome/dc
a
rpenter/progs/spa
r
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
cle
a
n up kfree_
s
kb() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Car
p
ente
r
add __
s
match_cur_
s
l
ist()
d
ebug f
u
nction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpen
t
er
id is sup
p
osed to b
e
un
s
i
g
ned
s
hort
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
f
i
x crashing bug
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-07
D
a
n Carpenter
Start car
i
ng abo
u
t the types a
l
ittle
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
penter
c
l
eanu
p
:
uses ARRA
Y
_
S
IZE() macro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an
Carpen
t
er
Prin
t
name inste
a
d of ID
in debug output
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Ca
r
p
e
nter
Add --project=kernel to kchecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpente
r
St
a
rt
me
r
ging
the ker
n
e
l
locking and wi
n
e locking check
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
D
an Carpenter
h
a
n
dle if (*ptr ==
5
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
declare
c
har* a
s
con
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
M
o
re
range fixes
.
(Delete and merge duplicates)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-04
Dan Carpenter
Pop t
h
e
pre_conditio
n
_stack at the correc
t
point
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-03
Dan Ca
r
penter
f
i
x issue wi
t
h r
a
nges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Carpent
e
r
F
i
x get_impl
i
e
d
_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Da
n
C
a
rpenter
Fix ne
g
ate
b
ug
.
(
Derefe
r
encing undefined fal
s
e pos
i
tive)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-02
Dan Ca
r
penter
Up
d
a
t
e
c
ommen
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n Ca
r
penter
wine:
wine_checker
.
sh f
o
r checking
individual fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-12-01
Dan Carpent
e
r
wi
n
e:
add more
functions that don't return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
ente
r
revert part of f4a4
5
9292e339
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
smat
c
h_extra
:
improve
and fix as
s
i
gnment
h
andling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nt
e
r
s
coped_state() mak
e
th
e
parameter or
d
er mat
c
h ever
y
thin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
c
hecks
:
rem
o
ve some sho
w
_special() calls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Carpenter
smatch_helper
.
c remove ma
n
y calls to show_speci
a
l
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nte
r
small clean up
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
fix bug
with func
t
ion implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpe
n
t
e
r
e
x
i
t and ExitProcess don
'
t return
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan
C
arpenter
smatch_ex
t
r
a
.
c: remove some show_
s
pecia
l
() c
a
lls
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carp
e
nter
check
_
deref_chec
k
: get
rid of
some
f
als
e
posit
i
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-28
D
a
n Carpenter
s
pel
l
ing:
m
emery
=
> memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next