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
Fix grammatical errors in README-smatch
2011-05-23
Randy
M
ac
L
e
od
Fix
g
r
ammat
i
cal errors in README-sm
a
t
c
h
commit
|
commitdiff
|
tree
2011-01-26
Dan Car
p
enter
overflow: format_str
i
ngs: put so
m
e
verbose
m
essages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Da
n
C
a
rp
e
nter
b
u
f_size:
p
ut
s
ome g
u
esses
be
h
ind --s
p
a
m
m
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan
Carpent
e
r
extra: handle count
down fo
r
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Da
n
Ca
r
p
e
nter
a
dd RA
W
_
ASSIG
N
MENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
M
erge git://git
.
k
e
rn
e
l
.
or
g
/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Car
p
enter
s
igned:
don't
c
omplai
n
abo
u
t putting 0
x
ff in
t
o a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpent
e
r
locking: add _raw_spin_lock_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
introduce SELECT_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Ca
r
p
e
nter
*new*
c
he
c
k
_
sel
e
ct:
return ret
<
0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
enter
*n
e
w* input_fr
e
e_device: d
o
n'
t
call this aft
e
r
i
n
put_u
n
regis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new
*
che
c
k_containe
r
_of: container_
o
f
()
doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpente
r
create check_list_local
.
h which is
for untra
c
ked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
n
ter
l
o
cki
n
g: _atomic_dec_and_lock() is a spinloc
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpenter
files: cleanup open
_
file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
C
a
rp
e
nter
add de
f
ault
no
_
ret
u
rn_funcs if no project
is
s
pecif
i
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpen
t
er
upda
t
e
smatch_
d
at
a
/ for 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpe
n
ter
*ne
w
* check_access_ok_mat
h
:
p
otential i
n
teger overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan C
a
rpe
n
ter
hooks: introduce ASM_HOO
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carp
e
nter
te
m
porary hack to solv
e
crashing b
u
g in fs/r
e
iserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Da
n
Carpenter
locking: add
_
_
raw_spi
n
_unlock_irq() func
t
ion
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan Carpenter
err_ptr
_
de
r
ef: fix assignments inside co
n
ditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpenter
locking: a
d
d arch_local_
i
rq
_
save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpent
e
r
che
c
k_type: warn about kf
r
ee() vs free_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpen
t
er
type: imp
r
ove handling of array type
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
extra: mov
e
some stuff int
o
smatch_din
f
o
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf_
s
i
z
e: oops
.
.
.
remo
v
e
d
e
bug o
u
tput!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an
C
arpent
e
r
white
s
p
ace_only
:
don
'
t error ou
t
handling
.
h
files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
Carpenter
*new* get_user_overf
l
ow
:
chec
k
fo
r
i
n
t
e
ger overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpenter
smatch_db:
d
on'
t
complain if the db doesn't
e
xist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n
C
a
r
p
enter
buf_size: do cro
s
s function analysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
a
r
pent
e
r
*
new* uncapped_al
l
o
c
:
p
r
i
nt plac
e
s
whe
r
e
the us
e
r dec
i
de
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
e
nter
*new* smat
c
h_db: use
and sqlite d
a
taba
s
e for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpen
t
er
pa
r
am_m
a
p
per
:
up
d
ate copy
r
i
g
ht
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpent
e
r
s
m
a
tch_scripts/
g
e
n
_
e
x
p
ects
_
err_
p
tr
.
s
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n
C
arpenter
smatch_data/k
e
rnel
.
array_bounds: a
r
r
a
y
b
o
undar
y
data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n Carpenter
expects_err_ptr:
m
ake a list
of func
t
io
n
s
which acc
e
pt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
arpenter
u
n
w
i
nd: a
d
d m
o
re unwind fun
c
tion
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
upda
t
e smatch_data/
fo
r
2
.
6
.
36-rc2 (pa
r
t 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
overf
l
ow: fixup cross f
u
nctio
n
overf
l
ows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan
Carpenter
r
e
move de
a
d no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpenter
u
n
wind: add
m
o
r
e unwind func
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan C
a
rpenter
remove check_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Carpen
t
er
Updat
e
smatch_data
t
o 2
.
6
.
36-r
c
2 [patch 1 o
f
more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
kernel:
c
o
n
ta
i
n
er_of
(
) returns a n
o
n-NU
L
L po
i
nter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
Car
p
enter
Intr
o
duc
e
add_macro_as
s
ign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpenter
fix o
u
t of memor
y
h
a
ndling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
a
n Carpen
t
er
Ne
w
functions returns_unsigned()
and retu
r
ns_poin
t
er
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan
Carpenter
*new* chec
k
_info_
l
eak
.
c
:
p
l
aces
that pass
un-zeroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*new
*
check_
r
eturn_enomem: complain about returning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Ca
r
penter
*
n
ew* platf
o
r
m_device_put
(
) vs platfo
r
m_devic
e
_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n
C
arp
e
nter
unwind: literals
h
igher than z
e
r
o are
n
ot an erro
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
i
mplied: only prin
t
the nr
_
c
h
i
ldr
e
n m
e
ssages if ther
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
r
penter
unwind
:
r
e
gister unwind
funct
i
ons that
unwind
ev
e
r
ything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
Carpenter
unwind: update
equ
i
valent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Ca
r
penter
extra:
clean up unused variabl
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpen
t
e
r
equiv: update validation test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpen
t
er
e
xtra
:
han
d
le WARN_
O
N
(
fun
c
(&
s
et_this_pointer));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
buf_size
:
I broke i
n
itializer handl
i
ng by
m
istake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpenter
o
op
s
.
f
i
x compi
l
e e
r
ror
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an Carpenter
buf_size: remo
v
e
m
em
s
et() and
m
e
m
mo
v
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpe
n
ter
implie
d
_not_equal: ha
n
dle literals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
D
an Carpen
t
er
res
o
urc
e
: cr
a
s
h
ing b
u
g on inco
r
rect i
n
put
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_s
i
ze: ignore dynamically sized a
r
ray
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: add su
p
p
o
rt for memd
u
p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
Carpenter
buf_size: add support for
s
trndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
t
er
b
u
f_size: use strcpy() to
determ
i
ne the
s
ize of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
Carp
e
nter
buf
_
si
z
e: use str
n
cpy()
and
friends to
set the b
u
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
ter
buf_siz
e
: whitesp
a
ce
c
hanges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpent
e
r
overflow: re
m
ove
unused functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
enter
buf_si
z
e: use alloc_state_num() instead of custom
version
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
penter
buf_siz
e
: remove unuse
d
defi
n
ition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpente
r
overflow: make a
r
ray siz
e
trac
k
i
n
g
i
n
to a
li
b
r
ary function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
Dan Carpenter
unwind: add pci_ioma
p
() and pci_iounmap()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpenter
*
n
ew* che
c
k
_
kmalloc_to_bugon: don'
t
c
a
ll bug_on() for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carpenter
*
n
ew* check_unwind:
check that
module_i
n
it function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Da
n
Carpenter
cor
e
:
process i
n
lin
e
stateme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carp
e
nter
flow:
h
andl
e
a
sm st
a
tements correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan C
a
rpenter
Merge git://git
.
kernel
.
org/pub/scm/deve
l
/spar
s
e/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan
Carp
e
n
t
er
add ubifs_ass
e
rt() to list of a
s
se
r
t
m
acr
o
s
that call
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
check_dma:
a
dd a che
c
k for foo =
k
malloc(
s
izeof(*foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Carpenter
signed: u
n
sig
n
ed va
r
iables are allowed to do math
with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan Carpen
t
er
over
f
low: handle "if
(
s
t
rlen(f
o
o) < 10) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
D
a
n Carpe
n
t
e
r
ov
e
rflow: add support fo
r
strlen()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Tilman Sauerbe
c
k
Warn if random pointers are used as source buffers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carp
e
nter
leak
s
: replace check_
m
emory
.
c
with a rewrite check
_
leaks
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
D
a
n
Carpenter
get_variable_from_expr_comp
l
ex(): return
proper symbol
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
T
ilman Sauerbeck
Added a
test
ca
s
e for the re
c
en
t
ly intro
d
u
ced exten
d
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan Carpent
e
r
Makefile:
s
mall
w
hi
t
e
s
pace
cha
n
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan C
a
rpenter
memory: remove the warnings abou
t
f
ree
d
memory
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
T
i
lman S
a
uerbeck
Find leaks t
h
at occur by setting point
e
r
s
t
o alloc
a
ted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Tilman S
a
uerbeck
A
dded a simple
t
est ca
s
e
for the do
u
ble
f
r
e
e
c
hecker
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-06
Dan
C
arpenter
check_fre
e
:
c
re
a
te a separate check for misu
s
i
n
g fr
e
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-05
D
a
n C
a
rp
e
n
ter
related: r
e
n
ame dinfo
-
>equiv
to dinfo->
r
elated
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan Car
p
en
t
er
con
s
traints: shuffle things a
r
ou
n
d a bit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
Dan C
a
rpe
n
t
er
*new
*
scrip
t
s/
g
e
ne
r
isiz
e
.
pl
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-30
D
an Ca
r
penter
typ
e
: all
o
w
the
p
aram
e
ter to be null
for type_u
n
s
i
gned()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-15
Dan Carpente
r
redo the
i
gnor
e
d_m
a
cr
o
s stuff properly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
D
an Carpenter
condition
s
:
fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-06-14
Da
n
Carp
e
nter
elimi
n
at
e
s
o
me new "state
m
e
n
t
h
as no
e
ffect" f
a
ls
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next