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
user_data: use is_capped() function
2011-10-22
Dan Carp
e
n
ter
user_data: use is_cap
p
ed() f
u
nc
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
u
s
er_d
a
ta:
handle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
an Carpente
r
*ne
w
* smat
c
h_capped: introduce
is_c
a
pped() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan
Carpenter
*new* ch
e
ck_user
_
dat
a
: record all the user
d
ata (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpent
e
r
buf_size: there was
a
m
i
st
a
ke in h
a
ndling call
s
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpenter
b
u
f_siz
e
:
record the
si
z
e of
struct mem
b
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
penter
extra:
c
leanup: use m
y
_id ins
t
ead of SMATCH_EXTR
A
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: w
r
ong parame
t
er numb
e
r
i
n
struct membe
r
callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carpen
t
er
extra: don't print an
e
xtra $
$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
Carpenter
db: limit t
h
e number of fu
n
c
tion poi
n
te
r
cal
l
s
we ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an Carpe
n
ter
db, extra: i
n
troduce add_
m
e
mber_info_call
b
a
ck()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan
Carpenter
ex
t
ra, d
b
: record a dummy output for e
v
ery funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
d
b
: u
s
e
o
ption_no
_
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n Carpente
r
extra, db: move some db
functi
o
ns fro
m
smatch_e
x
tra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
buf_si
z
e: handle fu
n
ction pointers
a
s well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
db: follow calls
t
o
f
unct
i
ons p
o
inters a
s
well
as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpen
t
e
r
flow: set positio
n
for globa
l
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
signed: allow che
c
k
s
like: if (foo < 0
|
|
f
o
o
> x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpen
t
er
overflo
w
: get rid of "buffer overflow calling %s
.
para
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an Car
p
enter
get rid
o
f --pr
i
nt_returns option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpent
e
r
extra
,
db: we have
to record every functi
o
n
cal
l
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan
Carp
e
nter
ranges:
i
nvalid range
s
defaul
t
t
o the whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
C
a
rpenter
signed: don't warn about un
s
igned comparisons to
m
acro
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpent
e
r
e
x
tra, db: recor
d
the
str
u
ct
member value
s
in the d
a
tab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
C
a
r
penter
ex
t
ra:
f
ix parsing
o
f values fro
m
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
fill_db_untru
s
te
d
: f
o
llow untru
s
t
ed data down the ca
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carp
e
nter
extr
a
:
don't print if t
h
e
m
i
n-max as the value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpenter
ranges: intro
d
uce is_whole_range_rl() and f
i
x is_who
l
e_ra
n
ge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arp
e
nter
db: u
s
e the function_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
t
er
fill_db_caller_info: calculate
function_id corr
e
c
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
C
arpente
r
d
ebu
g
:
a
dd a
__smatch_possi
b
le("v
a
riable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carp
e
nter
uncapped_a
l
loc: u
s
e
_comp
l
ex() version of get_
v
ariable_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
en
t
er
extra: db
:
put singl
e
quotes
a
round the
f
unction name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
*new* smatch_
s
cripts/follow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpen
t
er
hooks: remove some
commented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
sql: sn
p
r
intf() nul terminates i
t
s
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: mov
e
buf
_
size to the ne
w
a
d
d_definition_
d
b_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
db:
introduce add_definiti
o
n_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: s
t
ore
t
h
e values of para
m
e
t
er
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Car
p
enter
db
:
m
ake
d
atabase code usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carp
e
nter
*ne
w
* min_t() casting
t
h
a
t
truncates the val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Car
p
e
n
ter
*new*
r
osen
b
erg: check for infor
m
atio
n
leaks from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: tweak the ->pos s
e
tting for f
a
k
e assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
flow: whitespace change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
rp
e
nter
fl
o
w: pass c
o
ndition a
s
si
g
nments t
o
clients with ASSIG
N
MENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carpente
r
no_e
f
fect: add some more 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
:
pr
i
nt both
l
i
ne numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Ca
r
penter
c
ore: s
e
t position earlier in smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Kare
l
Z
a
k
smatch: add --data=<dir> op
t
ion
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
s
lis
t
:
p
reserve the ->line value correctl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an Carp
e
nter
overflow: p
r
int more helpful
i
nf
o
when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Car
p
e
n
t
er
gen_a
r
ray_
b
oun
d
s: filter out bogus
li
n
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpenter
buf_size: silence a gcc false pos
i
t
i
ve
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan C
a
rpente
r
us
e
P
TR_INT
(
) and
INT_P
T
R() to silence cast
w
a
rnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: make alloc_sm_sta
t
e
(
) stat
i
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
Car
p
enter
slist: remo
v
e some dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n
C
arpen
t
er
core: clong_sm()
s
h
o
uld preserve the ->
l
ine
v
alue
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
Carpenter
updat
e
sma
t
ch
_
data
/
for linux
-
3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan C
a
rpenter
*new* bogus_loo
p
s: warn on bogus f
o
r loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
D
a
n
Ca
r
p
ent
e
r
extra: use get_implie
d
_value
(
) inst
e
ad of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpenter
implied: handle assignments insi
d
e conditions
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overflow:
c
heck sprintf() and snprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
smatch_flow: fix compi
l
e error caused by upstream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Elio Pettenò
Fix build w
i
th GCC 4
.
6 series
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Car
p
enter
ove
r
flow: cut down
on false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan C
a
r
pen
t
er
s
ma
t
c
h_dat
a
: update for 3
.
0
k
ernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Car
p
ente
r
g
en_no
_
re
t
u
rn_f
u
ncs: always k
e
e
p
the defau
l
t no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
In
a couple place
the o
r
iginal checked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Da
n
Carpent
e
r
fl
o
w: handle known
switc
h
statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpen
t
e
r
*new* return_negative_var: re
t
urning pos
i
tive valu
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpente
r
*ne
w
* memset: check
for mem
s
et(x
,
y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpenter
Support __builtin
_
un
r
eachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tet
s
uo Han
d
a
F
ix build erro
r
with ol
d
er packa
g
e
.
commit
|
commitdiff
|
tree
2011-05-23
Randy
MacLeod
Fix gr
a
mma
t
ical e
r
rors in README-smatch
commit
|
commitdiff
|
tree
2011-01-26
Dan Ca
r
pen
t
e
r
ove
r
flow: forma
t
_strings: put some verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan
Carpenter
buf_size: put some guesses behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Ca
r
pe
n
ter
extra: hand
l
e cou
n
t down for l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
add
R
AW_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan
Carpenter
Merge gi
t
://git
.
kerne
l
.
o
rg/pub/scm/devel/sparse/
c
h
r
i
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan
Carpenter
signed:
d
on't
c
omplain about putting 0
x
f
f i
n
to
a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking: add _raw_sp
i
n
_l
o
ck_nested(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
C
arpenter
intr
o
duce SELECT_H
O
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
D
a
n
C
a
r
pen
t
er
*n
e
w*
check_select:
r
eturn ret <
0
?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an C
a
r
penter
*ne
w
*
i
nput_free_device: don't call this af
t
er i
n
put_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
arpenter
*new* check_container_of: cont
a
iner_of
(
) doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
nter
cre
a
t
e
check_list_local
.
h which
is for untracked
l
oca
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
arp
e
nter
locking: _ato
m
i
c_dec_and_lock()
is a spinlo
c
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Car
p
ente
r
files: c
l
eanup open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpenter
add default no
_
r
e
t
urn_funcs if no proj
e
ct is
s
peci
f
ied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpe
n
ter
update sma
t
ch_data/ f
o
r 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
D
a
n Carpenter
*new* che
c
k_acce
s
s_ok_math: po
t
ential in
t
eger overflo
w
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
hooks: introdu
c
e ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
D
an Carpenter
temporar
y
hack t
o
solve cra
s
hing bu
g
i
n
f
s
/rei
s
e
rfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpenter
locking: add
__raw
_
spin_unlock_irq() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
D
a
n Car
p
enter
e
rr
_
ptr_
d
eref: fix assignme
n
t
s
inside conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpenter
locki
n
g: a
d
d arch_local_irq_s
a
ve
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carp
e
nter
ch
e
c
k_type:
w
arn about kfree() vs free_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
D
an Carpent
e
r
type: impr
o
ve handling of array t
y
pes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
e
xtra:
m
ove
s
om
e
stuff into
s
match
_
dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
a
rpenter
b
u
f_siz
e
: oops
.
.
.
remove debug
o
utp
u
t!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next