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
deref_check: remove the --spammy option
2010-05-22
Dan Carpenter
deref_check: r
e
mov
e
the -
-
spammy option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carp
e
nt
e
r
delete
c
heck_le
a
ks
.
c
:
Th
i
s check w
a
s always worthless
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan
Carpenter
wine: fixup the no return fun
c
t
i
o
n
s a
b
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
D
a
n Carp
e
nter
macr
o
_t
a
ble
.
c
: replaceme
n
t for in_mac
r
o
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
D
a
n Carpenter
smal
l
cl
e
a
n
up and a comme
n
t
c
hange
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpen
t
er
*new*
c
he
c
k_snprintf: us
i
ng
t
h
e r
e
turn value of snprintf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Da
n
Carpenter
unused_return
:
pr
i
nt function name tha
t
w
as ignore
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n
C
arpenter
math: don't pa
s
s
nega
t
i
v
e nu
m
bers
as a
b
solute max
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
implied: a
l
low the k
n
own par
t
to
b
e a range
list
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
r
p
en
t
er
math: f
i
x get_absolute_min/m
a
x
(
) f
o
r si
z
eof()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
Carpenter
e
x
tra: ma
k
e do
_
comparison() handle two
v
ariables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Carp
e
nter
r
a
nges: intro
d
u
c
e
free_range_l
i
st()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n
Carpe
n
ter
ranges: introduce p
o
ssibly_true/false
_
range_list
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
precedence: d
o
n
'
t complain ab
o
u
t
i
f
foo is 0
-
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpe
n
ter
extra: cl
e
anup: rename do_c
o
mp
a
r
i
son_range() => do_comparis
o
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Carpenter
k
nown
_
con
d
i
t
ion_true
/
false():
h
andl
e
e
xpr
e
ssion statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*ne
w
* check_kun
m
ap(
)
:
c
onfusion between k
m
ap() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Dan
C
a
rpenter
*
ne
w
* smatch_scripts/unlocked_paths
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Da
n
Car
p
ente
r
flow:
cleanu
p
: make split_func
t
io
n
()
i
t's own function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Da
n
Carpenter
deref
_
ch
e
ck: u
s
e in_macro() to
sile
n
ce mo
s
t
o
f the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpen
t
er
math: introduce get_ab
s
olute_min/max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: clean
u
p
:
rename get_implied_single
_
fuz
z
y_
m
ax()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rp
e
n
ter
math:
c
leanup: shuff
l
e some
functio
n
s around
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpen
t
er
math: cleanup: get rid of the *disca
r
d thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: cl
e
anup: g
e
t rid of IMPLIED_SING
L
E
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
delet
e
check_nul
l
_deref
.
c and clean up val
i
dation/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carpenter
flow: the next st
a
t
ement should ne
v
er
b
e
the curre
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new* check_check_dere
f
.
c
: checki
n
g
f
or null
inc
o
nsistently
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carpenter
*
new* c
h
eck
_
no_effect: print warnings statements that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Car
p
en
t
er
s
etup defa
u
lt modif
i
cation hoo
k
s in s
e
t_true_
f
alse_s
t
ate
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
i
n
troduce
i
n_ma
c
ro() which returns true if we're in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
intr
o
duce: in_
e
xpress
i
on_statement() and re
n
ame
get_bloc
k
_
t
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
D
a
n Carpe
n
ter
churn: rename __spl
i
t_statement
s
(
) => __split_stmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an C
a
rpent
e
r
extra: h
a
ndl
e
i+
+
a
n
d
i += 2 better out
s
ide loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpen
t
er
f
i
lter_kernel_deref_check
.
sh: pr
i
n
t
the function n
a
m
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add ST
R
ING_HOOK for exami
n
in
g
string
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Car
p
enter
*new* check_ke
r
nel
.
c: handl
e
tomoyo_m
e
mory_ok() a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
core: f
i
x handling of
s
w
i
tch s
t
atements with un
r
eachab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carp
e
n
t
er
b
ai
l
o
ut
e
arlie
r
if functions get
t
oo difficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include static fun
c
tion
s
in
l
ist of functions whic
h
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
arpenter
*
n
ew* fr
e
e
i
n
g_n
u
ll:
c
allin
g
fre
e
fo
r
a vari
a
ble that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv: call remove_fro
m
_eq
u
iv() on assignment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
math: prevent di
v
ide by
ze
r
o
bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n
Carpenter
chec
k
_lock: ad
d
mor
e
lo
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Da
n
Carpenter
new: check_proc_cr
e
ate() ch
e
c
k
for world wri
t
able
p
roc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
r
penter
m
a
th: teach s
m
atch to under
s
t
a
nd const va
l
ue
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
ch
e
ck_overflow
:
fix theor
e
tical mem
o
r
y le
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
core: fix
p
roblem in handling select statemen
t
/ ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpente
r
cleanup: rena
m
e sm_s
t
ates to "sm" inst
e
a
d of
"
state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Carpenter
get_va
r
iable_
f
r
om_ex
p
r():
i
f i
t
i
n
volves a number
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Car
p
e
n
t
e
r
debug:
p
rint more useful in
f
ormation a
b
out conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
an Carpenter
l
ocking
:
handle
s
pin_tryloc
k
_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
e
nter
lockin
g
:
handl
e
s
pi
n
_
lock_irqsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: ha
n
dle raw_spin_
u
nlock_
i
rqrest
o
re()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
loc
k
ing: make "s
o
metime
s
locked" message
s
depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
a
rpente
r
Merge branch 'devel' into devel_
e
qu
i
v
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
e
q
uiv:
i
f a va
r
i
able is only equivalent to
itself set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n
Carpenter
extra:
u
se the fake assignm
e
nt
s
ins
t
ea
d
of the in
i
tiali
z
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n
Carpente
r
equi
v
: never set S
M
A
TCH_EXTRA
values dire
c
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv
:
elimi
n
ate bogus cal
l
to set_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
enter
int
r
oduce __sma
t
ch
_
debu
g
_
o
n() and __smatch_
d
ebug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan
Carpente
r
l
ocking: m
a
ke spi
n
lock_irqs
a
ve() w
o
r
k for my config
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpe
n
ter
locking:
w
hite space fixes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
Carpe
n
ter
lock
i
ng:
add m
o
re stand
a
rd locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan
C
arpenter
ch
e
ck_locking: cl
e
a
n up list o
f
kerne
l
locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
handle s
e
lect assigns: foo = a ? b : c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core:
fake
cur_slis
t
m
o
re completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpente
r
co
r
e: rewrite sele
c
t s
t
atement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpenter
s
tates: verify t
h
at the
stac
k
s are
emp
t
y at the e
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpenter
Rename functions:
__p
o
p_foo() => __discard_
f
oo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
smatch_states: rename some functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
r
elease
_
resou
r
ce: Doh
.
It
'
s looking for t
h
e
w
rong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
p
e
nter
fix
select statement handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: clean
u
p
.
dele
t
e fake co
n
dition stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
ter
core: make
fa
k
e
cur
_
slists stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
C
ar
p
enter
slist: make se
t
_state_stac
k
() return the ne
w
sm_s
t
at
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
ter
*new* check_release_r
e
sour
c
e
.
c
:
che
c
k that we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Da
n
Carpen
t
er
flow
:
spl
i
t asm clobb
e
rs, in
p
uts and o
u
tputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Ca
r
pen
t
er
white
_
space
o
n
ly: allow hea
d
er fi
l
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*
n
ew* strip_whitespac
e
.
pl:
r
emo
v
es all the whitespace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpen
t
er
*new* check_resource_size(): prod people to use
resour
c
e_siz
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan C
a
rpenter
ex
t
ra:
a
ssume impossible t
h
i
ngs
ar
e
impo
s
s
i
b
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_p
t
r: fix btrfs false po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
r
r_ptr: handle when
an
e
rr_ptr
is reassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
*
new* check_db_i
n
fo
.
c prints out st
u
f
f that will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
pen
t
er
c
leanup: move s
t
u
f
f
from smatch
_
extra
.
c to smatc
h
_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpente
r
w
h
itesp
a
ce changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an
Carpenter
e
q
uiv: f
i
x crashi
n
g bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
ch
e
ck_overflow: malloc() => __alloc_smatch_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
smatch
.
c: don't leak those
10 b
y
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Car
p
enter
assign
e
d_expr: f
i
x memory
l
e
ak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan C
a
rp
e
nte
r
kernel
:
free_area() doesn't call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
an Carpenter
*
n
ew* c
h
eck_return
.
c: co
m
plain if y
o
u don'
t
c
h
e
ck the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Ca
r
penter
math: make
g
et_implied_value
(
)
work
for poin
t
e
r
s better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
cl
e
anup:
create sep
a
rate
_
get_implied
_
value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Car
p
enter
math: handle modulus '%' operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
C
a
r
p
enter
math: handle EXPR
_
POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup: make handling bino
p
s a switch() stateme
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpente
r
math
:
clean
u
p
c
reate sep
a
rat
e
handle_
b
inop(
)
f
u
ncti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
ath
:
cle
a
nup
.
us
e
c
a
st_
t
o_type() i
n
stea
d
o
f re-implimenting
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next