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
Dan
C
ar
p
enter
m
acr
o
_tabl
e
:
do not include s
m
atch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
flo
w
: handle logic things like: foo(a && a-
>
b
ar);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Da
n
Carp
e
nter
s
i
gned: comparing to literals togethe
r
creates a fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpente
r
d
eref_chec
k
:
rem
o
v
e
the --sp
a
m
m
y option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan C
a
rpenter
delete check_lea
k
s
.
c: T
h
is
c
heck was always worthles
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Da
n
Carpenter
wine: f
i
xup the no
r
e
tu
r
n functions a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan
Ca
r
penter
macro_table
.
c: replacement for i
n
_mac
r
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
s
m
a
ll
c
leanup an
d
a comment change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpente
r
*new*
chec
k
_s
n
printf: using t
h
e return value
o
f snprint
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carpe
n
ter
unused
_
return: print functi
o
n
n
ame that
was i
g
nored
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
math: don't
pass negative
n
umber
s
as ab
s
o
l
ute max for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
enter
implied: a
l
low
t
he
known part to be a range lis
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n
C
ar
p
e
n
ter
mat
h
: f
i
x get_a
b
solute_
m
in/m
a
x() f
o
r
s
izeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
e
xtra: make do_
c
omparison() hand
l
e two variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n
Carpenter
range
s
: introduce free_
r
ange_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ranges: intro
d
uce
p
ossibly_true/fals
e
_range_lists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
pre
c
edence: don'
t
complain
a
bo
u
t i
f
fo
o
is 0-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpen
t
er
extra:
c
leanup: r
e
nam
e
do_
c
o
mp
a
ris
o
n_range(
)
=>
d
o
_comparis
o
n()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan C
a
rpenter
known_conditio
n
_
t
r
u
e/
f
alse(): handle expr
e
s
sion statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*new*
che
c
k_kunmap(): confusion betwe
e
n kmap() an
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*new* sma
t
ch_scripts/un
l
ocked_path
s
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
flow: cleanup: ma
k
e split_function()
i
t's own fun
c
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Car
p
ent
e
r
de
r
ef_check:
u
s
e in
_
ma
c
ro
(
) to silence mo
s
t of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
m
ath:
i
ntroduce get
_
absolut
e
_min/max(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
ter
math: cleanup
:
rename get_implied_
s
ingle_fuzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Ca
r
penter
math:
c
lean
u
p: shuffle some
f
unctions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carp
e
n
t
e
r
math:
c
leanup: get rid o
f
th
e
*discard thin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Ca
r
pe
n
t
er
math: cl
e
anu
p
: get ri
d
of IMPLIED_SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Ca
r
p
e
nter
delete check_nu
l
l_
d
er
e
f
.
c
and
c
l
ean up validation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Car
p
enter
flow: the ne
x
t statement
s
hould never
be th
e
current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpe
n
ter
*ne
w
*
check_
c
heck_deref
.
c
: checking for
n
ull inconsistently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
en
t
er
*new* check_no_effect: print
w
arnings statem
e
nts that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Carpenter
se
t
u
p defa
u
lt m
o
dif
i
cation
h
oo
k
s in set_true_false_s
t
ates()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carpen
t
er
introduce in_macro() which retu
r
n
s true if we're
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Da
n
Carp
e
nter
introduce: in_exp
r
ession_statement() and ren
a
me get_b
l
ock_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpenter
churn: rename __split_stateme
n
ts() => __split_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rp
e
nter
ext
r
a: ha
n
dle
i
++ and i +=
2 b
e
tter outside loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
f
ilter_kern
e
l_d
e
ref_check
.
sh: prin
t
the
function
names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
en
t
er
Add STRING_H
O
OK f
o
r
examining str
i
n
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
e
nter
*n
e
w* check_kernel
.
c
:
h
a
ndle tomoyo_me
m
o
ry_ok
(
)
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
enter
core:
fix
h
and
l
ing of switch
statem
e
nt
s
with u
n
reacha
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n Ca
r
penter
bail out earlier if
fu
n
c
tions
g
et too difficult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n Carpe
n
ter
include stat
i
c functions in list o
f
funct
i
ons which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan
Carpenter
*new* fr
e
ei
n
g_null:
c
alling free for a variable that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n C
a
rpenter
e
q
u
iv: call rem
o
ve_from_
e
qui
v
() on as
s
ignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpent
e
r
m
a
t
h
:
prevent divi
d
e by zer
o
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n Carpen
t
er
c
h
eck_lock: add more l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
D
an Carpenter
new
:
check_p
r
o
c_create() che
c
k for world w
r
itable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
t
e
r
math: teach smatch t
o
unde
r
stand
c
onst va
l
ues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nt
e
r
chec
k
_overflow: f
i
x
theore
t
ical memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Ca
r
penter
c
o
re: fix problem in handling
s
ele
c
t
s
tatem
e
nt / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
c
leanup:
rename
s
m_states to "sm" instead of "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpent
e
r
g
e
t
_variable_fr
o
m_expr(): if it involves a number
i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nte
r
debug: p
r
int more useful inform
a
t
ion
a
b
out conditio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
enter
locking: ha
n
d
l
e spin_trylock_ir
q
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
enter
locking
:
handle spin_lock_irqsave_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Ca
r
penter
l
o
cking: h
a
ndle raw_spin_unlock_irqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
o
cking: ma
k
e "someti
m
es lo
c
ke
d
" messages depend o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
Merge branch 'de
v
e
l
' int
o
deve
l
_
e
quiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nter
eq
u
i
v
: if a var
i
able is only
e
quivalent t
o
it
s
elf set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
nter
extra: use
t
h
e fake assignmen
t
s
i
nstead of the initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Car
p
ent
e
r
equiv
:
never set SMATCH_EXTRA values directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
C
a
r
pen
t
er
e
qu
i
v: eliminate bogus call
to set_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
Carp
e
nter
i
ntroduce __
s
m
atch
_
d
ebug_
o
n()
and __smatch
_
d
e
bug_off
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n
Carpenter
lo
c
ki
n
g: ma
k
e spinlock_irqsave() work fo
r
my con
f
ig
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpenter
l
o
ckin
g
: white space fi
x
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
n
ter
locki
n
g: add more standard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
ch
e
ck_locking: clean up l
i
st of kernel
l
ocks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
handle s
e
le
c
t a
s
si
g
ns: foo = a
?
b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arpenter
core: f
a
k
e cur_sl
i
st more com
p
l
e
tely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpenter
core: rewrite select sta
t
ement h
a
n
dli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
s
t
ates: ver
i
f
y tha
t
the stacks
are empty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n C
a
rpen
t
er
Re
n
a
me functio
n
s
:
__po
p
_foo() => __d
i
s
car
d
_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
p
e
nte
r
smatch_states: r
e
name some functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carpenter
release_resource: Doh
.
It's looking for the 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
Dan Carpenter
core: clean
u
p
.
delete fake cond
i
tion
s
t
a
ck code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Car
p
enter
core: make
fake
c
u
r_sli
s
ts
s
tackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpenter
slist: make set_state_s
t
ack() r
e
tur
n
the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
te
r
*
new* check_relea
s
e_resource
.
c: check that we release
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow:
s
p
l
i
t a
s
m clobbers, inputs and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Da
n
Carpenter
white_spaceon
l
y: allow header
files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n C
a
rpenter
*new* strip_whit
e
space
.
pl:
removes all the whites
p
a
c
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan C
a
rpe
n
ter
*
n
ew*
ch
e
ck_
r
esour
c
e_size():
p
rod people
t
o
use resource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan C
a
rp
e
nter
extra: assume impossibl
e
t
h
ings are
i
m
possi
b
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Carpent
e
r
e
r
r_pt
r
: fix btrfs false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
an Carpenter
err_p
t
r: h
a
n
d
le
w
hen an err_ptr is reassi
g
ned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
en
t
er
*n
e
w* che
c
k_
d
b_info
.
c prints out stuff that
w
i
ll be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
ar
p
e
nter
clean
u
p: move
s
tuff from smatch_extra
.
c to
smatch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
whitespac
e
changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
pente
r
equiv: fix
c
ra
s
hing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpen
t
er
c
hec
k
_overflow: malloc() => __alloc_smatc
h
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
smatch
.
c: don't leak those
1
0 b
y
te
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigned_ex
p
r: fix memory le
a
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
an Carpente
r
kernel: free_
a
r
e
a() does
n
'
t
c
a
ll kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan
Carpenter
*new* c
h
eck_
r
eturn
.
c:
c
omplain if you don't ch
e
ck t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
math
:
mak
e
g
e
t_im
p
lied
_
value()
w
ork f
o
r point
e
r
s
b
e
tter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math: clea
n
up:
c
r
eate separate _
g
et_imp
l
ied
_
v
alue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: handle modulus '
%
' operat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
m
ath:
hand
l
e
EXPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next