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* smatch_scripts/unlocked_paths.pl
2010-05-02
Dan
C
arpe
n
ter
*new
*
sma
t
c
h
_
sc
r
ipts/unlock
e
d_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Carpenter
flow:
cleanup
:
make split_f
u
nc
t
ion() it
'
s
ow
n
fu
n
ction
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpe
n
ter
deref_check:
use in_macr
o
() to s
i
lence most of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan
C
a
rpente
r
math: i
n
trod
u
ce ge
t
_a
b
solute_min/m
a
x()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Ca
r
p
e
nter
math:
c
lea
n
up: r
e
name ge
t
_imp
l
ie
d
_single_fu
z
zy_max
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpenter
m
at
h
:
cleanup: shuffle s
o
me
f
unc
t
ions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpente
r
mat
h
: cle
a
nup:
get rid of
the *di
s
card
t
hing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
ma
t
h: cleanup: get rid of IMPLIED_SINGL
E
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpe
n
te
r
delete check_null_deref
.
c and cl
e
an up validation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
C
arpenter
f
low: th
e
next statement
s
hou
l
d
never be the curre
n
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new* check_check_deref
.
c: check
i
ng
fo
r
null inconsistent
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new*
chec
k
_no_effect: print warnings stat
e
ments
th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setup default
modificat
i
on ho
o
ks
in
set
_
true
_
fal
s
e
_sta
t
es()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
introd
u
ce in_ma
c
r
o
() which retur
n
s t
r
ue
i
f w
e
're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
D
a
n Carpenter
i
n
troduce: in_expression_s
t
atement()
a
n
d
rename get_
b
lock_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan
Carpe
n
ter
c
h
u
rn
:
rena
m
e
_
_
sp
l
it_statem
e
nts() => __split_stmt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
ext
r
a: han
d
l
e i
+
+
and i += 2 better outside
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
r
p
enter
filt
e
r
_
ke
r
nel_der
e
f
_
che
c
k
.
sh:
print the func
t
ion na
m
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
en
t
er
Add
S
T
RING_HOO
K
for e
x
ami
n
ing
s
tr
i
ngs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
an Car
p
ente
r
*n
e
w* check_kerne
l
.
c
: handle tomoyo_memory_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
enter
core: fi
x
handling o
f
switc
h
statements with un
r
eachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpent
e
r
bail
out
ea
r
lier if functions ge
t
t
oo difficu
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan
C
arpenter
includ
e
s
t
atic functions
i
n
list of fu
n
c
tion
s
which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* freeing_nu
l
l: call
i
ng free
f
or a variable that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv: call remove
_
f
rom_equiv(
)
on assignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan
C
arpent
e
r
ma
t
h: pr
e
vent divide by zer
o
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan
C
a
r
penter
check_lock: add more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpenter
new: ch
e
ck_proc_crea
t
e() check for world writable pro
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arpe
n
ter
math: teac
h
s
m
atch
t
o
understan
d
const v
a
lues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Ca
r
penter
chec
k
_
overflow: fix theoretical memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpe
n
ter
c
ore: fix problem in han
d
li
n
g select statemen
t
/ ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
p
en
t
er
c
l
ean
u
p: rename sm_states to "sm" instead of "sta
t
e"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpen
t
er
get_variabl
e
_from_expr(): if it involves a num
b
e
r
it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
d
ebu
g
: print
m
o
re
u
seful informa
t
ion abou
t
conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
an Carpenter
l
oc
k
ing: handle spi
n
_
trylock_
i
rq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
lo
c
king
:
handle s
p
in_lock_i
r
qsave_n
e
s
t
e
d
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
loc
k
ing: handle raw
_
spin_
u
nlo
c
k_irqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Ca
r
pe
n
ter
lock
i
ng
:
make "
s
ometimes
l
o
cked" messages depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
Merge branch '
d
evel' into de
v
el_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv:
if a variable is only equiv
a
len
t
to itself s
e
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use the fake a
s
signm
e
nt
s
i
n
stead of the i
n
itializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: never set SM
A
TCH_
E
XTRA values
d
irectly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpenter
equiv
:
eli
m
i
nat
e
b
og
u
s call to set_
s
tate(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
introdu
c
e
__s
m
atc
h
_
d
e
b
u
g_on() and __smatc
h
_debug_
o
ff(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: make
s
pinlo
c
k
_
irqsave() w
o
rk for m
y
config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
a
n Carpente
r
lock
i
n
g: w
h
i
t
e space
fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan C
a
rpenter
lockin
g
: add
m
ore stan
d
ard lo
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan
C
a
rpen
t
er
check_l
o
ckin
g
: clean
u
p list of kernel locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
handle select
assigns: foo
=
a ? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Car
p
enter
core: f
a
ke cur
_
slist more
compl
e
tely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpe
n
ter
core: rewrite select statement handli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n
Carpent
e
r
s
t
ates: ver
i
fy that the
stacks are emp
t
y a
t
the
end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carp
e
n
ter
Re
n
ame functio
n
s:
_
_
pop
_
foo() =>
__d
i
scard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
sma
t
ch_states: ren
a
m
e
s
o
me functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
r
e
l
ease_resource: Doh
.
It's loo
k
ing
for
the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
enter
fix select statement
han
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpe
n
ter
core: c
l
eanup
.
de
l
ete
fake condition s
t
ack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core:
make
f
ake c
u
r
_
sli
s
ts sta
c
k
able
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
slist: make set_state_sta
c
k() return the new sm_sta
t
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
Carpenter
*
n
e
w*
c
heck_re
l
ea
s
e_res
o
urce
.
c: check that we rel
e
as
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
D
a
n Carpen
t
er
f
l
ow: spl
i
t
a
sm c
l
obbers
,
inputs and
outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Ca
r
penter
white_spa
c
e
o
nly: allow heade
r
fil
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
enter
*new* strip_white
s
pace
.
p
l:
re
m
oves all th
e
whit
e
space
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*
n
ew
*
check_resource_siz
e
()
:
prod people to use resource_si
z
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpe
n
ter
extra: assu
m
e
imp
o
ssible things are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
rpe
n
ter
err_p
t
r
:
fix btrfs false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpe
n
ter
err_pt
r
:
handle whe
n
an err_
p
t
r
i
s reass
i
gned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
*new* check_db_info
.
c prin
t
s out
s
t
u
ff
that will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
cleanup: move
s
tuff
fr
o
m s
m
atch_extr
a
.
c to
sma
t
ch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
whit
e
sp
a
ce changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
pent
e
r
equiv
:
fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
check_overflow: malloc
(
) => __alloc_smatch_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
smatch
.
c: don't
leak those 10
bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
as
s
igned_expr: fi
x
memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
kernel:
free_area() doesn't call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*ne
w
* check_return
.
c: c
o
mplain if you don't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: make g
e
t
_
imp
l
ied_v
a
lu
e
() work for pointers
b
etter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
n
ter
m
a
th
:
c
l
eanup: c
r
eate separate
_
get_i
m
plied_
v
a
l
ue
(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math:
handle modulus '%' operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: ha
n
dle E
X
PR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n C
a
rp
e
nt
e
r
math: cle
a
n
u
p
: ma
k
e handling b
i
nop
s
a
s
wi
t
c
h() statem
e
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: cle
a
nup
create separate han
d
l
e
_binop(
)
f
unct
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
.
us
e
cast
_
to_type
(
)
i
nstead of
re-impli
m
e
nting
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpenter
math:
cleanup
.
separ
a
te h
a
nd
l
e_preop() into it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
equiv: fix
crashing bug
i
ntroduced in 8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
Creat
e
separ
a
t
e
smatch_math
.
c f
i
le
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
e
n
ter
update
smatch_data/ fo
r
2
.
6
.
3
4
-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
implied: clean up
m
ak
e
a
separate ha
n
dle_zer
o
_comparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
enter
equiv: handle c
o
mparisons w
i
th
zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpent
e
r
equiv: cleanup separate set_e
x
tra_true_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv,
implied: fix handling borrowed implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
i
mplied: don
'
t updat
e
the eq
u
ivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpe
n
ter
rm validation/
s
match_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpe
n
t
e
r
equiv:
don't overw
r
ite the implication information
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename __set_state() =>
_
_set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
rename clone_state(
)
=> clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpe
n
ter
e
quiv:
preserve ->
e
quiv across merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
Use
t
he equivalent varia
b
le code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remove
t
rackers from ->equiv
wh
e
n they are no lon
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix crashin
g
bug caused by last
commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next