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
extra, db: record the struct member values in the database
2010-08-03
Dan C
a
rpen
t
er
unwind: registe
r
unwind function
s
that
u
nw
i
nd e
v
erything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
an Carpenter
unwind: update equival
e
nt stat
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an Ca
r
p
enter
extra: cl
e
an up unused variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carpenter
eq
u
iv: upda
t
e v
a
lidation tes
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpente
r
e
x
tra: handle WAR
N
_ON(func(&s
e
t_this_pointer));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
C
a
rpenter
buf_size: I brok
e
initializer
h
andling by
m
istake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carp
e
nter
o
ops
.
fix compile error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Ca
r
penter
buf_size: remove
m
emse
t
(
) and
memmov
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan
C
arpe
n
ter
implied_not_equal
:
ha
n
dle lit
e
ra
l
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
D
a
n Car
p
ent
e
r
resource: cras
h
ing bug on
i
ncorrect inpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_
s
ize: ignore dynam
i
c
a
lly sized arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
penter
buf_size: add s
u
pport for memdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpent
e
r
buf_size: add suppor
t
for strndu
p
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
buf_size:
u
se str
c
py()
to
det
e
rmine the si
z
e of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
en
t
e
r
buf_size:
u
se
strncp
y
() and friends t
o
set the buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf
_
size: w
h
itespace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
pent
e
r
overflow:
remove
unused f
u
nctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
uf_size: use alloc_state_num() instead of custom vers
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
a
r
pente
r
buf_size: remove unuse
d
definition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
e
n
ter
overf
l
o
w
: make arra
y
size tracking
into a library func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
Da
n
Carpe
n
ter
unwi
n
d
:
add pci_iomap() and pci_iounmap()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpenter
*new* check_kma
l
l
o
c_
t
o_bugon:
d
on't c
a
l
l
bug_on()
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan C
a
rpenter
*new* check_unwind: check that module_init fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpe
n
ter
core: process inlin
e
sta
t
e
m
e
n
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpenter
f
low: ha
n
dle asm
s
tat
e
ments corr
e
ctl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
D
a
n Carpenter
Merge git:
/
/
g
i
t
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Car
p
enter
add ub
i
fs_assert
(
) to li
s
t of assert
m
acro
s
that
c
all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan C
a
rpenter
check_dma: add a chec
k
f
or foo
=
kmalloc(sizeof(*fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Carpent
e
r
sign
e
d
:
unsigned variables a
r
e a
l
lowed t
o
d
o math w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan C
a
rpenter
overflow: han
d
le "if (strlen(foo)
<
1
0) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan
Carpenter
overflow:
a
dd
s
upp
o
rt f
o
r
strlen()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Car
p
e
n
ter
leaks: replace che
c
k_me
m
ory
.
c with a rewrite
c
h
e
ck
_
leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpenter
get_variable_from_expr_
c
omp
l
ex(): return prope
r
symbol
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpent
e
r
Makefile
:
small whitespace ch
a
nge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
D
a
n Ca
r
pente
r
memory: remo
v
e
t
he warnings about fr
e
ed m
e
mory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan
Carpenter
check_fr
e
e: crea
t
e a
s
e
parate check for
misusing freed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
Dan Carpente
r
related: re
n
ame dinfo->equiv to d
i
nf
o
->rela
t
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
D
a
n
Carpent
e
r
constraints: s
h
u
ffle things around a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
D
an Carpenter
*
new* scripts/generisiz
e
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Da
n
C
arpent
e
r
type: allo
w
the
paramete
r
to be null
f
or type
_
u
n
signed(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Dan Carpenter
redo the
ignored_macros stuff properly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
cond
i
t
i
o
n
s: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
e
liminat
e
some new "st
a
t
e
men
t
has
n
o
ef
f
ect"
f
alse
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
get rid of ge
t
_n
e
xt_st
m
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Ca
r
penter
core: h
a
ndle "foo =
({
f
rob(); fr
o
b(); frob(
)
; 1;})
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
locking:
a
dd spin_trylo
c
k_irqsave()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Dan Carpenter
f
i
x c
r
as
h
ing bug c
a
used by t
h
e little endian chec
k
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
extr
a
: ignore
WARN_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpenter
err_ptr
:
re
m
ove jede
c
_probe() fr
o
m err_ptr li
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan
C
arpe
n
ter
snpri
n
tf: turn o
f
f
be
defau
l
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carpente
r
v
a
l
i
dation: upd
a
te ove
r
flow
t
e
s
t to add qu
o
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-11
Dan Carp
e
n
t
er
c
o
ndition
s
: fix handli
n
g of __builtin_constant_p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan
C
arpenter
overflow: add
q
uot
e
s
a
round
v
ariable names
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
D
an
Carpenter
overflow: ignore arrays
w
i
t
h
only one element
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan C
a
rpent
e
r
ove
r
flow: add calloc() su
p
port
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-10
Dan Car
p
enter
o
ver
f
low: c
h
eck f
o
r c
o
py_to_user
(
)
overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-09
Dan Carpenter
memory: fix lea
k
false pos
i
tives ca
u
s
e
d by "foo = bar
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Carpenter
le16: f
i
x fal
s
e positives a
n
d t
u
rn on by defaul
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan C
a
r
p
enter
macro: the first macro adde
d
is
t
h
e
o
ne to
k
ee
p
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-08
Dan Car
p
enter
memor
y
: a
d
d quotes in output
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Dan Carpenter
f
l
ow
:
fi
x
"if();" false posit
i
ves
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-07
Dan Carpenter
e
xtra:
t
weak assignment of unsigned va
l
ue
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-05
D
an C
a
rpenter
smatch_extra: cleanup
m
atch_assi
g
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-04
Dan Carp
e
nter
r
eturn_efault: fin
d
m
o
re bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan Carpenter
*new* return_efault: looks for p
l
ac
e
s th
a
t sh
o
uld retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-03
Dan Carpenter
sm
a
t
c
h_type: fix
__bitw
i
se__ handl
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Carpenter
Update smatch_data/ for 2
.
6
.
35-rc
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-02
Dan Car
p
enter
*new*
p
ropaga
t
e: check
that
er
r
or codes g
e
t propagated
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-29
Dan
Carpenter
err_p
t
r_deref: don't compl
a
i
n
if
t
h
e variab
l
e is null
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-26
Dan Carpenter
*n
e
w
* check
_
macr
o
s:
fi
n
d macro precedence bugs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
D
a
n
Carpenter
hook
s
: add LOGIC_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-25
Dan
C
arpenter
macro
_
table: tak
e
t
he
file
i
n
to account
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
ma
c
r
o
_table: do not i
n
clude
smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
f
l
ow: handl
e
logic t
h
ings l
i
ke: fo
o
(a && a->ba
r
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpenter
s
i
gned: co
m
p
arin
g
to literals t
o
ge
t
her creates a false
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
D
an Carpenter
deref_
c
heck: rem
o
v
e th
e
--spam
m
y opt
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-22
Dan Carpente
r
d
e
l
e
t
e
c
h
e
ck_leaks
.
c: This ch
e
c
k
was always
worthless
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan Carpent
e
r
w
i
ne: fixup t
h
e no retur
n
fu
n
c
t
ions
a
bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-20
Dan C
a
r
p
e
nter
m
acr
o
_table
.
c: r
e
pla
c
ement f
o
r in_macro()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan
C
arpenter
small cleanup and a comment change
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-18
Dan
Carp
e
nter
*
n
ew
*
che
c
k_snpri
n
tf: using the ret
u
rn value of snprintf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-15
Dan Car
p
e
n
ter
unused
_
return: print
f
u
nction name that was ignored
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n
Carpen
t
er
m
a
th: d
o
n't
p
a
s
s negative numbers as a
b
solute max
for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
implied: allow the known part to be a
ran
g
e l
i
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan
Carpenter
math: fix get_absolu
t
e_mi
n
/max() for size
o
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
extra: make
do_comparison() handl
e
two variab
l
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ra
n
g
es:
introduce
free_range
_
l
ist
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
ranges: introduce pos
s
ibly_tr
u
e/false_
r
ange_lists()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
D
a
n
Car
p
enter
pr
e
cedence: don't complai
n
ab
o
ut i
f
foo is 0-1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpente
r
e
xtr
a
:
cleanup: ren
a
me do_co
m
par
i
son
_
range() =>
do_c
o
mparison(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-10
Dan
Carpenter
kn
o
wn_condition_tr
u
e
/
false(): hand
l
e ex
p
ressio
n
state
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*new* check_kunmap():
c
o
nfusi
o
n betwe
e
n
kmap() and
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-02
D
a
n
C
arpenter
*new* sma
t
ch_
s
cripts/unlo
c
ked_pa
t
hs
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-05-01
Dan
C
arpen
t
er
flow:
c
leanup:
m
ake split
_
function() it'
s
own functio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpen
t
er
deref_check: use in_
m
acro() to silence most of th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-29
Da
n
C
a
r
penter
math: int
r
oduce get_absolute_min/m
a
x()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpen
t
er
math
:
cleanup: rename get_
i
mpl
i
ed_single_fuzzy_max()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpent
e
r
math: cleanup: shuffle some functions
a
round
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
D
an Ca
r
p
e
nter
m
a
th: cleanup: get rid of the *discar
d
thin
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
ma
t
h: cleanup
:
get rid of
I
MPLI
E
D_
S
INGLE
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next