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
precedence: don't complain about if foo is 0-1
2010-05-10
Dan Carpenter
prece
d
ence:
don't comp
l
a
i
n a
b
o
u
t
i
f foo is 0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n Ca
r
pente
r
extr
a
:
c
leanup:
r
e
n
ame do_co
m
parison_range() => do_comparis
o
n(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpe
n
ter
k
n
own
_
condition
_
true/f
a
lse()
:
handle expression
statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan
Car
p
enter
*new*
check
_
kunmap
(
): con
f
usion b
e
tween kmap() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
Dan Ca
r
pent
e
r
*new*
s
ma
t
c
h
_scripts/unlocked
_
paths
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpe
n
ter
flow: cleanup: make split_function()
i
t's own function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
d
eref_c
h
eck: use
i
n_macro() to
s
i
l
e
nce most of th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpente
r
m
ath: introduce get_abs
o
lute_min
/
m
a
x()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Ca
r
penter
math: clean
u
p:
r
e
name get_implied_single_fuzz
y
_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
ter
math: cleanup: s
h
uffle s
o
me functions arou
n
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
ma
t
h: clea
n
up: get rid o
f
the *di
s
card t
h
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n
Car
p
enter
math: cleanup:
get rid of IMPLIED_SI
N
GLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
delete ch
e
ck_null_
d
eref
.
c
a
nd clean up validat
i
o
n/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
flow: th
e
n
e
xt
s
tatement
s
h
o
u
ld
n
ever be the
c
u
rrent
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
D
an
Ca
r
p
ente
r
*new*
c
h
e
ck_ch
e
ck_dere
f
.
c: checking for null i
n
consisten
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
e
n
ter
*new* check_no_effec
t
: print warning
s
statements
t
hat
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan C
a
r
penter
setup default mo
d
if
i
c
at
i
on hooks in se
t
_true_false_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-27
Dan
C
arpenter
introduce
i
n_macro() which re
t
urn
s
tr
u
e if we
'
re
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
int
r
oduce: in_expression_sta
t
em
e
nt() and r
e
na
m
e get_block_th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-24
D
an Carpente
r
chu
r
n: re
n
ame __split_statements() => __split_s
t
mt()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
e
x
t
ra:
h
an
d
le i+
+
and i += 2 better outside
l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
filter_kernel_deref_check
.
sh:
p
rint the function
names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add STRING_HOOK f
o
r ex
a
m
i
ning strings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
D
an Carpenter
*
n
ew* check_ke
r
nel
.
c: ha
n
dle tomoyo_memory_ok() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpen
t
er
c
ore
:
fix handling of switc
h
s
tatements wit
h
unrea
c
hable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n Ca
r
penter
bail out ea
r
lier if
f
un
c
t
i
ons get
too
d
iffi
c
ult
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
rpenter
include
s
tatic functions in list
o
f functions which
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carp
e
nter
*new* freeing
_
null: cal
l
ing free for a variable that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
e
q
uiv: call remove_
f
rom_equiv() on a
s
signment
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpen
t
er
math: prev
e
nt divide
b
y ze
r
o b
u
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
check_l
o
ck: add more l
o
cks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-02
Da
n
Car
p
enter
new:
check_p
r
oc_create() check for worl
d
writable proc
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
m
a
th: te
a
ch smat
c
h to understand const
v
alues
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpenter
check_overflo
w
: fix
th
e
o
r
etical
m
e
mory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpe
n
ter
core: f
i
x problem in handl
i
ng select statement / ORing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Carpen
t
er
cleanup: rename sm_s
t
ates
t
o "sm" inste
a
d of "
s
tate"
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
get_variab
l
e_from_expr(): i
f
it i
n
volves
a
number it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
d
e
bug: p
r
int
m
ore
us
e
ful inform
a
tion
abo
u
t
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
arpenter
lo
c
king: handle spin_trylock_irq()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
n
ter
lockin
g
:
h
andle spin_lock_irqsave_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpente
r
lock
i
ng
:
han
d
le raw_spin_unlock_
i
r
qre
s
tore
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
ter
l
ocking: ma
k
e "someti
m
e
s locked" mess
a
ges depen
d
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-31
D
an Carpente
r
M
erge branch 'devel
'
in
t
o
d
evel
_
equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
e
q
u
iv: if a
variable is only equival
e
nt to
i
tsel
f
s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an
C
arpente
r
e
xtra: use t
h
e
f
ake assignment
s
inste
a
d of
the
in
i
t
i
a
l
i
z
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: never
s
e
t SMATCH_
E
XTRA
v
a
lues d
i
rectl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
penter
e
q
uiv
:
eliminate
b
og
u
s ca
l
l
to set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
introduce __smatch_debug
_
on(
)
and __smatch_debug_
o
ff()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n Carpenter
locking: make
s
p
i
nlock_irqsave() work for my conf
i
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locki
n
g
:
w
h
ite space f
i
xes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: add
more s
t
anda
r
d
l
ocks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
c
heck_locking: clean up list of kernel
l
ock
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
handle sele
c
t as
s
igns:
foo = a ? b
:
c;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpenter
core: fake cur_slist
m
ore completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Ca
r
p
e
nter
co
r
e
:
rewrite s
e
lec
t
sta
t
ement handlin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
states: verify that the
stacks are empty at the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
penter
Rename
function
s
: __
p
op_foo
(
) => __discard_
f
oo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
s
matc
h
_sta
t
es: rename s
o
me
f
unctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpent
e
r
rel
e
a
s
e_r
e
source:
D
oh
.
It's looking f
o
r the wrong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
fix s
e
l
e
ct stat
e
ment handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
r
penter
cor
e
: cleanup
.
d
e
lete fake c
o
n
d
ition stac
k
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nt
e
r
core: m
a
k
e
fake cur_sli
s
ts st
a
ckable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist:
ma
k
e s
e
t_state
_
s
tack() return th
e
new sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
n
t
e
r
*new*
check_relea
s
e_resou
r
ce
.
c: check that we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
D
a
n Carpenter
flow: split a
s
m clobbers, i
n
p
u
ts and outputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpent
e
r
white_spac
e
o
n
l
y
:
a
l
low head
e
r files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carp
e
n
t
er
*
n
ew* strip_whitesp
a
ce
.
pl: removes all the whit
e
spa
c
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carp
e
nter
*new* check_resourc
e
_size(
)
: p
r
od pe
o
ple to use resou
r
ce_si
z
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carp
e
n
ter
extr
a
:
assu
m
e impossible
t
hi
n
gs
a
r
e imposs
i
b
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Da
n
Carpente
r
err_ptr:
f
i
x bt
r
fs
f
alse posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Carpenter
err_ptr: handle when an e
r
r
_
ptr is reassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
*new* check_db_info
.
c
prin
t
s out
s
tu
f
f
t
h
a
t
w
i
ll be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
cle
a
nup:
move stuff fr
o
m
sm
a
t
ch_e
x
tra
.
c
t
o smatch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Car
p
e
nter
w
hite
s
pace
c
hanges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n C
a
rpen
t
e
r
equiv: fix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
chec
k
_
o
verflow: malloc() => __
a
lloc_s
m
atch_sta
t
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
sm
a
tch
.
c: don't leak those
1
0 bytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
a
ssigned_ex
p
r: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Carpen
t
e
r
kernel: free_area()
d
o
e
sn't call kfre
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* check_return
.
c: complain if you don't c
h
e
c
k the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arpenter
math: make get_impli
e
d
_
value() work for pointers better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: cle
a
nup: create sepa
r
ate
_
get_
i
m
plied
_
va
l
ue(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rp
e
n
t
er
math: handle modulus '%' op
e
rations
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
pent
e
r
m
a
th: handle EXPR_
P
O
STOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup: make handl
i
ng binops a switch()
s
tatemen
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
create
s
ep
a
rate han
d
l
e_binop() f
u
nc
t
i
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpen
t
e
r
m
a
th
:
clean
u
p
.
use cast_t
o
_
t
ype() instead of re-implimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
math: c
l
ea
n
up
.
s
e
parate h
a
nd
l
e_p
r
eop() into
it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: fix
crashing bug in
t
rodu
c
ed in 8c358883
a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpenter
Create
se
p
arate smatch_math
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
ente
r
u
pda
t
e smatch_data/
f
or 2
.
6
.
34-rc1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
imp
l
ied: clean
u
p make a sepa
r
a
te hand
l
e_zero_comp
a
ri
s
on
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: handle
c
o
mpar
i
sons with ze
r
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: cleanup separate set_extra_tr
u
e
_false() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
equiv, implie
d
: fix han
d
ling
b
orrowed im
p
l
icat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
imp
l
ied: don'
t
update the eq
u
ivelen
t
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpen
t
er
rm validation/smatch_
c
lo
s
et/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpen
t
er
equ
i
v
: don't overwrit
e
the implication informat
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
arpenter
rename __set_
s
tate
(
) => __set
_
sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Carpenter
rename clo
n
e_s
t
at
e
() => clone_s
m
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next