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
known_condition_true/false(): handle expression statements
2010-05-10
D
a
n C
a
rpenter
known
_
c
ondition_true/false():
h
andle expre
s
sion statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*
new* c
h
eck_kunmap():
c
onfusion be
t
ween kmap() an
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*new* s
m
atch
_
scripts/unlo
c
ked_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
flow: clean
u
p: ma
k
e split_function
(
) it's own function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
der
e
f_chec
k
: use
in_macro() to silence most of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Da
n
Carpenter
math:
i
ntroduce ge
t
_abso
l
ute_min/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carp
e
nt
e
r
math: clea
n
up: rename get_im
p
lied_s
i
ngle_
f
uzzy_max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Car
p
en
t
e
r
m
a
t
h: cleanu
p
:
shuffle some functi
o
ns around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
math: cleanup
:
get rid of the *discard thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpente
r
mat
h
: cleanup: get ri
d
of IMPLI
E
D_SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n
C
arpen
t
e
r
de
l
ete check
_
nu
l
l_d
e
re
f
.
c and clean
up va
l
idation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
r
penter
flow: t
h
e next s
t
atem
e
nt should never be the cu
r
rent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpenter
*
new* check_check_de
r
e
f
.
c: che
c
king for
n
u
l
l inco
n
sisten
t
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Carp
e
nter
*new
*
check_no_
e
ffect
:
print warnings statements that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Da
n
Carpen
t
er
setup default modification hooks in set_true_false_stat
e
s()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpente
r
in
t
rod
u
ce in
_
m
acr
o
()
w
hich returns true if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
introdu
c
e
:
i
n_expression_stat
e
ment
(
)
a
n
d rename get_blo
c
k_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpenter
chu
r
n: r
e
name _
_
split
_
statements() => __split_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpe
n
ter
extra: handle i++ and
i += 2 bett
e
r ou
t
side loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpe
n
ter
filter_kernel_d
e
ref_c
h
ec
k
.
sh: print
t
he fu
n
ction names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpent
e
r
Add ST
R
I
NG_
H
OOK for examining strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
a
r
p
e
nter
*new*
che
c
k_kerne
l
.
c
: hand
l
e tomoyo_memory_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
core:
fix handling of switch statements with unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n Carpe
n
ter
b
a
i
l
out earlier i
f
f
unctions get too
d
ifficult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
arpente
r
include static
f
u
n
ctions in list
of functions whi
c
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpen
t
er
*new
*
freeing_
n
ull:
calling free for
a variabl
e
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv:
call re
m
ove_from_equ
i
v() on assignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carp
e
nte
r
mat
h
:
p
r
e
vent d
i
vide by
z
ero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n
C
arpenter
check_lock: add more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpent
e
r
new: check_proc_create()
c
heck for world writable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
math: tea
c
h smatch to und
e
rs
t
a
n
d
cons
t
va
l
u
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpenter
check_overflo
w
:
fix theoretical memo
r
y leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
C
arp
e
nter
core
:
fix pro
b
l
e
m
i
n handling s
e
l
e
ct statement / ORi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arp
e
nter
c
leanu
p
: re
n
ame sm_s
t
ates to "sm" ins
t
ead of
"
st
a
te"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpenter
ge
t
_variable_from_expr(): if it invo
l
v
es a n
u
m
be
r
i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpent
e
r
debug: print m
o
re useful information about conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
locking: handle spin
_
trylock_irq
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
locking: handle
s
pin_lock_irqsav
e
_nest
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
ocking: handle raw_spin
_
unlock_ir
q
restore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nt
e
r
loc
k
ing: make "so
m
e
t
im
e
s locked" messages
depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpen
t
er
Merg
e
branch
'
devel'
i
nto devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
D
an Carpenter
e
quiv:
i
f a v
a
riable is on
l
y equivalent to itself set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpe
n
ter
extra:
u
se the fake as
s
i
g
n
m
ent
s
instead
of the initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
eq
u
iv: never set SMATCH_EXTRA values directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
p
e
nter
equiv: eliminate
b
ogus
call to set_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpente
r
i
ntroduce __smatch
_
de
b
ug_on()
an
d
__sm
a
tch_d
e
bug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n
Carpen
t
er
locking: m
a
ke spin
l
o
ck
_
irqsave() wo
r
k fo
r
my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Car
p
enter
l
o
c
k
i
n
g
:
w
hite space fi
x
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
Carpenter
l
o
cking:
a
dd more
s
tan
d
ard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check_locking: clean up li
s
t of ke
r
n
e
l l
o
c
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Ca
r
pent
e
r
h
a
ndle sel
e
ct
assigns: fo
o
=
a ? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carpenter
cor
e
: fake cur_slist mor
e
compl
e
t
e
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Car
p
enter
core
:
rewrit
e
select statement hand
l
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
stat
e
s: veri
f
y
tha
t
the stacks are empt
y
a
t
the
end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
a
r
penter
Renam
e
f
u
nctions: __pop_foo() =>
__
d
isc
a
rd
_
f
o
o()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nter
smatch_states: re
n
ame some functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
release_resource: D
o
h
.
It'
s
look
i
n
g for the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
fix sele
c
t statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: clea
n
up
.
delete fake
c
o
ndi
t
ion
s
tack co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
rpenter
c
ore: make
f
ak
e
cur_slists sta
c
kable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
s
l
is
t
:
ma
k
e set_stat
e
_
stack() return the new
s
m
_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new* check_release_r
e
source
.
c: check that we
r
ele
a
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow:
s
plit asm clobbers, inputs and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
D
a
n Carpenter
w
h
ite_spaceonly: allow he
a
der files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Ca
r
penter
*n
e
w* strip_whitespace
.
pl: remo
v
es
a
l
l
the w
h
itesp
a
c
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
Carp
e
n
t
e
r
*
new*
c
h
e
c
k_resou
r
ce_size():
p
rod
p
e
o
p
le to use resou
r
ce
_
size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
D
a
n Carpenter
extra: assume impossible thin
g
s are impossi
b
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Da
n
C
arpente
r
err_p
t
r:
f
ix btrfs fal
s
e positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
rpen
t
e
r
err_ptr: handle
w
hen
a
n err_ptr i
s
reassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
*
n
ew*
check_db_i
n
fo
.
c p
r
ints ou
t
st
u
ff t
h
at w
i
ll be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n
C
a
rpe
n
t
e
r
cleanup: mov
e
stuf
f
from
s
match
_
extra
.
c to smat
c
h_m
a
th
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
whitespace c
h
anges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carp
e
nter
equi
v
: fix c
r
a
s
h
i
ng bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
c
h
eck_overflow: malloc(
)
=>
_
_alloc_
s
m
atch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
sma
t
ch
.
c:
d
on
'
t
l
eak
t
hose 10
b
y
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
e
n
ter
assigned_exp
r
: fix m
e
mory
leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kerne
l
: fr
e
e
_
area() doe
s
n
'
t
call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Ca
r
penter
*n
e
w* check_r
e
turn
.
c: complain i
f
you don't check
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
math: m
a
k
e get_implied_value
(
) work for
p
ointers be
t
ter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpen
t
er
math: cle
a
nup: crea
t
e separate _g
e
t_implie
d
_
v
a
l
ue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handl
e
modulus '%' operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
mat
h
: handle EXPR_POST
O
P
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
t
h
: cleanup: make ha
n
dli
n
g
b
i
n
o
p
s a switch() statem
e
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rp
e
nt
e
r
math
:
cleanu
p
c
re
a
t
e separate handle_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
e
n
ter
math: cle
a
nup
.
u
se cas
t
_to_type() instead of re-implime
n
ting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
cleanup
.
separa
t
e handle_preop
(
) into
i
t's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Car
p
e
nter
equi
v
: fix crashing bug intro
d
uced in
8
c
3
58883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
Cr
e
ate sepa
r
a
te smatch_math
.
c f
i
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carp
e
nter
update smatch_data/ for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
implied
:
clean up make a se
p
arate h
a
n
dl
e
_
zero_co
m
parison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpe
n
ter
e
quiv:
handle com
p
ari
s
ons
w
i
th
ze
r
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
a
r
p
e
n
ter
equiv: cleanup separate
s
et_extr
a
_t
r
ue_fal
s
e() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n C
a
rpenter
equiv, imp
l
ied: fix h
a
ndli
n
g borrowed impli
c
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n
C
arpenter
i
mplied: d
o
n't
update th
e
equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm validat
i
on/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
equiv:
don'
t
overwrite t
h
e implication informatio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
rename __se
t
_state() => __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
re
n
ame clone_state() => clone_
s
m
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
C
arpe
n
ter
equiv:
p
r
eserve
->equiv acros
s
merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use th
e
equiva
l
ent variable code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next