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
hooks: remove some commented out code
2011-10-04
Dan Carpenter
h
ooks: remove som
e
c
o
mmente
d
out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
sq
l
:
s
n
printf()
nul t
e
rmina
t
e
s its string
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
db: move
bu
f
_size
t
o
t
he
n
ew
a
dd_defi
n
i
t
ion_db
_
callba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: introduce add_defin
i
t
ion_db_callb
a
ck
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Carpenter
db: store
t
h
e values o
f
parameter
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpen
t
er
d
b
:
m
ake database
c
o
d
e usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*new
*
min_t() casting that tru
n
cate
s
t
he v
a
lues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Da
n
Carpenter
*new* ros
e
nb
e
rg: check for information leaks from t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
r
p
enter
flow: tweak
the ->po
s
s
e
tting for fake ass
i
gn
m
en
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: whi
t
es
p
ace
c
h
ang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Ca
r
penter
flo
w
:
pa
s
s c
o
ndit
i
on assi
g
nments to clients with ASSIGNMEN
T
_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_effect: ad
d
so
m
e more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpente
r
deref_check: check_dere
f
: prin
t
bot
h
lin
e
n
umbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan
Carp
e
nter
core: se
t
position ea
r
l
i
er i
n
sma
t
ch_f
l
ow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Ka
r
e
l
Z
a
k
smatch:
add --da
t
a=<di
r
> opt
i
o
n
commit
|
commitdiff
|
tree
2011-09-12
Dan
C
arpe
n
ter
slist: preser
v
e the -
>
l
ine val
u
e cor
r
ectl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpente
r
ov
e
rflow: prin
t
more help
f
u
l
i
nfo
w
hen the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan C
a
rpenter
gen_arr
a
y_
b
ounds: filt
e
r out bogus li
n
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan C
a
rpent
e
r
b
u
f_size: silence a gc
c
false positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpenter
use PTR_INT() and INT_PTR() t
o
sile
n
ce
cast warn
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
an C
a
rpen
t
e
r
s
list:
m
ake alloc_sm_state() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Carpenter
slist: remove some
d
e
a
d
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
core: clong_s
m
() should preserve the ->
l
ine v
a
lue
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
an Carpenter
update
smatch_data/
for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Car
p
en
t
er
*new* bogu
s
_loops: warn
o
n b
o
gus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Ca
r
penter
extr
a
: use
get_implied
_
value() instead of get_va
l
ue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
D
an Carpe
n
ter
implied: handle assignments insi
d
e conditions bet
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overflow: check spri
n
tf()
and
s
npr
i
ntf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n Carpent
e
r
smatch_flow:
f
ix compile error caused
b
y upstrea
m
changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Elio
P
ettenò
Fix build
w
ith
GCC 4
.
6 series
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Car
p
enter
overflow: cut
d
own on false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
s
m
atch_
d
ata: upda
t
e for 3
.
0
k
ernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Da
n
Carpente
r
gen
_
no_retur
n
_fun
c
s: always keep the default
no
return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan C
a
rpenter
In
a
couple place the orig
i
nal che
c
ked
f
or --
s
p
a
mmy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Da
n
Carpen
t
er
f
low: handle kno
w
n sw
i
tch stat
e
ment
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*
n
ew* return_negative_var: returning
p
o
sitive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new
*
me
m
set: ch
e
c
k for m
e
mset(x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpenter
Suppor
t
_
_
builtin_unreachable
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
T
e
tsuo Handa
Fix build error w
i
th
older package
.
commit
|
commitdiff
|
tree
2011-05-23
Randy M
a
cLeod
Fix grammati
c
al errors in RE
A
DME-smatch
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
ove
r
flow:
f
o
r
mat_strings: put
some verbo
s
e mess
a
ges
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
buf_size: p
u
t
s
ome guesses behind
--spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra: handle count
d
own for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Car
p
enter
add RA
W
_ASSI
G
N
M
ENT_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
an C
a
rpenter
Mer
g
e git://git
.
kernel
.
org/pub/scm/devel/s
p
arse/c
h
ri
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Da
n
Carpenter
si
g
ned: don't
co
m
plain
about putti
n
g
0
x
ff into a s
i
gned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan C
a
rpenter
locki
n
g
: add _raw_
s
p
i
n_
l
ock_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpen
t
er
int
r
oduce SE
L
ECT_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan C
a
r
p
enter
*new* check_
s
elec
t
:
r
eturn ret < 0
?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*
new* inpu
t
_
free_device
:
don'
t
call this after input_unreg
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpe
n
ter
*n
e
w* c
h
ec
k
_
cont
a
i
n
er_of:
c
o
nta
i
ner_of() doesn
'
t return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
create c
h
eck_li
s
t_local
.
h
which is for untracked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
locki
n
g: _atomic_dec_and_lock() is a spinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
files:
cleanup open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpente
r
add default n
o
_return_funcs if no project is specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
update smatch
_
data/ for 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan
C
arpenter
*new* check_ac
c
es
s
_
o
k_math
:
potenti
a
l integer
o
verflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
hooks: introduce ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan
Car
p
enter
temporary h
a
ck to
s
o
l
ve crashing
bug in fs/
r
e
iserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpe
n
ter
locking: add _
_
ra
w
_
spin_
u
nlock_irq() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan
Carpenter
err_ptr
_
deref
:
fix assignments inside c
o
nditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Da
n
Carp
e
n
t
er
locking
:
add arch_local_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan
Carpenter
c
heck_type: w
a
rn about kfre
e
() vs free_ne
t
dev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpenter
type
:
improve
handling
o
f
array
t
y
p
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
extra: mo
v
e some stuff into smatch_
d
inf
o
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rpent
e
r
buf_size: oops
.
.
.
remove debug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
e
nter
w
h
ite
s
pace_
o
nl
y
: don't error out h
a
ndli
n
g
.
h
f
iles
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rpenter
*new* get_
u
ser_overfl
o
w: check for integer
o
verflow
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Ca
r
pente
r
smatch
_
db: don
'
t
co
m
p
l
a
in if the
d
b d
o
esn't ex
i
st
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpen
t
e
r
buf_s
i
ze
:
d
o
cros
s
fun
c
tion analys
i
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
a
r
pente
r
*new* unc
a
pped_alloc: print
places w
h
ere the user
d
ecides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
a
rpent
e
r
*
n
ew
*
s
m
a
t
c
h
_db
:
use and s
q
l
ite database f
o
r c
r
oss
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpen
t
er
pa
r
am_mappe
r
: upd
a
te copyr
i
g
h
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carpenter
smatch_s
c
ripts/gen_expect
s
_err_
p
tr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
s
matc
h
_data/kernel
.
array_bounds: array boundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
Carpenter
e
x
pec
t
s
_
err_ptr: make a
list
o
f
f
unctions which accept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an
C
arpe
n
ter
unwind: add m
o
re unwind functi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
update smatch_data/ fo
r
2
.
6
.
36-rc2 (
p
a
rt 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Carpenter
over
f
low:
f
ixup cross functio
n
o
v
erflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
a
n Carpenter
remove d
e
ad
n
o
_
le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan
Carpenter
unwind: a
d
d more unw
i
n
d functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Carpenter
remove
c
h
e
ck_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Update smatch
_
data t
o
2
.
6
.
3
6
-rc2 [patch 1 of more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n Ca
r
pen
t
er
ke
r
nel: contai
n
e
r
_of() returns a
n
on-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Carpen
t
e
r
Introduce
a
dd_macro_assi
g
n_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpent
e
r
fix out of m
e
mory hand
l
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Da
n
Carpenter
N
ew functions re
t
urn
s
_unsigned() and
r
e
turns_pointer(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*n
e
w
*
chec
k
_info_leak
.
c:
place
s
that pass u
n
-zero
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*new* check_re
t
u
r
n
_
enomem: comp
l
ai
n
about re
t
urni
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpente
r
*new* pl
a
tform_device_put() vs
platform_devi
c
e_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
an Carpent
e
r
unwind: literals higher
t
han z
e
ro a
r
e
n
o
t an error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
implied: o
n
ly print the nr_children
mes
s
ages if there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
arpenter
u
nw
i
nd: regist
e
r
u
nwind functions th
a
t unwi
n
d eve
r
ything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n Carpenter
unwind: update equivalent
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
a
n
C
a
rpenter
extra:
clean up unused var
i
ables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
e
q
uiv: updat
e
va
l
idation test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carpen
t
er
extra: handle WAR
N
_ON(func(&set_this_p
o
inte
r
));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carpente
r
b
u
f_
s
ize: I broke initi
a
lizer handling by mistake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan C
a
rp
e
nter
oops
.
fix com
p
i
l
e er
r
or
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpen
t
er
bu
f
_size: r
e
move mems
e
t() an
d
memmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next