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 Carpe
n
t
er
u
pdate smatch_scrip
t
s/ because of --info f
o
r
m
at ch
a
nge
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan Carpenter
c
h
eck offse
t
af
t
er use: ignore
f
oo = &array
[
b
a
r];
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
Dan
Carpen
t
er
chec
k
_overfl
o
w
: mo
v
e some more stuff under the --info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
a
n
Carpenter
clean
u
p
o
u
tput
:
warn
i
ng: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-07
D
an Carpente
r
modificati
o
n_
h
ook: -- a
n
d
+
+ a
r
e mod
i
fications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-06
D
an
Carpente
r
It
makes sense
t
o check an array offset if it has been
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
Da
n
C
arpenter
check_overflo
w
: separa
t
e the two ty
p
es of stat
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-05
D
a
n Carpenter
Fix pr
e
cedence/crashing bug che
c
k_overflow
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
c
h
eck_over
f
low: c
h
eck f
o
r limiti
n
g offset after using it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
D
an C
a
rp
e
n
ter
i
ntroduce
alloc_state_n
u
m()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-03
Dan Carpenter
cle
a
nu
p
: r
e
name a
l
loc_state(
)
=> a
l
loc_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
introduce
g
e
t_fuzzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
call_tree
.
p
l
: m
a
ke it
an interactive prog
r
am
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpenter
create ge
t
_
i
mp
l
ied_range_l
i
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-02
Dan Carpe
n
ter
sm_i
n
fo:
fi
x
f
ormatti
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-01-01
Dan Carp
e
n
ter
call
t
r
e
e: initial u
p
load
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan Carpe
n
t
e
r
dma on stack: move data to smat
c
h
_data/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-31
Dan C
a
rp
e
nter
t
race_
p
arams
.
pl: rewrote so it's fa
s
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpenter
add --param-mapper back
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Car
p
enter
clean
u
p up
o
ptio
n
parsi
n
g a l
i
ttle
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan
Ca
r
penter
add opti
o
n: --info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
r
e
do ho
w
optio
n
s are p
a
r
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
Carpe
n
ter
cleanup: d
e
bug_implied_states => option_debug_implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan C
a
rpenter
cleanup
:
debug_sta
t
es => optio
n
_
d
ebug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
param_
m
apper: add --para
m
-ma
p
per option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Da
n
C
a
r
p
enter
dm
a
on
s
tack:
e
liminat
e
some false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpe
n
te
r
Add dma functions that ma
p
t
o
usb_control_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
add sma
t
c
h
_scr
i
pts/trace_params
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Car
p
enter
param_mapper: i
n
i
tial
c
ommit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-30
Dan Carpenter
dm
a
_
o
n
_sta
c
k:
&
foo m
e
ans it's an error
t
oo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
update smatch
_
data to 2
.
6
.
33-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
D
an Carpente
r
check_overflow:
fix crashing bug (div
i
de by zero)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-27
Dan Carpenter
check_overf
l
ow: fix
cr
a
shing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpen
t
er
add a check f
o
r pa
s
sing stack variables to dm
a
functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-25
Dan Carpente
r
check_u
s
ed_ret
u
r
ns: ignore inb, i
n
w, and inl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpenter
upd
a
te
v
al
i
dation tests
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Carpent
e
r
ch
e
ck_overflow: handle
a
rray
s
insi
d
e
structs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-23
Dan Ca
r
penter
Fix c
r
ashing b
u
g
: func(a & b)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
D
an Carpenter
warn about if(x); type code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n Ca
r
p
enter
p
r
ecedence: warn about:
if (!a & b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-22
D
a
n Carpenter
err_p
t
r: it's perfectly ok to r
e
turn bot
h
null and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Ca
r
penter
white space
c
hanges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpen
t
er
Remove hack for handling S
t
e
ve Rostedt's if co
n
di
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan
Car
p
en
t
er
check_
u
nused
_
ret
.
c
:
fix ch
e
ck for local variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Dan Carpenter
check_unused_ret
.
c
:
ignore unrea
c
h
able
assignme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-18
Da
n
Ca
r
p
e
nter
If --de
b
ug is passed
the messages from the f
i
rst
pass
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
D
a
n
C
a
r
penter
A
d
d a chec
k
for unused assi
g
nment
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-17
Dan Carpenter
simpl
e
c
hec
k
for format string vulnerability
commit
|
commitdiff
|
tree
2009-12-17
Dan Carp
e
nter
Handle EXPR_FORCE
_
CAST in __s
p
lit_exp
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Dan Carpenter
[
p
a
tch 2/2]
r
e
define S
Y
M_
H
O
O
K entirely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-15
Da
n
Carpenter
[patc
h
1/2
]
Change
d
efinition of SYM_HOOK
i
n
smatch_hoo
k
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
&(foo-
>
bar) is n
o
t
really a
d
er
e
ference
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carp
e
nter
change exp
r
essi
o
n_sta
c
k to expression_l
i
s
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
clean up
.
D
EREF_
H
OOK han
d
lin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpenter
check_signed
:
make it
d
ep
e
nd
o
n
--sp
a
mmy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-12
Dan Carpe
n
t
er
c
h
eck
_
locks
:
add raw_local_irq_enable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan C
a
rpenter
add
c
h
e
ck for pre
c
eden
c
e errors li
k
e if (x & y == 0
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Da
n
Carpen
t
er
fi
x
select handlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Ca
r
penter
c
h
ang
e
s to comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpe
n
ter
add __sm
a
tch_note
(
"hello
w
orld")
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpent
e
r
patch
up the
n
ew c
h
eck_loc
k
ing
.
c repl
a
cement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
move chec
k
_w
i
n
e_lockin
g
.
c over
check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
D
an Ca
r
penter
delete the ol
d
check_locking
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-11
Dan Carpenter
Fix
crashin
g
bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
Dan Carp
e
nt
e
r
se
p
arate out th
e
*_bh() l
o
ck handling
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-10
D
an Carp
e
nter
fix
e
s for unifi
e
d wine & ker
n
el locking script
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
an
Carpenter
g
et_type(
)
return
p
ointer for &f
o
o t
y
pe expres
s
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
D
an
Carpenter
prin
t
mes
s
a
ge
o
n false c
o
mpa
r
e
s
becau
s
e o
f
s
igned vs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-09
Dan Carpen
t
er
suppres
s
g
c
c
w
arning
.
whit
e
spac
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan C
a
rpen
t
er
Merg
e
branc
h
'master' of
/
h
o
me
/
dcarpen
t
er/
p
rogs/
s
p
a
r
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
arpente
r
c
lean up kfree_skb() check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
a
dd
_
_
smatch_cur_slist() debug func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan Carpenter
id is
supposed to be uns
i
g
n
ed short
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
a
rpent
e
r
f
ix crashing bug
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-07
Dan
C
a
r
p
e
nter
St
a
rt c
a
ring about the typ
e
s
a li
t
tle
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
c
l
eanup: uses
AR
R
A
Y_SIZE() macro
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpe
n
ter
Pri
n
t n
a
me i
n
s
t
ead o
f
ID in deb
u
g output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan
Carpenter
Add -
-
proj
e
ct=kernel
to kch
e
ck
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpen
t
e
r
Start me
r
ging the kernel lockin
g
an
d
wine locking
c
hecks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
Dan Carpenter
handle if (*ptr
== 5)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-05
D
a
n Carpenter
decl
a
re char* as cons
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan
Carpe
n
ter
M
o
re range fixes
.
(
D
e
lete and merge duplicates)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-04
Dan
C
arpenter
Pop the pre_condition_stack at the corr
e
c
t p
o
int
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-03
Dan
Car
p
enter
fix issue wit
h
ran
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n
Carpent
e
r
Fix get_implied
_
value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
Dan Carpen
t
er
F
i
x negate bug
.
(
D
ere
f
er
e
ncing undefined fal
s
e
p
o
s
i
ti
v
e)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-02
D
a
n Car
p
enter
Upda
t
e
comment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n C
a
r
penter
wine:
w
ine_checker
.
sh for checking individual files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-12-01
D
a
n Carpenter
wine:
a
dd more
f
unctions that
d
on't retur
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
rev
e
r
t
part of f4a4
5
9292e339
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
smatch_extra: improve and fix assignme
n
t ha
n
dlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
scope
d
_state() m
a
k
e the p
a
r
ameter order match every
t
hing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
checks: remove some show
_
specia
l
()
calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan
Ca
r
penter
smatch_helper
.
c remove many calls to
s
how_special
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Da
n
C
a
r
penter
sma
l
l c
l
ean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
f
ix bug
w
ith function implications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
D
an C
a
rpenter
exit and Exit
P
rocess don't r
e
turn
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Car
p
enter
s
m
atch_extra
.
c: remo
v
e som
e
show_special
(
) calls
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan C
a
rpenter
check_deref_check:
get rid of s
o
me fa
l
se pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-28
Dan Carpenter
spel
l
i
n
g: memery => memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next