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
*new* ch
e
ck_macros: f
i
n
d macr
o
p
r
ec
e
dence b
u
gs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan C
a
rpenter
h
ooks: a
d
d LOGIC_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Da
n
Carpen
t
er
ma
c
ro_table: take the file into account
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpen
t
er
macro_tabl
e
:
d
o not include sma
t
ch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Da
n
Carpen
t
er
flow:
h
andle lo
g
ic things like:
f
oo(a && a->bar
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
rpen
t
er
signe
d
: comparing to lit
e
rals
together creates a fals
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
rpenter
deref_check: r
e
mov
e
the --spam
m
y option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
C
ar
p
enter
dele
t
e check_leaks
.
c: This check was al
w
a
y
s w
o
rthless
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Car
p
e
n
te
r
wine: fixup the no retu
r
n functions a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan
C
a
r
penter
macro_table
.
c: replacemen
t
for
i
n_
m
acro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan
C
arpenter
small cle
a
n
u
p and a comment chang
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
*n
e
w*
c
heck_snpr
i
ntf: using th
e
return
value of snprintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpe
n
ter
unused_
r
e
t
urn: p
r
int function name tha
t
was
ignor
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
C
a
rpent
e
r
math: do
n
't pass negative numb
e
rs as a
b
s
olute
ma
x
for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpent
e
r
i
mplied:
a
llow the known part
t
o
be
a rang
e
list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carp
e
nt
e
r
m
ath: fix
get_absolute_min/
m
ax() for si
z
eof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ex
t
r
a
: mak
e
do_co
m
parison() ha
n
d
l
e
t
wo variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carp
e
nter
ranges: introd
u
c
e free_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpenter
rang
e
s: introduce pos
s
ibly_true/false_range_lists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
pre
c
edenc
e
: don't complain about 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:
r
ename do_comparison_
r
ange
(
) => do
_
compa
r
iso
n
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
an Carpenter
k
n
own
_
condi
t
ion_t
r
ue/false(
)
: h
a
ndl
e
expression
s
tatem
e
nt
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*new* chec
k
_kunmap()
:
confu
s
io
n
between km
a
p
(
)
a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*new* smatc
h
_scripts/unlock
e
d_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
D
an Carpe
n
ter
f
low: cleanu
p
: make s
p
lit_fu
n
ction() it's o
w
n funct
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan C
a
r
p
ente
r
dere
f
_che
c
k: use in_m
a
cro() to silence most of th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan
C
ar
p
enter
ma
t
h: introduce get_absolute_min/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
math: c
l
eanup: r
e
nam
e
g
e
t_implied_single_fuzzy_ma
x
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
ter
mat
h
: cleanup: shuffle
s
ome
functions arou
n
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Ca
r
penter
math: cleanu
p
: get
ri
d
of the *discard
thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Ca
r
p
ent
e
r
mat
h
:
c
l
eanup: get rid of IMP
L
IED
_
SIN
G
LE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carp
e
nter
delete ch
e
ck_
n
ull_deref
.
c
and clea
n
u
p
val
i
dation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
flow: the next sta
t
e
m
ent should nev
e
r
be
t
he c
u
rrent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
e
n
ter
*
new*
che
c
k_check_deref
.
c: checking for nu
l
l
i
nconsiste
n
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Car
p
e
n
ter
*new* c
h
eck_
n
o_effe
c
t: print
warnings statements that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carpen
t
er
setup default modif
i
cation hooks in set_
t
rue
_
false_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
int
r
oduce in_macro(
)
which returns true if we're i
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan C
a
r
p
enter
introduce
:
in_expression_statement(
)
and re
n
ame get_b
l
ock_t
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
D
an
Carp
e
nter
churn: ren
a
me __split_s
t
ateme
n
ts(
)
=> __
s
plit_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carp
e
nt
e
r
ext
r
a: ha
n
dle
i++
a
nd i += 2 better outsid
e
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
filt
e
r_kernel_deref_check
.
sh: p
r
int th
e
functio
n
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add
STRI
N
G_HOO
K
f
or examini
n
g
strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpenter
*new* check_kernel
.
c: hand
l
e tomo
y
o_memo
r
y_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpen
t
er
cor
e
: f
i
x handling of switch statements
with unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
bail out earlier i
f
funct
i
o
ns
get too dif
f
icult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan
Carpenter
incl
u
d
e static functions
in lis
t
of function
s
wh
i
ch
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpent
e
r
*new* freei
n
g_nul
l
: callin
g
free for a v
a
riable that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv: call remove
_
fro
m
_equi
v
() on a
s
sig
n
ment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
pente
r
m
ath
:
prevent divide
by zero
b
ugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
check_lock: add mo
r
e
locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan
C
a
rpenter
new: check_proc_create()
c
h
e
ck for world writ
a
bl
e
proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Carp
e
nter
math:
tea
c
h smatch to understand cons
t
values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check
_
o
verf
l
ow: f
i
x
t
heoretical memory l
e
ak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Ca
r
penter
co
r
e: fix probl
e
m in handling sel
e
c
t statem
e
nt / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
clea
n
up: rename sm_sta
t
es to
"sm" in
s
te
a
d
o
f
"state
"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
get_variable_fr
o
m_expr
(
): if
i
t
i
nvolves a num
b
er it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
n
ter
debug: print m
o
r
e u
s
eful information ab
o
u
t con
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking:
h
an
d
le
s
pi
n
_trylock_irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Car
p
enter
locking
:
handle sp
i
n
_
l
oc
k
_
irqsa
v
e_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
arpent
e
r
l
o
cki
n
g
:
handl
e
raw_s
p
in_unlock_irqresto
r
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
o
cking
:
ma
k
e "
s
o
m
etim
e
s l
o
cked" messa
g
es dep
e
nd on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nter
Merge branch 'devel' into
d
evel_e
q
uiv
commit
|
commitdiff
|
tree
2010-03-31
D
a
n C
a
rpen
t
er
equ
i
v: if a variable is
o
nly eq
u
i
v
alent to itself set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use the fake assignments instead
o
f
t
he
initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
er
equiv:
n
ev
e
r se
t
SMATCH_
E
X
TRA values dir
e
ctly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
nter
equiv:
elim
i
nate bog
u
s
c
all t
o
s
et_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
intr
o
duce _
_
sm
a
t
c
h
_debug_
o
n() a
n
d __s
m
at
c
h_debug_off
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpe
n
t
e
r
locking: make spinlock_irqsave()
work for
my c
o
nfig
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
locking:
whit
e
space
fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
locking: add mo
r
e standard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
c
hec
k
_lo
c
king: clean up list of ke
r
nel locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
ha
n
dle s
e
l
e
ct assigns: f
o
o = a ? b
: c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
C
arpenter
co
r
e: fake cu
r
_slist more completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: rewrite sel
e
c
t statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
penter
state
s
:
v
erify
t
ha
t
the
st
a
c
k
s ar
e
e
m
p
ty at the
e
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpenter
Re
n
ame
functions: __
p
o
p_foo() =>
_
_
d
iscard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
s
mat
c
h_states:
rena
m
e some func
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpent
e
r
release
_
re
s
o
u
rce: Doh
.
It's look
i
ng for t
h
e wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
fix
s
el
e
ct statement handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
ter
core: clean
u
p
.
delete fake condition stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: m
a
k
e
fake cur_sli
s
ts
s
tackab
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
p
enter
s
list: ma
k
e set_state_stack() return
t
he new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*ne
w
*
check_release_r
e
source
.
c: check
t
hat we
releas
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split
a
sm clob
b
e
r
s
,
inpu
t
s and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
wh
i
te
_
space
o
n
ly: allow heade
r
f
i
les
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* strip_whitesp
a
ce
.
pl: removes al
l
the whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* check_reso
u
r
c
e_size(): prod people to use resource
_
s
i
z
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
D
a
n
C
arpent
e
r
ext
r
a
:
assum
e
im
p
ossible things are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
r
p
e
n
ter
err_ptr: fix btrfs false
p
osi
t
ive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
r
p
ent
e
r
e
rr_ptr: ha
n
d
l
e when
a
n
err_ptr is reassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
*new* check_db_info
.
c prints o
u
t
stuff that will
be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
p
enter
cleanu
p
: move stuff from smatch_extra
.
c to smatch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
whitespace cha
n
ges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpe
n
ter
equiv: fix
c
rashing b
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
r
penter
check_
o
ver
f
low
:
mallo
c
(
)
=> __alloc_smatch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
smatch
.
c: don
'
t leak th
o
s
e
10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
pent
e
r
assigned_
e
x
p
r:
fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n
Carpen
t
er
kernel: fr
e
e_are
a
() doesn'
t
call kf
r
ee()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* che
c
k_return
.
c: compl
a
in if you do
n
't ch
e
ck the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
a
r
p
e
n
ter
math: make get_implied_value() work for p
o
inters better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next