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 Car
p
enter
*ne
w
* check_
m
acros:
find macro
p
re
c
e
dence bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
hooks: a
d
d LO
G
IC
_
HO
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan Carpenter
macro_
t
able: take the file into
acc
o
u
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
macr
o
_table
:
do n
o
t in
c
lud
e
smatch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
flow
:
handl
e
lo
g
ic things lik
e
: foo(a && a-
>
b
a
r);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Da
n
Carpenter
sign
e
d: compari
n
g to
lit
e
rals tog
e
th
e
r
c
reates
a false
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
D
an
C
arpenter
deref_c
h
eck: remove the --s
p
am
m
y opt
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
C
arpenter
dele
t
e
c
heck_leaks
.
c: This check was always
w
ort
h
les
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
w
ine: f
i
xup t
h
e
no re
t
urn f
u
nctions a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carp
e
nter
macro_table
.
c: replacement
for in_macro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
D
an Carpente
r
small cl
e
anup a
n
d
a comment change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan C
a
rpenter
*new* check_snprintf:
u
sing the
return va
l
ue of
s
n
pri
n
tf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Car
p
enter
unused_return:
p
r
i
nt f
u
n
c
tion
n
ame that
was
i
gno
r
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
ar
p
enter
math: d
o
n't p
a
ss negative n
u
mbers as absolu
t
e m
a
x for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Carpe
n
ter
im
p
lied: allo
w
the known par
t
to
b
e a ran
g
e l
i
st
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
an Carpenter
math: fi
x
get_absolute_min/max() for siz
e
of
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carp
e
nter
extra: make do_comparison() ha
n
d
l
e two variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Carp
e
nter
r
a
n
ges: introduce free_range_list
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Carpenter
ranges
:
i
n
tr
o
duce possibly
_
tru
e
/false_range_lists(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
prece
d
ence:
d
on't compla
i
n
a
b
o
ut if foo is
0
-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Carpenter
extra: cleanup
:
ren
a
me do_c
o
m
parison
_
rang
e
() => d
o
_compa
r
ison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Da
n
C
a
rp
e
nt
e
r
known_cond
i
ti
o
n_true/false(
)
: ha
n
dle expressi
o
n
statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpente
r
*new* check
_
k
unmap()
:
co
n
fu
s
ion b
e
tween kmap
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carp
e
nt
e
r
*new* smatch_scripts/unl
o
c
k
e
d
_
p
at
h
s
.
p
l
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpente
r
flow:
c
lean
u
p: make split
_
fu
n
ction() it's own function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
deref_check
:
use in
_
macro(
)
to
silence
m
ost o
f
th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
m
ath: introduce get_absolute_min/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
ma
t
h: cleanup
:
re
n
ame
g
e
t
_impli
e
d_single_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: c
l
eanup: sh
u
ffle some func
t
ions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
math:
c
leanup:
g
et rid of t
h
e *d
i
scard thin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpe
n
t
er
ma
t
h
: cleanup: get rid of
I
MPLIE
D
_SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
delete check
_
null_deref
.
c and
c
lean up validation
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
flow:
the nex
t
s
t
a
tement should never be t
h
e current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpenter
*n
e
w* check_check_de
r
ef
.
c: checking for null inconsistently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Carpe
n
te
r
*new*
c
he
c
k
_no_
e
ffect:
print warnings stateme
n
ts th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Carpenter
setup default modi
f
icat
i
on hook
s
in
s
e
t
_true_false_st
a
tes()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Car
p
ente
r
i
ntrod
u
ce in_
m
acro() whic
h
r
e
turns true if we're
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpente
r
i
ntroduce: in_e
x
pression_statement()
a
nd rename get_bl
o
ck_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpente
r
churn: rena
m
e __s
p
l
i
t_statem
e
nts() => __split_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carpenter
extra: handle i++
a
nd i += 2
bet
t
er outs
i
de loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
filter_kernel_deref_c
h
ec
k
.
sh:
p
rint the function
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add
STRING
_
HO
O
K for
examini
n
g strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
*n
e
w*
c
h
eck_kernel
.
c: handle tomoyo_memor
y
_
o
k
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
pen
t
er
core: fix ha
n
dling of switch stateme
n
ts with unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpen
t
er
bail out
earli
e
r
i
f
f
unctions get to
o
d
i
ff
i
cult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
a
rpe
n
ter
incl
u
de st
a
tic fun
c
tions in list of
f
unctions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Ca
r
penter
*new* freeing_n
u
ll: calling free
f
or a vari
a
ble that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpenter
equi
v
: call
remove_from_equiv()
o
n assignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n
Carpenter
m
a
th: prevent divide by zero bu
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan
Car
p
enter
c
h
e
c
k_lo
c
k
:
add
more lo
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
D
a
n Carpenter
new: check_proc_cre
a
t
e() check for wo
r
ld
writabl
e
pro
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpen
t
er
math: teach s
m
atch
to understa
n
d cons
t
values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rp
e
n
t
e
r
check_overflow: fix
t
heore
t
ical m
e
mo
r
y leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Carpent
e
r
core
:
fix problem in
h
a
ndli
n
g
select
s
t
a
teme
n
t /
O
Ring
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
C
arpenter
c
l
eanup: r
e
name
s
m_s
t
a
t
es
to "sm" instead of "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
get_variable_from_expr(): if it involves a number it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
debug: prin
t
more u
s
efu
l
infor
m
atio
n
a
b
out conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
ter
locking: handle s
p
in_trylock_irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpenter
lo
c
king:
h
a
n
dl
e
spin_lo
c
k_irqsave_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
lock
i
n
g: handle raw_
s
pin_unlock_irqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
t
e
r
lock
i
n
g: make "sometimes l
o
cked" mes
s
ages depend o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpe
n
ter
M
e
rge branch 'd
e
vel' into de
v
el_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nte
r
equiv: if
a variab
l
e is on
l
y
e
q
u
ivalent to itself se
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Carpenter
e
x
tr
a
: use the fak
e
assignments instea
d
of the initial
i
zer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
e
q
uiv: never
set
S
MA
T
C
H
_EXTRA values di
r
e
ctly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
ent
e
r
equiv: e
l
imina
t
e bogus call t
o
set_st
a
t
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Carp
e
n
ter
introduce __smatc
h
_debug_on() and __sm
a
tch_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: make spin
l
ock_irqsave() work for
my
config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpe
n
t
e
r
locking: white s
p
a
ce
fixes
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
D
a
n C
a
r
penter
check_locking: clean
up l
i
s
t
of kernel lock
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpent
e
r
handle select assigns: fo
o
= a ? b :
c
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
core: fake cur_sli
s
t more c
o
mp
l
etely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
c
ore: rewrite select statement handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Ca
r
p
enter
stat
e
s: verify that t
h
e stacks
a
re
e
mpty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Ca
r
pen
t
e
r
Rename functio
n
s
:
__
p
o
p_foo() => __di
s
card_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch_states
:
rename
s
ome fun
c
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arp
e
nter
release_resource: Doh
.
It's looking fo
r
the wr
o
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n
Carpenter
f
i
x s
e
lect statemen
t
han
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nter
co
r
e: cl
e
an
u
p
.
dele
t
e f
a
ke c
o
ndition stack
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
a
r
p
enter
core: make
fake
c
ur_slists stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpe
n
ter
sl
i
st:
ma
k
e s
e
t_state_stack()
r
e
t
u
r
n the
n
e
w
sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Car
p
ente
r
*n
e
w
*
ch
e
ck
_
re
l
ease_reso
u
rc
e
.
c
:
check that w
e
releas
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpen
t
er
f
l
ow
:
split asm clobbe
r
s, in
p
uts and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_spac
e
only
:
allow
hea
d
er
files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* strip_whitesp
a
ce
.
pl
:
removes all
the whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
Carpenter
*new* check_r
e
source_size(
)
: pro
d
people to use re
s
ource_si
z
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
D
a
n C
a
rpenter
e
x
tra: assum
e
i
m
p
ossib
l
e thi
n
gs
a
re imposs
i
ble
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Carpenter
e
rr_ptr
:
fix btrfs
f
a
l
s
e pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Car
p
enter
err_ptr: handle
whe
n
an
e
rr_ptr is
r
e
ass
i
gned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Ca
r
p
e
nte
r
*new* check_db_i
n
fo
.
c
p
ri
n
ts out stuff that will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
c
l
e
anup: move st
u
ff from smatch
_
ex
t
r
a
.
c to smatch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpen
t
er
whites
p
ace chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
ente
r
equiv
:
fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
check_over
f
low: malloc() => __
a
lloc_smatch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpen
t
er
smatch
.
c: don't leak those 10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
as
s
i
gned_
e
xpr: fix memor
y
l
eak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kernel:
f
r
e
e_area
(
) d
o
esn't call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
*
n
ew* check_return
.
c
:
complain if yo
u
d
o
n't check t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: m
a
k
e
get_implied
_
value() w
o
rk fo
r
poi
n
ters better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next