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
implied: handle assignments inside conditions better
2011-07-26
Dan Carpenter
implied: handle as
s
i
gnments insi
d
e condit
i
ons bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
an Carpent
e
r
overflow
:
check sprintf() and snprin
t
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
s
m
a
tch_flo
w
: fix co
m
p
i
le
e
r
ro
r
c
a
used by upstream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dieg
o
El
i
o Pettenò
Fix build with GCC 4
.
6 series
.
commit
|
commitdiff
|
tree
2011-06-17
Da
n
Carpen
t
er
ove
r
flo
w
: cut down
on false
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Car
p
enter
s
mat
c
h_data: update for 3
.
0
kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Da
n
Carpenter
gen_no
_
ret
u
rn_funcs: al
w
ays keep the defaul
t
no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
In a couple plac
e
the original checked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Da
n
Carpenter
flow
:
h
andle known switch stateme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpen
t
er
*new* retur
n
_n
e
gativ
e
_var: returning positive
values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
ar
p
enter
*new*
m
emset:
c
he
c
k for
m
e
ms
e
t(
x
, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
D
an Carp
e
nter
Support __bui
l
tin_unre
a
c
h
a
ble()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Te
t
suo Hand
a
Fix build error with older packag
e
.
commit
|
commitdiff
|
tree
2011-05-23
Randy MacLeod
Fix grammatical erro
r
s
in README-smatch
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
ove
r
flow: format_strings: put some verbos
e
messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan
C
arp
e
nter
buf_siz
e
: p
u
t s
o
m
e guesses behind --spa
m
m
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Ca
r
pe
n
ter
ext
r
a: handl
e
count
d
o
w
n f
o
r loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
a
n
C
arp
e
n
t
er
add RAW_ASSI
G
NMENT
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
a
n Carpenter
Merge gi
t
://git
.
kernel
.
org/pub/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpen
t
er
signed: d
o
n't c
o
mplain abou
t
pu
t
t
i
ng 0x
f
f i
n
to a
signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
lock
i
n
g: add _raw_spin_lock_nest
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
C
a
r
penter
introduce SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Ca
r
p
e
nter
*new* check_select: ret
u
rn ret < 0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan C
a
rpenter
*n
e
w* in
p
ut
_
free_device: don't call th
i
s after
i
n
p
u
t_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpenter
*new
*
chec
k
_conta
i
ner_of:
c
ontai
n
er_of() doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
C
a
rp
e
nter
create check_list_local
.
h whic
h
is for untracked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpe
n
t
e
r
lo
c
king: _atomic_dec_and_lo
c
k() is a spinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
fil
e
s
: clean
u
p op
e
n_fil
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
arpente
r
ad
d
defa
u
lt no_return
_
funcs if no pro
j
ect is specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan C
a
rpenter
update
smatch_d
a
t
a/ for 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpenter
*new* check_
a
cc
e
ss_ok_math: potential integer
o
verflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Car
p
enter
hoo
k
s: intr
o
duce ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
t
e
mporary hack to solve cr
a
shing bug in fs/rei
s
er
f
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpe
n
t
er
locking:
a
dd _
_
raw_sp
i
n_unlo
c
k_i
r
q() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
D
a
n Carpent
e
r
err_
p
tr_deref: fix ass
i
g
nments inside conditi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carp
e
nter
locki
n
g
:
add arch_lo
c
al_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Car
p
enter
c
h
eck_type: warn about kfree() vs free_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Da
n
Carpen
t
er
type: improve handling o
f
array types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
extra: move some
st
u
ff into smatch_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
b
u
f
_size: oops
.
.
.
remove debug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
w
h
itespace_onl
y
: don't error o
u
t handling
.
h
files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
a
rpenter
*new* ge
t
_u
s
er_overf
l
ow: check for
i
nt
e
ger
overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
smatch
_
db: don't
compl
a
i
n if the db doesn't exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
a
rp
e
nter
buf_size: do cros
s
f
u
nction analysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Ca
r
pe
n
te
r
*new* un
c
apped_alloc: print pla
c
es
where the
u
ser de
c
i
d
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
C
arpent
e
r
*new* smatch_db:
u
s
e and sqlite database for
c
ross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
ar
p
e
nt
e
r
p
a
ram_mapper: update copy
r
i
ght
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carpenter
s
m
atch_scripts/gen_expects
_
err_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smat
c
h
_
da
t
a/ke
r
nel
.
arra
y
_bounds: array boun
d
ary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
expec
t
s_e
r
r_ptr
:
ma
k
e a
list
of functions which acc
e
pt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n Ca
r
penter
u
nwind:
a
dd more unwind functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
u
pdate
s
m
a
tch_data/ for
2
.
6
.
36-rc2 (part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
ove
r
flow: fixup
c
r
o
ss function ove
r
flows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpen
t
e
r
remove de
a
d no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
an
Carpenter
unwind: a
d
d more u
n
wind functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
C
a
rpen
t
er
remove
c
he
c
k_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Upd
a
te
s
matc
h
_
data
t
o 2
.
6
.
3
6
-rc2 [patch 1 of mor
e
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
an Ca
r
penter
k
er
n
e
l: cont
a
iner_of()
retur
n
s a
n
on-NUL
L
pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carp
e
nter
Introd
u
ce a
d
d
_
macro_ass
i
gn_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpenter
fix out of memo
r
y handl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
New function
s
r
e
turns_unsigned() and re
t
urn
s
_
pointer()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*
new* check_in
f
o
_leak
.
c: places tha
t
p
a
s
s un-zeroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Car
p
en
t
er
*n
e
w* c
h
eck_return_enomem: c
o
mplain about re
t
urning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpenter
*
n
ew* p
l
atform_device_put()
v
s platform_device_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
C
a
rpenter
unwind: literals
h
i
g
her than zero a
r
e
not an
e
r
r
or
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
arpen
t
er
implie
d
: only pri
n
t
the
n
r_child
r
en messages if there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n Carpenter
unwind
:
r
e
gister
unwin
d
funct
i
ons that unw
i
nd everything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Car
p
e
n
ter
unwind
:
update equiva
l
ent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
extr
a
: clean
up
u
nused varia
b
les
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n Carpenter
equiv: update
validation te
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpen
t
er
extra: han
d
le WARN_ON(
f
unc(
&
se
t
_th
i
s_pointer));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Car
p
ente
r
buf_size:
I
broke initial
i
zer handling
by
mis
t
ake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Car
p
enter
oo
p
s
.
fix compile error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
bu
f
_size: remove memset() and mem
m
ove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpen
t
er
i
mplied_not_equal: h
a
ndle literals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan
C
arpenter
resource
:
crashing bug on incorrect inpu
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpenter
buf_size:
i
gnore d
y
namical
l
y s
i
z
e
d
arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
a
r
p
en
t
e
r
buf
_
si
z
e: add s
u
p
p
o
rt for memdup
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
Carpenter
b
u
f
_size: add support
for
s
trndup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan C
a
rpenter
buf_size: use strcpy
(
) to deter
m
ine
t
he siz
e
of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan C
a
r
p
enter
b
u
f_size: use str
n
cpy() an
d
friend
s
to
set the buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpent
e
r
bu
f
_
size: whites
p
ace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
arpenter
ove
r
flow: r
e
move u
n
u
sed functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
te
r
buf_si
z
e: use a
l
loc_state_num
(
) instead of custom version
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Carpen
t
er
buf_size: remove unu
s
ed
definition
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
ter
overf
l
ow: make
a
r
ray
s
ize tracking
i
nto a l
i
brary function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-30
Dan Ca
r
penter
unwind:
a
dd pci
_
ioma
p
()
a
nd pci_ioun
m
ap()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Carp
e
nter
*n
e
w* check_
k
malloc_to
_
bugon: d
o
n't call bug_on
(
) fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-29
Dan Car
p
enter
*new
*
c
h
eck_unwi
n
d: chec
k
that mo
d
ule_
i
nit function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
Dan Carpenter
core:
process inline statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-21
D
a
n Carpen
t
e
r
flow
:
ha
n
dle
asm statements
c
orrectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpente
r
Merge
git:/
/
git
.
kernel
.
org/pub/scm/dev
e
l/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpent
e
r
ad
d
u
bifs_ass
e
rt()
t
o list of
as
s
ert macro
s
t
hat
c
a
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-19
D
an Carpenter
check_d
m
a
: add
a
ch
e
ck for fo
o
= km
a
l
l
oc(
s
ize
o
f(*foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-14
Dan Carpe
n
ter
signed: unsign
e
d
variables are allow
e
d to do
math with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan
C
a
r
p
ent
e
r
overflow
:
handle "if (st
r
len(
f
oo) < 10) {
.
.
.
"
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-09
Dan C
a
rpente
r
overflow: a
d
d support for strlen(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Tilma
n
S
auerbeck
Warn if random
p
o
inters are
used as source
buffers
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpenter
leaks: re
p
lace check
_
memory
.
c
with a re
w
rit
e
c
heck
_
l
ea
k
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-08
Da
n
Car
p
enter
get_variable_fr
o
m_exp
r
_
complex
(
)
:
return proper s
y
mbol
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next