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_check_deref.c: checking for null inconsistently
2010-04-27
Dan Carpen
t
er
*
n
e
w
*
check
_
ch
e
ck_deref
.
c
: che
c
k
i
n
g for null incon
s
isten
t
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpenter
*new* check_no_eff
e
ct: print warnings s
t
a
t
emen
t
s t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan C
a
rpenter
s
etu
p
default
mo
d
ificat
i
o
n hooks
in set_
t
rue_fals
e
_state
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpent
e
r
introduce in_macro() which returns true
if we
'
re in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Carpenter
introduce
:
in
_
expression
_
statement()
a
n
d
renam
e
get_
b
l
o
ck_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan Carpe
n
ter
churn:
rena
m
e
__split_statements() => __spl
i
t_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
Carpenter
e
xtra: handle i++ and i += 2
be
t
ter outs
i
de
l
oops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
ar
p
e
nte
r
f
i
lter_kernel_dere
f
_che
c
k
.
sh
:
print the func
t
ion
n
a
mes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add
S
T
RING
_
HO
O
K f
o
r
examining strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n
C
ar
p
enter
*new
*
c
h
e
ck_kernel
.
c: handle tomoyo_memory_ok()
a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n
C
arpent
e
r
cor
e
: fix handling o
f
switch statemen
t
s with unr
e
achable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
r
pen
t
er
bail out earlier if f
u
n
ct
i
ons
get t
o
o difficu
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpent
e
r
in
c
lude static functions in li
s
t o
f
fun
c
tions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpen
t
e
r
*
new* freeing_null: ca
l
ling
f
re
e
for
a va
r
iable that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Car
p
enter
e
quiv: call remove
_
from_equiv
(
)
o
n assi
g
nment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n Carpenter
math: prevent divide by zero
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpe
n
ter
check_lo
c
k: ad
d
mo
r
e locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carp
e
nter
new: check_proc_create() check for world writ
a
b
l
e proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
r
p
e
n
ter
math: teach smatch to understand cons
t
values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpen
t
e
r
check_o
v
erflow:
fix theoretica
l
m
emor
y
leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpente
r
core: fix prob
l
em in handling s
e
lect statement /
O
R
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
clea
n
up
:
rename
s
m
_
s
t
a
tes to "sm
"
ins
t
ead of "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
ter
get_variab
l
e_from
_
ex
p
r(): if
i
t
invo
l
ves
a
number it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
p
enter
de
b
ug: prin
t
mor
e
u
s
e
f
ul infor
m
ation about
c
ond
i
t
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
locking: handle spin_tryl
o
ck_
i
rq(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking:
ha
n
dl
e
s
p
in
_
lo
c
k_irqsav
e
_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking
:
han
d
le raw_spin_unlock
_
irqres
t
ore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
an Ca
r
p
enter
locki
n
g
: make "sometimes locked" messages
depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpe
n
ter
Mer
g
e
bran
c
h 'devel' into devel_
e
quiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv: i
f
a
variable
is on
l
y equival
e
nt to itself set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
pent
e
r
extra:
u
s
e
the f
a
ke assignmen
t
s i
n
stead of
t
he ini
t
ializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
Carp
e
nter
equiv
:
n
ever set SMATCH_EXTRA
v
alues directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Car
p
ent
e
r
e
q
uiv:
e
liminate bogus call
to set_st
a
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
introduce __sma
t
ch
_
d
ebug_on() a
n
d __sma
t
ch_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n Carpenter
lockin
g
:
m
ake
s
pinlo
c
k_irqsave() work for
m
y con
f
i
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: wh
i
te
s
p
ace
f
ixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan C
a
rpe
n
ter
loc
k
i
n
g:
a
dd more standar
d
l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Da
n
Carpente
r
check_lock
i
n
g: clean up li
s
t
of kerne
l
lo
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpent
e
r
handle sel
e
c
t
assigns:
foo = a ? b
:
c
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Ca
r
penter
core
:
f
ake cur_sl
i
st mo
r
e
completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpe
n
ter
core: re
w
rite select sta
t
ement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
C
a
rpenter
states:
v
erify that
the stacks
a
re empty at the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
Renam
e
functio
n
s: __pop_foo()
=> __discard_fo
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpent
e
r
smatc
h
_states: rename some function
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpente
r
r
e
le
a
se_resource: Doh
.
It'
s
looki
n
g for t
h
e w
r
ong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpenter
fix s
e
lect
s
ta
t
ement h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
t
e
r
core: cleanup
.
dele
t
e fake condition stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpente
r
co
r
e: make fake cur_slists stackabl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist: m
a
k
e
set_
s
t
a
t
e
_stack() return th
e
new sm
_
sta
t
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*new* chec
k
_rel
e
ase_resourc
e
.
c:
c
heck that we r
e
lease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
f
low:
s
plit asm cl
o
b
b
ers,
i
n
p
uts and
ou
t
puts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
D
a
n Carpent
e
r
w
hite_spa
c
eonl
y
: allow header file
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
enter
*n
e
w* strip_w
h
itespace
.
pl: r
e
m
oves all the wh
i
t
espac
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*ne
w
* check
_
resource_size(): prod peo
p
le to use r
e
source_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Da
n
Carpenter
extra:
assume im
p
ossible things ar
e
impossibl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
r
p
enter
err_ptr: fix bt
r
f
s
false po
s
i
t
i
v
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Carpenter
err_p
t
r: handle wh
e
n
an err_ptr is
r
e
assigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpent
e
r
*new*
c
hec
k
_d
b
_i
n
fo
.
c
p
r
ints out stuff tha
t
will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpen
t
er
cl
e
anup: move
s
t
u
ff fr
o
m smatch_extra
.
c
t
o smatch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
whitespace chang
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
e
q
uiv: fix
cr
a
shing
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
check_overf
l
ow: malloc() => __alloc_
s
m
atch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
smatch
.
c
:
don't le
a
k
those 10 by
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
assigned
_
e
xp
r
: fix mem
o
ry leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carp
e
nter
kernel: free_are
a
()
doesn't call k
f
ree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpen
t
er
*new*
check_return
.
c: co
m
plain i
f
y
ou don't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: make get_implied_value() wor
k
f
or pointers better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
ma
t
h: cleanup: create separate _g
e
t
_
i
m
plied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
math: han
d
le modulus '%' opera
t
i
on
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
math: ha
n
dle EXPR
_
POST
O
P
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
m
a
th: cleanup: make handlin
g
binops a switch()
statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpe
n
t
er
math: c
l
eanup create
s
e
p
arate
ha
n
dl
e
_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
m
a
th: cleanup
.
u
se cast_
t
o_t
y
pe() ins
t
ead of re-implimenting i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: clea
n
up
.
separate hand
l
e_pre
o
p() into it's o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
eq
u
i
v: fix cra
s
hing bug int
r
odu
c
e
d
i
n 8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpenter
Cr
e
ate separ
a
te smatch
_
math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update smatch_data/
f
or 2
.
6
.
3
4-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
impl
i
e
d: c
l
ea
n
up m
a
ke a separa
t
e
h
a
n
dle
_
zero_comparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equ
i
v: h
a
n
dle comparisons with zer
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv
:
cleanup sep
a
rate s
e
t_extra
_
t
rue_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpenter
equiv, implied: fix handling borrow
e
d
i
m
p
l
icati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
C
arpenter
impl
i
ed: don't u
p
d
a
te the
e
quiv
e
lent
sta
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
r
m
va
l
idation/smatch_
c
loset/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
eq
u
iv: d
o
n
't overwrite the implic
a
tion
inf
o
r
m
ation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename
__set_stat
e
() => __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
r
e
na
m
e clone_state() => clon
e
_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
equiv:
preserve ->equiv across merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use th
e
eq
u
ivalent v
a
riable code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an C
a
rpenter
remove t
r
ackers from ->
e
quiv when they are no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nt
e
r
Fix
c
rashing bug cause
d
by las
t
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpent
e
r
store
information in the new din
f
o
-
>e
q
uiv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an
C
arpenter
in
t
roduce add
_
tracker_ex
p
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
make
s
et_state() and friends r
e
tur
n
t
he new sm_st
a
te
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
Carpe
n
t
e
r
introduce clone_tracker_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
e
r
add
"
equi
v
" field to struc
t
data_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
move the alloc_dinfo
(
) functi
o
ns to smatch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan
C
arpente
r
check_signed: warn abou
t
c
omparing (uns
i
gned varia
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
u
p
date validation/sm_casts
2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
*new* smatch_script
s
/sho
w
_err
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
*
n
ew* smatch_scripts/whitespase_on
l
y
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next