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
core: add --file-output variable for make -j8
2011-10-30
Dan
Carpen
t
er
core: a
d
d --file
-
output va
r
iable for make -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
D
a
n Carpenter
smatch_extra:
c
l
ear out struct
m
e
mbers if a t
h
e
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Ca
r
p
enter
e
x
tra: fix crashing bug from
l
ast c
o
mmit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extr
a
:
e
x
pression
s
are e
q
uivalent eve
n
if they
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carp
e
n
t
er
user_data: use is_
c
appe
d
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carpenter
u
s
er
_
data: handle b
i
nops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n Carp
e
nter
*new* smatch_capped:
introd
u
ce is_c
a
pped() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan Car
p
ente
r
*new* check_user_data
:
record all the user data (
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
b
u
f_size:
the
r
e was a mistake in han
d
l
i
ng calls
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an
Carpenter
buf_size: reco
r
d
t
he size of struct memb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nt
e
r
ext
r
a: cleanu
p
:
u
s
e
my
_
id instead of SMATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
t
er
db: wro
n
g parameter number in stru
c
t m
e
mber callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra: don't print an ext
r
a $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: li
m
i
t
the number of fun
c
tion pointer
ca
l
ls we
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an Ca
r
p
e
nter
d
b, ext
r
a: intro
d
uce a
d
d_member_info_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
an
Carpe
n
te
r
ex
t
ra, db: record a dumm
y
outp
u
t for ev
e
ry function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpen
t
e
r
db:
u
se option_no_
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra, db: mo
v
e some db fu
n
ctions
f
rom smatch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
n
t
er
buf_size: handl
e
fu
n
c
t
i
o
n
p
oi
n
ters as we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan
C
arpenter
d
b: follo
w
c
a
lls to functions pointe
r
s
a
s well as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
f
l
ow: set
p
osi
t
ion for g
l
obal variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carp
e
nter
sign
e
d: all
o
w che
c
k
s
like: if (foo
<
0
|| fo
o
> x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpe
n
ter
overflow: get rid
o
f "buffer overflo
w
ca
l
ling %s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arp
e
nt
e
r
get rid o
f
--print_ret
u
rns opti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
a
n Carpenter
extra, db: we have to
r
ecord ev
e
r
y
f
un
c
tion
c
all in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Da
n
Carpenter
ran
g
es: invalid ra
n
ges d
e
f
a
ult t
o
the whole
range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
enter
s
i
gn
e
d: do
n
't warn
a
bout unsig
n
ed compar
i
sons to
m
a
cros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
C
ar
p
enter
extra, db: recor
d
the s
t
r
u
ct
m
em
b
er values in the dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra: f
i
x par
s
ing
o
f valu
e
s
f
ro
m
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carp
e
nte
r
fill_d
b
_untrust
e
d:
follow unt
r
usted data down
t
he call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
extr
a
:
do
n
't print if the
m
i
n-
m
ax as the value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
ran
g
es: intr
o
d
uce is
_
whole
_
range_rl() and
f
ix is_whole_ra
n
ge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpente
r
db: use th
e
functio
n
_
id co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpenter
fill_db_
c
a
l
le
r
_info: calculate function
_
id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
d
e
b
u
g:
add a _
_
smatch_possible("variable") f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
unc
a
pped
_
a
lloc: us
e
_com
p
lex() version of get_v
a
riable_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpe
n
ter
extra: db:
put s
i
ngle quotes a
r
ou
n
d th
e
f
u
nction n
a
me
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
*new* smatch_
s
c
ripts/follow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
hooks: remove some comment
e
d
o
ut code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
sq
l
: snprintf() nul terminates its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Carpenter
db:
m
ove buf_size
t
o the new add_definiti
o
n_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpen
t
er
db
:
introduce add_definition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Car
p
e
n
ter
db:
sto
r
e
t
h
e value
s
of parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carp
e
n
ter
db: make database co
d
e usab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*
new* min_t() casting that truncat
e
s
t
he values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan
Carpenter
*new* rose
n
berg: c
h
eck for informati
o
n leaks
f
rom the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
flow: tweak th
e
->pos setting f
o
r f
a
ke as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
f
l
ow: whitespace change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carpenter
f
low: pass condition assignment
s
to c
l
ients with ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
n
o_effect: add
s
ome
m
ore
te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Da
n
Carpenter
deref_check: check_deref: pri
n
t
bo
t
h
lin
e
number
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
c
ore
:
set
p
o
sition earl
i
er in sm
a
tch_f
l
ow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Ka
r
el Zak
s
match: ad
d
--
d
ata=<di
r
> op
t
ion
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
slist:
preserv
e
the ->line value
c
orrectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Car
p
e
n
ter
ov
e
rflow: pri
n
t more helpfu
l
in
f
o when
the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpent
e
r
gen_array_boun
d
s: filter
out b
o
gus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpe
n
t
e
r
b
u
f
_
si
z
e: silenc
e
a gcc false positi
v
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan C
a
rpenter
use PTR_INT() a
n
d INT
_
PTR() to
s
i
lence ca
s
t warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist:
m
a
k
e alloc
_
sm_state
(
)
s
tatic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
arpe
n
ter
slist:
remov
e
some dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Car
p
enter
c
or
e
:
clong_sm()
s
hould preser
v
e
t
he ->line valu
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan C
a
rpenter
u
pdate smat
c
h_data/ for
l
i
nux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpen
t
er
*n
e
w
*
b
ogu
s
_loops: wa
r
n on bogus
f
or
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan
Carpen
t
er
extra: use get_implied_value() instead o
f
get_
v
alue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
D
a
n Carpen
t
er
implied: handle assignments i
n
side
c
ond
i
tions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
over
f
low: che
c
k sprintf() and snprin
t
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carp
e
nter
smatch_flow:
f
ix co
m
pile error
cau
s
ed by upstream cha
n
g
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Elio
P
e
t
t
e
nò
Fix build with GCC 4
.
6 series
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
ov
e
rf
l
o
w:
cu
t
d
own on false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpen
t
er
smatch_data
:
update for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Car
p
enter
gen_no_return_funcs: al
w
ays k
e
ep the default no retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpent
e
r
I
n a
c
ouple
place the original checked
for --sp
a
m
my
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flow
:
handle
known s
w
itch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carp
e
nter
*
new* return_negative_var: retu
r
ning posit
i
ve
v
alues
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
Carpenter
*new* memset: check for memset
(
x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpent
e
r
Support __builtin_unre
a
chable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tetsuo Handa
F
i
x build error with o
l
der pa
c
kage
.
commit
|
commitdiff
|
tree
2011-05-23
Randy MacLeo
d
Fix g
r
ammatical erro
r
s in R
E
ADME-sma
t
ch
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpente
r
overflow: format_strings:
p
u
t
s
ome verbo
s
e
messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpen
t
er
buf_size: put some guesses behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan
C
arpenter
extra: ha
n
dle
c
ou
n
t
d
own fo
r
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Da
n
Carp
e
nter
ad
d
R
AW
_
ASS
I
GNME
N
T_H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan
C
arpen
t
er
Mer
g
e g
i
t://git
.
k
ernel
.
org/pub/
s
c
m
/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
D
a
n Carp
e
nter
signe
d
:
don't complain abo
u
t putt
i
ng 0xff in
t
o a si
g
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking: add _raw_spin_
l
ock_
n
e
s
ted(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carp
e
nter
intro
d
uce SELECT
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*new* check_sel
e
ct: return ret <
0
?:
0
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpent
e
r
*ne
w
* input_
f
ree_de
v
ice: do
n
'
t
c
a
l
l this
a
f
ter inp
u
t_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpenter
*n
e
w* check_
c
ontainer_of: con
t
ainer_of() does
n
'
t
return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
create chec
k
_li
s
t_local
.
h
w
hic
h
is
f
o
r
u
ntra
c
ked lo
c
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
l
o
cking: _atomic_dec_
a
nd_lock()
is a spinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
file
s
: cle
a
nup
o
pen_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
Carpenter
add d
e
fault no_return_funcs if no projec
t
is
s
pecified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
u
pda
t
e
s
m
a
t
ch_data/ for 2
.
6
.
3
7
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Car
p
enter
*ne
w
* check_
a
ccess_
o
k_math: potential in
t
eger
o
verflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpent
e
r
ho
o
ks: i
n
troduce A
S
M
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpente
r
temporary hac
k
to s
o
lve crashin
g
bu
g
in fs
/
reis
e
r
f
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Car
p
enter
l
o
cking: add __raw_spin_unlock_irq()
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan
Carpenter
err_pt
r
_deref: fix assignment
s
insi
d
e
c
ondition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan
C
ar
p
enter
locking:
a
dd arch_local_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next