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
macro_table: do not include smatch.h
2010-05-22
Da
n
C
arpenter
macr
o
_t
a
ble: do not include
s
match
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n Carpent
e
r
flow: handle logic things like
:
fo
o
(a &&
a
-
>
bar);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
signed:
comparing to literals together
c
r
e
ates a f
a
lse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan
C
arpenter
deref_ch
e
ck: remove the --sp
a
mmy option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Ca
r
penter
delete
che
c
k_l
e
ak
s
.
c
: This che
c
k
was always worthless
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
D
a
n Carpenter
wine: fi
x
up the n
o
return
f
un
c
tions
a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Da
n
C
arpenter
macro_table
.
c: replacem
e
nt fo
r
in_macro(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carp
e
n
ter
small cleanu
p
and
a
co
m
m
e
nt chan
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpen
t
e
r
*
n
ew* check_snprintf: using the
r
eturn val
u
e of snprintf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan C
a
r
p
enter
unused_return: p
r
int function name that was ignore
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Carp
e
nter
math: don't p
a
ss negative
n
u
mbers as abs
o
lu
t
e m
a
x for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
enter
i
mpli
e
d: allow the kn
o
wn
p
art to be
a
ra
n
ge
l
is
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
penter
m
a
th:
f
ix get_absolute_min/max
(
)
for
si
z
eof()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
extr
a
: ma
k
e
do_com
p
a
r
ison() hand
l
e two v
a
ri
a
bles
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ranges: introduce free_
r
an
g
e_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
rang
e
s
: introduce po
s
s
ibly_
t
rue/false_rang
e
_list
s
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan
C
arpen
t
er
precedence: don't
co
m
plain about if foo i
s
0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan C
a
rpe
n
t
er
ex
t
ra:
c
leanup: r
e
name
d
o_co
m
parison_ran
g
e() => do_co
m
pari
s
o
n
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Da
n
Carpenter
known_co
n
dition_true/false():
handle
e
xp
r
e
ssion statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Da
n
Ca
r
pen
t
e
r
*new* check_ku
n
map(): confusion between kmap() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpent
e
r
*
new* smat
c
h
_
s
cripts/unl
o
cked_
p
a
t
hs
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
f
l
o
w
: cleanup: make
split_f
u
nct
i
on() it's
o
wn functio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan
C
arpent
e
r
der
e
f
_ch
e
ck: use
in_macro() to
silence most of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpe
n
ter
math: introduce
g
et_abso
l
ute_min/max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carp
e
nter
mat
h
:
clea
n
up:
rename ge
t
_i
m
p
l
ied
_
single_fuzzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carp
e
nter
m
a
t
h
:
cleanup: s
h
uffle so
m
e
f
unctions ar
o
u
nd
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
t
e
r
math
:
cl
e
anup: get rid
of
t
he *discard thi
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpenter
ma
t
h: cleanup:
get rid of
I
MPLIED_SINGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpenter
delete c
h
eck_nul
l
_
d
eref
.
c and cl
e
an
u
p validation/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
C
arpente
r
flow: the ne
x
t
s
tatement should never be the c
u
r
r
ent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
C
arpent
e
r
*ne
w
* check_chec
k
_deref
.
c: c
h
ec
k
ing
for null
i
nconsistentl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Ca
r
pente
r
*new* ch
e
c
k
_no
_
effect:
print wa
r
nings
statements that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setup d
e
fault mod
i
fica
t
io
n
hooks i
n
s
e
t_true_fal
s
e_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carpen
t
er
introd
u
ce in_ma
c
ro() which
r
e
turns true if
w
e'r
e
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
D
a
n Carpente
r
introduce: in_expression_
s
tatement() an
d
rename get_
b
lock_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
D
a
n Carpenter
chu
r
n: renam
e
__spli
t
_
statements() => __sp
l
it_
s
tmt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
Carpenter
e
xtra: h
a
ndle i++ and
i +=
2 better outside loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
filter_kernel_deref_check
.
sh: print the fu
n
ction names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an
C
a
r
penter
A
d
d
STRING_HOOK
f
o
r exa
m
ining
s
trings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
enter
*
n
e
w* ch
e
ck_k
e
rnel
.
c: handle tomoyo_
m
emory_ok() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an Carpent
e
r
core: fi
x
handling of swi
t
ch
s
t
a
tements with unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
ar
p
ent
e
r
b
ail o
u
t earlier if
f
unctio
n
s get too difficult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carp
e
nt
e
r
include static functi
o
ns i
n
list
of functions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* f
r
eeing_null: calling
f
r
ee for a variable that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv: call remove_
f
rom_equiv() on assig
n
ment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
ma
t
h: prevent
d
ivide by zero bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
penter
check_lo
c
k:
add more locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Dan
Carpenter
new: check_p
r
oc_c
r
eat
e
(
) check for world writabl
e
pro
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Ca
r
penter
math: teach smatch to und
e
rstand
cons
t
values
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpente
r
check_overflow: fi
x
theoretical memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
r
p
enter
core:
f
ix problem in
handling select statement / OR
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cleanup: rename sm_state
s
to "sm" inst
e
a
d
o
f "state"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
ge
t
_
v
ariabl
e
_from_e
x
p
r
(
): i
f
it involv
e
s a number
it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
C
a
rpenter
debug: p
r
i
n
t more useful i
n
formatio
n
a
bout
c
ondit
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
locking: handle spin_t
r
y
l
o
c
k_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n
Carp
e
nt
e
r
l
o
cki
n
g: handle spin_lock_i
r
qsa
v
e_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
locking: h
a
ndl
e
raw_spin_unlock_irqr
e
sto
r
e(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
pen
t
er
locking: mak
e
"
some
t
imes lo
c
ke
d
" messages depend on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
Me
r
g
e branch 'devel'
into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan
Ca
r
penter
equiv: i
f
a
v
a
riable is only equi
v
alent
to
i
tself set
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
pente
r
extra
:
use the fak
e
a
s
si
g
nments
instead of the initi
a
lizer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
ar
p
enter
equi
v
: ne
v
er set SMA
T
CH_EXTRA values directly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
a
r
p
e
nt
e
r
equiv:
eli
m
inate bogus call to set
_
st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
er
i
n
troduce
_
_smat
c
h_debug_on()
a
nd __
s
match_de
b
ug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpente
r
l
ocking
:
make spin
l
ock_irqs
a
ve() work for m
y
c
o
nfig
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
D
an
Carpenter
locking: white space f
i
xes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: add more standard locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check_
l
ock
i
ng: cle
a
n up li
s
t o
f
k
e
rnel lo
c
ks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
handl
e
select a
s
sig
n
s: foo
=
a ? b :
c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
an
C
a
r
p
e
nte
r
core: fake cur_slist mo
r
e completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
an Carpenter
core:
r
ewrit
e
sel
e
c
t
statement han
d
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
states: ver
i
f
y
t
h
at the stacks are empty at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Ca
r
p
e
nter
R
e
name fun
c
tions: __
p
o
p
_foo
(
) => __dis
c
ard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
ter
smatch_stat
e
s:
renam
e
some fu
n
ctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
an
Carpenter
re
l
ea
s
e_resou
r
ce
:
D
oh
.
It's l
o
oking
f
o
r
t
he wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpenter
fix select statement
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
Car
p
e
nter
core: cleanup
.
d
elete
f
ake
c
on
d
ition stack
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Car
p
enter
core: make fake cur_slists stackabl
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Car
p
enter
slis
t
:
make
s
e
t_state_stack() return the new s
m
_
st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new* check_release_re
s
ource
.
c:
check that
we rel
e
ase
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split asm cl
o
bbers,
inputs and outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpe
n
ter
white_spaceonly: allow header file
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carp
e
n
t
er
*
n
ew* strip_whitespace
.
pl: removes all the whi
t
espace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* check_reso
u
rce_size
(
)
: prod people
t
o
use resource_si
z
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan
Ca
r
pen
t
e
r
e
x
tra: assume impo
s
sible things ar
e
impossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan
C
arpenter
e
rr_pt
r
: fix
bt
r
fs
f
a
lse positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_
p
tr: handle when
a
n err_ptr i
s
reas
s
igned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* ch
e
ck
_
db_inf
o
.
c prints out
s
tuff that will
b
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
Carpenter
cl
e
anup
:
move stuff from smatch_extra
.
c to smatch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
w
h
ite
s
pace change
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
equ
i
v
: fix cr
a
s
hing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
check_ov
e
rflow: malloc() =
>
__
a
lloc_smatch_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
a
r
penter
sm
a
tch
.
c: don't leak
thos
e
10 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
as
s
igned_expr: fix memory
l
e
a
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
k
e
r
nel: free_area() doesn't
c
all kfree(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n
Carpen
t
er
*
n
e
w
* chec
k
_ret
u
rn
.
c: complain
i
f you
don'
t
che
c
k the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpe
n
ter
math: make
g
et_implied
_
value
(
) wor
k
f
o
r
pointers
b
e
t
te
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
math: c
l
eanup: create
s
e
p
a
rate
_
get
_
impl
i
ed
_
value(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math: hand
l
e modulus '%
'
operations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math:
h
a
ndle EXPR_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next