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_macros: find macro precedence bugs
2010-05-26
Dan Carp
e
nter
*
n
ew* check_ma
c
ro
s
:
find macro prece
d
ence bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan
C
arp
e
nter
hooks: a
d
d LOGIC_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-25
Dan
Carpen
t
er
macro
_
table: take the fil
e
int
o
acc
o
unt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
Carpent
e
r
macro_tabl
e
: do not includ
e
s
m
atch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carp
e
nter
fl
o
w: handle logic thin
g
s lik
e
:
foo(a
&
& a->ba
r
);
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n Carp
e
nt
e
r
signed: compari
n
g
t
o l
i
teral
s
togethe
r
create
s
a fa
l
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
D
a
n Carpenter
deref_che
c
k: remove the --spa
m
my option
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-22
Dan
C
arpenter
de
l
ete check_le
a
ks
.
c:
T
his check was alwa
y
s worthless
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
D
a
n Car
p
en
t
e
r
wine: fixup the no return
functions a bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-20
Dan
C
arpenter
m
a
c
ro_table
.
c
:
replacement for in_m
a
cro()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Dan Carpenter
small clea
n
up
and a
c
omment change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
D
a
n
C
arpenter
*
new* c
h
eck_snpri
n
tf: using t
h
e
return value of snprintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Car
p
enter
unus
e
d_return: print functi
o
n
name that
w
a
s ig
n
or
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpen
t
er
math: don't pass negative
numbers as a
b
s
olute max f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpen
t
er
i
m
plied
:
allow the known part to be a range list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Car
p
enter
mat
h
: fix get
_
absolu
t
e_min/max() for sizeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpent
e
r
extra: mak
e
do_comparison() handle two variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Carpen
t
er
r
an
g
es: int
r
oduce f
r
ee_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ranges:
introdu
c
e possibly_true/false_range_lists()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
precedence
:
do
n
't
c
omplain about
if foo i
s
0-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
D
an Carpenter
e
x
tra: cleanup: re
n
am
e
do_
c
omp
a
rison_ran
g
e() => do_compari
s
on()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan
Carpenter
known_
c
ond
i
t
ion_true/
f
alse()
:
ha
n
dle expression statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Da
n
Carpenter
*new* check_ku
n
map(
)
: confusion be
t
ween kmap()
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpen
t
er
*new* smatch_scripts/unlock
e
d_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
D
a
n Carpente
r
flow: clean
u
p: make sp
l
it_function(
)
it's own f
u
nction
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan
Carpenter
deref_
c
heck: use in_
m
acro() to s
i
lence most of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpente
r
math:
i
ntroduce get_absolute
_
min/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Ca
r
penter
m
a
t
h: cleanup: ren
a
me get_implied_
s
ingle_fuzzy_ma
x
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carp
e
n
ter
mat
h
:
cl
e
a
n
up: shuffle som
e
functions
ar
o
und
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
a
n Carpente
r
m
a
th: cleanup
:
get rid of
t
he *discard thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Da
n
Car
p
enter
math: cleanup: get
r
id of
I
MPL
I
ED_
S
INGLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Ca
r
p
enter
delete c
h
eck_null_deref
.
c
a
nd clean up
v
alidation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
flow:
t
he next statement sho
u
l
d
never be the cu
r
ren
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpenter
*new*
check_chec
k
_deref
.
c: checking for null inconsistentl
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan C
a
rpenter
*
new* check
_
no_eff
e
ct: print w
a
rnings statements that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setup def
a
ult
m
o
difi
c
ation hooks in set_
t
rue_false_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpenter
introduce in_m
a
cro()
w
hich 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_
s
tatement() and
rename get_block_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
D
an Ca
r
p
en
t
er
churn:
r
ename __split_sta
t
ements() => __split_st
m
t()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
extra: handle
i
++ and i +
=
2 better
o
utside loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Da
n
C
a
rpenter
filt
e
r_kernel_dere
f
_ch
e
ck
.
sh: print the function n
a
m
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
penter
A
d
d
STRING_HOO
K
for examining strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpent
e
r
*new* check_kernel
.
c: ha
n
dle tomoyo_memory_ok
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
an
C
arpenter
core: f
i
x
handl
i
ng
of
switch
stateme
n
ts with unreacha
b
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
an Carp
e
nter
bai
l
out earlier if functions get to
o
d
i
ff
i
cul
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Carpente
r
incl
u
de static functions in list of functions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
an
C
arpe
n
ter
*new* freeing_null: calling fr
e
e
f
or a vari
a
ble th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan
C
arpenter
equiv: call remove_fro
m
_equiv()
on assignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
C
a
r
pen
t
e
r
math: prevent divide by
z
ero
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
chec
k
_lo
c
k: a
d
d more lock
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Ca
r
pe
n
ter
n
e
w:
check_proc_create() chec
k
for world wr
i
table pro
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
math: teach s
m
atch to understand c
o
nst values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
check_overf
l
ow: fix theoretical memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
core: fix problem
i
n
hand
l
ing sel
e
c
t statement
/ ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
pen
t
er
c
l
eanup:
r
ename sm_states to "sm" instead
of "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpenter
get_
v
ariable_from_expr(): if it involve
s
a number it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Carpenter
debu
g
: print more useful in
f
ormation a
b
out conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n
Ca
r
pente
r
locking:
hand
l
e spin_tryl
o
ck_
i
rq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: han
d
le spin_lock_ir
q
sa
v
e_nested(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
arpen
t
er
lock
i
n
g
:
h
andl
e
raw_spin_u
n
lock
_
irqrest
o
r
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpe
n
ter
l
o
cking: make "s
o
met
i
m
e
s lo
c
ked" me
s
sages
depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
Merge branch 'de
v
el'
i
nto devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
e
q
uiv
:
i
f
a variable is on
l
y
equ
i
valent to i
t
self
s
e
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
e
x
t
r
a: use the fa
k
e as
s
i
gnments instead of
t
h
e initialize
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
e
qu
i
v:
n
e
v
e
r set SMATCH_EXT
R
A
values directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
rpente
r
e
quiv: elimina
t
e
bogus
cal
l
to set_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
penter
in
t
roduce __smatch_deb
u
g_on() a
n
d _
_
smatch_
d
ebug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
Carpenter
locking: make
spinlock_irqs
a
ve() work for my conf
i
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpenter
locking: white spa
c
e fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
Carpen
t
e
r
locki
n
g: add mor
e
standa
r
d locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
D
a
n Carpente
r
c
heck_locking: clea
n
up list of kernel l
o
cks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpente
r
han
d
le select assigns
:
f
oo
=
a
? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
ar
p
enter
core
:
fake cur_s
l
ist more comp
l
e
tely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: r
e
wr
i
te sel
e
ct statement handlin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
enter
states:
v
erify 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
pent
e
r
Ren
a
m
e
func
t
ions
:
__pop
_
foo() => __discard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch_states: renam
e
s
o
me fun
c
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
re
l
ease_resourc
e
: Doh
.
I
t's lo
o
kin
g
for th
e
wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nter
fix se
l
ect
s
tatement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Car
p
enter
core: clea
n
up
.
delete
fake conditi
o
n
stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nter
core: make fake
cur_slists st
a
ckabl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Car
p
enter
slist:
m
ake set_state_s
t
ack
(
)
ret
u
rn t
h
e
new sm_st
a
te
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpent
e
r
*n
e
w*
c
h
eck_releas
e
_res
o
urce
.
c
:
c
h
eck
t
h
at we re
l
e
a
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpe
n
ter
f
l
ow: s
p
l
it asm c
l
o
b
bers, inputs and
outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
D
an Carpente
r
white_spaceonly: allow
header files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Ca
r
pent
e
r
*ne
w
* s
t
rip_wh
i
t
e
space
.
p
l
: remove
s
all the whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n
Carpenter
*n
e
w
* c
h
ec
k
_res
o
u
r
ce_size():
p
rod people to use res
o
urce_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assume impos
s
i
b
le things are impossibl
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpent
e
r
err_ptr: fix bt
r
fs false posit
i
v
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n Carpen
t
er
err_ptr: ha
n
dle when an
err_p
t
r is reassig
n
ed
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpent
e
r
*new* check_db_info
.
c pr
i
nts o
u
t stuff that will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
C
arpenter
c
leanup: move stuff from smatch_extra
.
c
to
smatch
_
math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
whi
t
espac
e
ch
a
nge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
e
qu
i
v
: fi
x
crashing
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
c
h
eck_overflow: mallo
c
() => _
_
al
l
oc_s
m
atch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpe
n
t
e
r
smatc
h
.
c: d
o
n't leak th
o
se 10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
a
s
signed_e
x
p
r
: fix
m
em
o
ry le
a
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kernel
:
free_
a
rea() doesn't call kfr
e
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpente
r
*new*
chec
k
_retu
r
n
.
c: complain
if you don't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h: make ge
t
_implied
_
value() work
for pointers bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next