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
hooks: add LOGIC_HOOK
2010-05-25
Dan Car
p
enter
hooks
:
a
d
d
LOGIC_HOO
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
D
an Carpe
n
ter
macro_table: take
th
e
file
into account
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpent
e
r
macro_table
:
d
o
not
in
c
lude sm
a
tch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carp
e
nter
f
low: handle logic
t
hings li
k
e: foo(a &&
a->bar);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
signed: compari
n
g to literals together creates
a
false
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Da
n
Carpen
t
er
d
eref_check: remove the --spammy o
p
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
D
an Carpent
e
r
delete check_lea
k
s
.
c: This
c
h
ec
k
was always worthless
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan
C
ar
p
enter
wi
n
e: f
i
xup the
n
o return fun
c
tions
a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpe
n
te
r
macro_
t
able
.
c
:
replac
e
ment for in
_
mac
r
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan
Carpenter
sma
l
l cleanup and a comment cha
n
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpent
e
r
*new* ch
e
ck_snprintf: using the
r
eturn
value of sn
p
rintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpenter
unused_retu
r
n
: print
f
u
n
ction
n
ame
t
h
a
t was i
g
nored
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
math:
d
on'
t
pass negative numbers as
a
b
s
olute
m
ax for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpe
n
te
r
i
mplied: allow the known part
t
o b
e
a range lis
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carp
e
nter
math: fix get_absol
u
t
e
_
m
in/max() for sizeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n
C
a
rpen
t
er
extra: ma
k
e do
_
co
m
par
i
son() handle two variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
pe
n
ter
ranges: introdu
c
e fr
e
e_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arp
e
n
t
er
ra
n
ges: intr
o
duc
e
possibly_t
r
u
e
/
false_ra
n
ge
_
list
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
an Carpenter
precedence: don't compl
a
in about i
f
foo is 0-
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
extra:
c
lean
u
p:
rename do_comparison_ran
g
e() =>
d
o_compa
r
ison()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Carpente
r
kn
o
wn_condition_true/false(): handl
e
express
i
on sta
t
ements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
D
a
n
C
ar
p
enter
*new* ch
e
ck
_
kunmap(): confusion between kma
p
() a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpent
e
r
*new* smatch_scripts/unlocked_
p
aths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
D
an
C
arpent
e
r
f
l
ow: cl
e
a
n
up: m
a
ke sp
l
i
t
_function() it's own f
u
nct
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
D
an Carpenter
d
eref_check: use in_
m
a
c
ro() to silence most of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan C
a
rpenter
mat
h
:
i
ntrod
u
c
e
get_abs
o
lute_m
i
n/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
a
r
penter
math: cleanup: rename get_implied_sing
l
e
_
f
u
z
z
y_max(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
m
ath: cleanup: shuf
f
le s
o
m
e functions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Car
p
enter
mat
h
: clea
n
up: get rid of
t
h
e *d
i
scar
d
thi
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpenter
mat
h
: cleanup:
get rid of IMPLIED_SIN
G
LE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carpenter
delete check_null_deref
.
c and clean up v
a
lidation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Ca
r
penter
flow: the next statement should
n
ever
be the cu
r
rent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*
n
ew* check_check_deref
.
c: checking f
o
r null incons
i
stently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an
Carpen
t
er
*
n
ew*
check
_
no_effe
c
t: print warnings statem
e
nt
s
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carp
e
nter
setup
d
efault mo
d
if
i
cation hooks in set_true_fal
s
e_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Carpenter
i
ntroduce in_
m
acro() which returns
true if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Car
p
enter
introduce: in_expressio
n
_statemen
t
(
)
and rename get_block_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpen
t
er
churn
:
renam
e
__split_statement
s
()
=> __sp
l
it_s
t
m
t
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
Carpenter
extra:
handle i++ a
n
d
i
+= 2
better outside
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
nter
filter_ker
n
el_de
r
ef_check
.
sh: pri
n
t t
h
e
function names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpente
r
Add STRING_HOOK
f
or examining strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpente
r
*new* check_k
e
rnel
.
c: han
d
le
t
omoyo_memory_ok
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpent
e
r
core: fix handling of switch statements wi
t
h
unreachabl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Car
p
enter
bail out
earlier if f
u
nction
s
get too difficul
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
an Carpenter
incl
u
de static functions in list of f
u
nctions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* freeing_null
:
calling free fo
r
a vari
a
ble tha
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv: ca
l
l
r
e
move_from_eq
u
iv() on as
s
i
gnment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan
Carpe
n
ter
math: prevent div
i
de by zero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n Ca
r
pen
t
e
r
check_lock:
add
more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpenter
new:
c
heck_proc_create()
check for world writable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpent
e
r
mat
h
: teach smatch to u
n
d
e
r
s
t
and const
values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
penter
c
heck_overflow: fix t
h
eoretical memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
core: fix problem in handl
i
ng select s
t
atement
/ ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
clean
u
p: rename sm_states
to "sm" instead of "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
g
e
t_variable_
f
rom_expr(
)
: if
i
t involves a number
i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arp
e
nter
deb
u
g
: print more u
s
eful information about co
n
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arp
e
nt
e
r
locking:
handle spi
n
_trylock_
i
rq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
an
C
a
r
pen
t
er
locking: hand
l
e spin_lock_irqsave_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: hand
l
e
raw_spin_un
l
ock_
i
rqre
s
t
o
re()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpent
e
r
locki
n
g
:
make "sometimes l
o
cked" mess
a
ges depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
er
Me
r
ge bra
n
ch '
d
e
v
e
l
'
into de
v
el_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nte
r
equiv:
if a variable is only equivalent to itself
set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra:
use the f
a
ke
a
ssi
g
nment
s
instead of the initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
equiv:
n
ever set SMA
T
CH_EXTRA values directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Ca
r
penter
equiv: eliminate bogus call to set_s
t
a
t
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
pe
n
ter
i
ntro
d
uce __s
m
atc
h
_debug_on() and __smatch
_
debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
locking:
m
a
k
e
sp
i
n
l
ock_
i
rqsav
e
(
)
wor
k
f
or 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
pace fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
l
ockin
g
: add more s
t
andard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan
C
arpenter
check
_
locking
:
c
l
ea
n
u
p list of kerne
l
loc
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
Carpe
n
t
e
r
h
a
ndle sel
e
ct assigns
:
foo
=
a ?
b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n C
a
r
penter
co
r
e: fake
c
u
r_slist m
o
r
e
c
ompletely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpen
t
er
core: r
e
write sel
e
ct statement ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
state
s
:
v
erify that the stac
k
s
ar
e
emp
t
y a
t
the e
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
enter
Rename
func
t
i
ons: __pop_fo
o
() =>
__
d
i
sca
r
d_f
o
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
p
e
nter
smatch_
s
ta
t
e
s: rename some functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
releas
e
_
r
esou
r
ce:
Doh
.
It's
l
o
ok
i
n
g for the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpenter
fix sel
e
ct statement han
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
cor
e
:
c
leanup
.
dele
t
e
f
ake
c
onditi
o
n
s
t
ac
k
c
o
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpe
n
te
r
c
o
re: make
fake cur_slists stackabl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist: make
s
et_state_stack(
)
return the new
s
m_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpenter
*ne
w
* check_r
e
le
a
se_re
s
ou
r
ce
.
c: check
t
hat we re
l
eas
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
fl
o
w
: split
a
sm clobbers, inputs and outpu
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan
C
arpenter
white_s
p
aceonly: al
l
o
w header
fi
l
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* str
i
p_whitespace
.
p
l
:
r
emoves
all th
e
whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* check_re
s
ource_size():
pr
o
d
p
eo
p
l
e
to use resource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extr
a
: assum
e
i
m
po
s
s
i
b
l
e
thi
n
gs are impossibl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
rp
e
nter
e
r
r_ptr: f
i
x btrfs false
p
ositi
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
e
r
r_ptr: han
d
le when an err
_
p
tr is reassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*
n
ew* check_db
_
in
f
o
.
c prints out
s
tuff t
h
at will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
cleanup
:
move stuff
f
rom smatch_extra
.
c to smatch
_
m
a
t
h
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpen
t
er
w
hites
p
ace c
h
ang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
equiv: fix cra
s
hing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
c
heck_
o
verflow: ma
l
loc(
)
=> __alloc_smatch_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
sm
a
tch
.
c: don't le
a
k
t
h
o
s
e
10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
C
arpenter
assigned_expr: fix
m
emory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
ent
e
r
kernel:
free_area() does
n
't
c
a
ll kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* chec
k
_re
t
urn
.
c: complain if you don't check
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
ma
t
h: make get_implied_value() work for pointe
r
s be
t
ter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carp
e
nter
math: cleanup
:
create sep
a
r
a
te _get
_
implie
d
_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next