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
a
rpenter
m
a
cro
_
table: do
n
ot inclu
d
e smat
c
h
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n
Carpe
n
ter
flow
:
hand
l
e
logic things like
:
foo
(
a && a
-
>bar
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
D
an Carpenter
sig
n
ed: compa
r
in
g
to
l
iterals t
o
ge
t
her
c
r
e
a
t
es
a
false
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carp
e
nter
deref_chec
k
: remove
t
h
e -
-
s
p
ammy option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
C
arpen
t
er
delete check_leaks
.
c: This check
w
as always worthless
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpenter
wine: fixup the no re
t
urn
fu
n
ctions a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan Ca
r
pent
e
r
macro
_
table
.
c: replacement for
in_ma
c
ro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Car
p
ent
e
r
small c
l
eanu
p
and
a c
o
mment change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpen
t
er
*ne
w
* check_sn
p
rintf: using the retur
n
va
l
u
e
o
f
snprint
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan C
a
rpent
e
r
unus
e
d_re
t
urn: print fun
c
tio
n
n
ame that was
ignored
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Car
p
enter
m
a
t
h: don't
pass n
e
gative
n
umbers as a
b
sol
u
te max f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Carpenter
im
p
lied
:
a
l
low the k
n
own part to be a
r
a
n
ge list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
m
a
th:
f
ix get
_
absolu
t
e_min/max() for sizeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpe
n
ter
extra:
m
ake
d
o
_co
m
parison() handle tw
o
variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
Carpenter
ran
g
es: introduce free_
r
ange_
l
ist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
a
rpenter
ranges: introduce p
o
ssibly_t
r
ue/fal
s
e_range_
l
ists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpente
r
pre
c
edence: don't compl
a
in abo
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 Carpenter
extra: clean
u
p: rename do_comp
a
rison
_
range(
)
=> do_comparis
o
n()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
known_condit
i
on_true/false
(
): h
a
n
d
le expression sta
t
ements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan Ca
r
penter
*new
*
c
heck_kunmap(): c
o
n
f
u
sion
b
etwe
e
n k
m
ap() a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carp
e
nter
*new*
s
match
_
s
cripts/unl
o
cked_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Dan Ca
r
penter
flow:
c
leanup:
make split_function() it's
o
wn
f
u
n
c
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
D
a
n Carpenter
deref_check: use in_mac
r
o() to silence most of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
math:
intr
o
duce get_
a
bsolu
t
e_m
i
n/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carp
e
n
t
er
m
ath: cleanup: rename
get_implied_single_
f
u
zzy_m
a
x()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: cleanup: shuffle some fun
c
ti
o
ns
aro
u
nd
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
mat
h
: c
l
eanup:
get rid
of the *discard thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carpenter
math: cleanup: get r
i
d
o
f
IMPLI
E
D_SINGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
C
a
r
penter
de
l
ete
c
he
c
k
_
null
_
deref
.
c and clean up
validation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpen
t
er
flo
w
: the ne
x
t st
a
tement shoul
d
n
e
v
e
r be
the cu
r
rent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carpenter
*n
e
w* check_check_deref
.
c
:
c
hecking for
n
ul
l
inco
n
sisten
t
l
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new* check_no_effect: pri
n
t warnings
s
ta
t
e
m
ent
s
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Car
p
enter
setup
default
m
odification hooks
i
n set_true_false_
s
tate
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpente
r
intro
d
uce in_m
a
cro() which re
t
urns true if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
D
an Carpenter
intro
d
uce: in_e
x
press
i
on
_
statement()
and rename get_block_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Dan C
a
rpenter
chur
n
: rename
_
_split
_
st
a
t
emen
t
s() => __split
_
s
t
mt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
extra
:
handle i++ an
d
i
+=
2
b
etter
o
utsid
e
loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
f
i
lter_kernel_de
r
ef_
c
h
e
ck
.
sh: print the function names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan
Car
p
e
n
te
r
Ad
d
S
T
R
ING_HOOK for examinin
g
s
t
rings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
enter
*new* check_kerne
l
.
c: ha
n
d
l
e tomoyo_m
e
mo
r
y_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
e
nter
core:
f
ix h
a
ndling o
f
switc
h
statements wit
h
un
r
eachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
rpente
r
bai
l
out earlier if functions
g
et too difficu
l
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
include static functions in list
o
f functions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* freeing_null: calling free for a variable that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equ
i
v: call remove_from_eq
u
iv() o
n
assi
g
nmen
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
m
ath: prevent
d
ivide by zero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
D
an
C
arp
e
nter
c
he
c
k_loc
k
:
a
d
d m
o
re
l
ocks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
D
an C
a
rpe
n
ter
n
e
w:
c
heck
_
proc_create() ch
e
c
k for worl
d
writable
p
roc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n Carpenter
math:
t
e
ach smatch to understand co
n
st values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check_over
f
l
ow: fix t
h
eo
r
etical me
m
ory l
e
ak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
r
p
enter
core: fix
p
r
o
blem in handling s
e
l
e
ct state
m
ent
/
ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
r
p
e
nter
c
l
e
anup: rename sm_states to "sm"
i
ns
t
e
a
d
o
f "s
t
ate"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arpenter
get_variable_fro
m
_expr
(
):
if it involves a n
u
mbe
r
it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpenter
debug: print more u
s
eful
information abo
u
t condi
t
ions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpent
e
r
lo
c
king:
h
andle spin_trylock_irq
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
l
ocking: handle spin_l
o
ck_irqsa
v
e_ne
s
t
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
r
p
enter
locking: hand
l
e raw
_
spin_unl
o
ck_
i
rq
r
estore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locki
n
g:
m
ake "sometimes
l
ock
e
d
" messages depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpenter
Mer
g
e bran
c
h '
d
e
vel' into deve
l
_
e
q
uiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
e
quiv: if a variable
i
s only equival
e
n
t to itself set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use the
f
ake
a
ssignments
i
n
s
t
ead of the initia
l
izer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
n
ter
equiv:
n
ever set SMA
T
CH_EXTRA val
u
es directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
an C
a
rpenter
equiv: eli
m
i
n
a
te b
o
g
u
s call to set
_
sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
introduce __smatc
h
_debug_on() an
d
_
_sma
t
ch_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
arpenter
lockin
g
: mak
e
spinlock_irqsave(
)
work
f
or my confi
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Car
p
e
n
t
e
r
lock
i
ng:
w
hite space fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpent
e
r
locking: add
more s
t
an
d
a
r
d lock
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Car
p
enter
check_lo
c
king: clean up list of kernel l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
Carpe
n
ter
han
d
l
e
sele
c
t ass
i
g
ns: fo
o
= a ? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Car
p
enter
core: fake cur_slist
m
ore co
m
pletely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arpe
n
ter
c
o
r
e: r
e
wri
t
e
select statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
states
:
ver
i
fy that th
e
stacks a
r
e
empty at t
h
e
e
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rpen
t
e
r
Rename f
u
nc
t
i
o
ns:
_
_pop_foo() => __discard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpen
t
er
smatch_states
:
rename
s
ome
functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nter
release_resource
:
D
oh
.
It's lo
o
king for the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
f
i
x
sel
e
c
t stat
e
m
e
nt handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
n
t
e
r
core: cle
a
nup
.
delete f
a
ke
c
o
n
dition stac
k
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: make fake
cu
r
_slist
s
s
t
a
c
k
able
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
ter
sl
i
st: make s
e
t_state_stack
(
) return t
h
e new
s
m_sta
t
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
a
rpenter
*new* check_rel
e
ase_resource
.
c: check that we release
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split asm clobbe
r
s, inputs an
d
o
utputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpe
n
ter
white_spaceonly: all
o
w header fi
l
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new* st
r
ip_whitespa
c
e
.
pl: removes all the
whitespa
c
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpe
n
ter
*n
e
w* check_res
o
urce_si
z
e
(
)
: prod pe
o
ple
to use resource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: as
s
u
m
e impossible things are impos
s
ible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr: fix bt
r
fs
f
alse
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
rpen
t
e
r
err_ptr: hand
l
e when an
e
rr_ptr i
s
re
a
s
s
i
g
ned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*
new* check
_
db
_
inf
o
.
c
print
s
out s
t
uff tha
t
will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
c
l
eanup: move
stuff from smatch_e
x
tra
.
c
t
o
s
match_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
whitespace
c
hanges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
e
q
uiv: fix
c
rashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
c
h
eck_overflow: malloc() =>
__alloc_sma
t
c
h_s
t
ate
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
smatch
.
c: don't lea
k
those 10
b
ytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
as
s
ig
n
ed_expr: fix memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan
Carpenter
kernel: free_a
r
ea() do
e
sn't
c
all kfre
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*
n
ew* check_return
.
c: complain if you don't che
c
k th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
C
arpenter
m
a
th: make get_implied_
v
alue() work for pointers be
t
ter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math: cleanup: create separate _get_
i
mplied_val
u
e(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handl
e
mo
d
ulus '
%
'
o
p
e
r
ations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
a
rpe
n
ter
math: handle
E
XPR
_
POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next