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* check_macros: find macro precedence bugs
2010-05-26
Dan
C
arpenter
*new*
check_macros
:
f
ind macro pr
e
c
edence bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
h
o
o
ks:
a
d
d LOGIC_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
macro
_
table: take the
file into
account
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Da
n
Carpen
t
er
macro_ta
b
le: do not include sma
t
ch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
flow: handle logic thing
s
like: foo(a && a->bar
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpen
t
er
signe
d
:
comparing to literals to
g
ether
creates a false
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n C
a
rpenter
deref_check: remove the
--spammy option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpen
t
er
delete
c
heck_leaks
.
c: This chec
k
was
a
lways worthl
e
ss
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
w
i
ne: fixup the no r
e
turn functions a b
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan
Carpenter
macro_tab
l
e
.
c: replac
e
ment
f
or in_macr
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carp
e
nter
small cleanu
p
and a comm
e
nt change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Car
p
e
nt
e
r
*new* check_sn
p
rintf:
using the
r
eturn
va
l
ue
o
f snprintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpenter
unused_return: p
r
int functi
o
n
n
ame that was ignore
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
math: don'
t
pas
s
negative n
u
mbers
as absolute max for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
Carpe
n
te
r
i
m
plied: allow the known
part
to be a range list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
math: fix
g
e
t_absolute_min/max() fo
r
sizeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan C
a
rp
e
n
t
er
e
x
tra: make do_comparison() ha
n
d
le
t
w
o variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
penter
ranges
:
introduce f
r
ee_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
penter
ran
g
es: introdu
c
e p
o
ssibly_true/false_range_
l
is
t
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan
Carpen
t
er
precedence: do
n
'
t complai
n
about if
foo
i
s
0
-
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan
Carpenter
e
xtra: cleanup: rename do_comp
a
rison_r
a
n
g
e() => do_comparison
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Ca
r
penter
known
_
co
n
diti
o
n_true/
f
a
l
se()
:
han
d
le ex
p
res
s
ion statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
D
a
n Carpenter
*new* check_kunmap(): confusion between kmap() an
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan
Carpen
t
er
*new* smatch
_
scripts/u
n
l
o
c
ked_
p
a
t
h
s
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpe
n
ter
flow: cleanup: make sp
l
it_func
t
i
o
n() it's own
f
unction
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Da
n
Carpent
e
r
deref
_
ch
e
c
k:
use in_macr
o
() to
s
ilen
c
e most of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
D
an Car
p
e
n
ter
m
ath: introduce get_absolu
t
e_min/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpent
e
r
m
a
th: cleanup: re
n
ame get_implied_sin
g
l
e_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
t
er
math: cleanup: sh
u
f
f
l
e
some funct
i
ons
a
round
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpenter
m
a
th: c
l
e
a
n
up: get rid of
t
he *disc
a
rd thin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carp
e
nter
math
:
cleanup: get rid of
IMPLIED_SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carp
e
n
ter
del
e
te check_null_der
e
f
.
c and
clean up validation
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Carpenter
flow: the nex
t
statement
s
hould never
be t
h
e cur
r
ent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new
*
check_check_
d
eref
.
c: checking for null inco
n
sistently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an
Carpente
r
*new*
c
heck_n
o
_
e
ffect: print warnings statem
e
nts
t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpenter
setu
p
default modification hooks
i
n set_true_f
a
lse_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n
C
arpent
e
r
introduce in_ma
c
ro() which r
e
turns tru
e
if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
introdu
c
e
:
in_expression_st
a
t
e
m
ent() and renam
e
get
_
b
lock
_
th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carp
e
n
ter
ch
u
r
n: rename __split_st
a
t
e
m
ents() =
>
__
s
p
lit_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
Carpenter
extra: h
a
ndle
i
++ an
d
i += 2
b
etter ou
t
side
l
oop
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpent
e
r
f
i
l
ter_kernel_
d
e
ref_
c
he
c
k
.
s
h
: print the fun
c
t
ion na
m
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
penter
Add
STRING_HOOK fo
r
e
x
amin
i
ng
s
trings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpente
r
*ne
w
* check_kernel
.
c: handle tomoyo_memory_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
enter
c
ore: f
i
x handling of
s
witch s
t
atement
s
w
ith unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpente
r
bail out earlier if functions get t
o
o diff
i
c
ult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
rpent
e
r
in
c
lude
s
tatic functions
i
n list of f
u
nctions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
arpent
e
r
*
ne
w
*
freeing_null:
calling free for
a variable
t
hat
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Car
p
enter
equiv: c
a
l
l
remove_from_equiv() o
n
assign
m
ent
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
m
at
h
:
preve
n
t d
i
vide by zero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carp
e
nt
e
r
check_lock: add more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
D
an
C
a
rpen
t
e
r
ne
w
:
check_p
r
oc_create(
)
check for
w
orld writable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
r
penter
math: tea
c
h smatch to unders
t
a
n
d c
o
n
st va
l
ues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
ter
check_overf
l
ow:
f
ix t
h
e
or
e
ti
c
al memo
r
y leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
t
er
core:
f
ix problem in handl
i
n
g
se
l
ect st
a
teme
n
t
/
OR
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
C
arpenter
cleanup:
r
e
n
ame
sm_
s
t
ates to
"
sm" in
s
tead of "
s
tate"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
p
e
nter
g
e
t_v
a
riable_from_expr():
if it
i
nvo
l
ves a numb
e
r it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpent
e
r
debug:
p
rint mo
r
e use
f
u
l information ab
o
u
t
condit
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpente
r
locking: h
a
ndle spi
n
_trylock_ir
q
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
locki
n
g: handle spin_lock_irqsa
v
e_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
locking:
h
andle
r
a
w_spin_u
n
lock_
i
rqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
lo
c
k
i
n
g: make "sometimes locked" messages
d
epend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
arpenter
Me
r
ge branch
'devel' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
equiv
:
if a variable is
o
nly equi
v
alent
t
o itself set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
ext
r
a:
u
se
t
he fa
k
e
as
s
ignments instead of the
initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
Carpenter
equiv: never set SMATCH_EXTRA values directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
r
penter
equ
i
v
: eli
m
inat
e
bo
g
u
s cal
l
t
o
set_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
er
introduce
__smatch_debu
g
_on()
a
nd __smatch_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
a
r
penter
locking:
m
a
k
e spinlock_irqsave() work for
m
y config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking:
white
s
pac
e
fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
Carpenter
l
ocking:
add
m
o
r
e standard
locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Ca
r
penter
check_lock
i
ng: cle
a
n up list of kernel lock
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
an Carpenter
handle select assigns: f
o
o = a ? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carp
e
nter
core: fake cu
r
_slist
m
ore completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: rewrite select
s
t
a
teme
n
t ha
n
d
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
states:
v
erify
that the stacks
a
r
e empty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Car
p
enter
R
en
a
me func
t
ions:
__pop_f
o
o() => __
d
iscard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
e
r
smatch_st
a
t
e
s: r
e
n
ame som
e
functio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an
C
a
r
penter
release_resource
:
Doh
.
It
'
s looking
f
or
t
he wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carp
e
nter
fix select stat
e
ment handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
penter
core:
c
lean
u
p
.
delete fake
c
ondition
s
t
ac
k
cod
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: make f
a
ke cur
_
slists sta
c
k
able
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpent
e
r
slist: make
s
et_state_stack
(
) r
e
turn the n
e
w sm_stat
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*
new* check_release_
r
esource
.
c: check that we release
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
D
a
n Carpenter
f
low: s
p
lit asm clobbers, i
n
puts and
o
u
tp
u
ts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan C
a
rpe
n
ter
w
h
ite_spac
e
on
l
y:
a
llow h
e
ader files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n
Carpenter
*new* stri
p
_
wh
i
tes
p
ace
.
p
l
: remove
s
all th
e
whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n Carpenter
*
n
e
w*
check_resource_
s
ize(): prod peo
p
le to use resource
_
size
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
e
xtra: assume
i
mpossible thing
s
ar
e
impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carpe
n
ter
err_ptr: fix
b
t
rfs false posi
t
ives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Da
n
Carp
e
nter
er
r
_
p
tr: handle
w
hen a
n
e
r
r_p
t
r is reas
s
igned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new*
check_db_inf
o
.
c pri
n
ts ou
t
stuff th
a
t will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
e
n
t
e
r
c
l
eanup: move
s
tuff from smatch_extra
.
c to
s
m
atch_m
a
th
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
whitespace chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equiv: fix crash
i
ng bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
check_overflow: mall
o
c
(
) => __alloc_smatch_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
smatch
.
c: don't leak
t
hose 10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
a
s
s
igned_e
x
pr: fix memory l
e
ak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpe
n
ter
k
ernel
:
free_are
a
() doesn't call kfree(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Da
n
C
arpenter
*
new*
c
h
eck_return
.
c: complain if you d
o
n't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpenter
math: make
get
_
impli
e
d_valu
e
(
) work for p
o
inters better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next