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
extra, db: record the struct member values in the database
2011-10-08
Dan C
a
rpe
n
ter
e
x
tra,
db: reco
r
d the st
r
uct mem
b
er values in the
d
at
a
b
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carp
e
nter
extra:
f
i
x
parsing of values f
r
om db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpe
n
te
r
fil
l
_
db_untrusted: follo
w
untrusted d
a
ta
down the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
extra: don't
p
rin
t
i
f t
h
e min-max as
t
he valu
e
pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpenter
range
s
:
i
n
trodu
c
e
is_whole_range_rl
(
) and
f
ix is_whole_
r
an
g
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpenter
db:
use the funct
i
on_id c
o
rrectl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
f
i
ll_db_ca
l
ler_info: calcu
l
ate f
u
nction_id
correc
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
deb
u
g: add a __smatch_pos
s
i
bl
e
("variable") fu
n
ct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
uncappe
d
_all
o
c
: use
_
compl
e
x() version of get_variabl
e
_f
r
o
m_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
extra
:
db: put s
i
ngle q
u
otes around t
h
e
function
name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nte
r
*new*
s
mat
c
h_scripts/f
o
llow
_
params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
ho
o
ks: remove
some commented
o
ut code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
sq
l
: snprin
t
f() nul te
r
minates i
t
s strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: move bu
f
_size to the new ad
d
_defin
i
ti
o
n
_db_cal
l
back()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: int
r
oduce ad
d
_definition_db
_
callback
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an
C
arpenter
db: stor
e
th
e
valu
e
s
of parame
t
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nt
e
r
db: make database code usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
a
n Ca
r
p
e
nter
*new* min_t() ca
s
ting that truncates the
v
alu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Da
n
Car
p
enter
*new* rosenberg: check
f
or
infor
m
at
i
o
n leaks from
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carp
e
n
t
er
flow: tweak the
-
>pos
setting for fak
e
assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Carpen
t
er
flow: whitesp
a
ce chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Carpenter
flow: pass condition assignm
e
n
ts t
o
clients with ASSIGNME
N
T_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_e
f
fect: add
s
ome mo
r
e t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
D
an
C
ar
p
enter
deref_check: check_d
e
ref:
print both line n
u
mb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
cor
e
: set pos
i
tio
n
earlier
i
n
s
m
atch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Karel Zak
s
m
atch:
add --data
=
<dir>
o
ption
commit
|
commitdiff
|
tree
2011-09-12
D
a
n Carpenter
slis
t
: pres
e
rve t
h
e
->line value correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Da
n
Carpe
n
ter
overflow:
p
rint mor
e
helpfu
l
info
w
hen the
d
ata file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
gen_arr
a
y_bound
s
: filter out
b
ogus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
b
uf_
s
ize: silence a gcc fal
s
e
p
o
sitive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
use PTR_I
N
T
(
) and
INT_PTR() to sil
e
nce cast warni
n
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carp
e
nter
sli
s
t:
m
a
ke
a
lloc_sm_sta
t
e() sta
t
ic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpente
r
slist: re
m
ove so
m
e d
e
a
d
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
core: clong_sm() should pr
e
serve the ->line valu
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Car
p
ent
e
r
update
s
mat
c
h_da
t
a/
for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Da
n
C
a
r
p
enter
*
new* bogus_loops: warn o
n
b
o
gus for lo
o
ps
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
extra: us
e
get_implied_valu
e
() ins
t
ead of get_v
a
lue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpenter
implied
:
ha
n
dle assignm
e
nts
i
nside c
o
nditions b
e
tter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Da
n
Ca
r
penter
overflow:
check sp
r
i
n
t
f
() an
d
snprin
t
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
smatch_flow: fix
compile er
r
or
c
aused
b
y upstream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dieg
o
Elio Pe
t
tenò
Fix build
with GCC 4
.
6 s
e
ries
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
ove
r
flo
w
: cut down on false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
smatch_data: update for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
g
en_no_r
e
tu
r
n_funcs:
a
l
ways keep t
h
e d
e
faul
t
no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Ca
r
penter
In a c
o
u
ple place the original
c
h
ec
k
ed
for --sp
a
mmy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carpenter
f
low: handle
k
nown switch statemen
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpente
r
*new* ret
u
rn_negative_var
:
returnin
g
positive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new
*
memset: check for memse
t
(x, y,
0
)
; typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Ca
r
pe
n
ter
Support __buil
t
in_u
n
rea
c
h
able()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Te
t
suo Ha
n
da
Fix bui
l
d error with ol
d
er
p
ackage
.
commit
|
commitdiff
|
tree
2011-05-23
Ra
n
dy
M
acLeod
Fix grammatical
e
rrors in README-
s
match
commit
|
commitdiff
|
tree
2011-01-26
Dan Car
p
enter
ove
r
fl
o
w:
f
o
r
m
at_st
r
ings: put some verbose mes
s
a
g
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Da
n
Carpenter
buf_size: put som
e
guesses beh
i
n
d
-
-spam
m
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra: h
a
n
d
le co
u
n
t down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
add RA
W
_AS
S
I
GNMENT
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
M
er
g
e
g
it://git
.
kernel
.
org/pub/s
c
m
/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpente
r
si
g
ned: don't complain about putting 0xff into a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking:
add _raw
_
spin_loc
k
_
n
e
s
t
ed(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
i
ntrodu
c
e SE
L
ECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
C
arpenter
*
n
ew* check_select
:
return ret < 0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
a
rpenter
*new* input_free_d
e
vice: don't call th
i
s after
inpu
t
_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpent
e
r
*ne
w
* c
h
eck_container_of:
contain
e
r_of() doe
s
n't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
crea
t
e
c
h
e
c
k_
l
ist_
l
ocal
.
h which
i
s
for untr
a
cked loc
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Car
p
enter
lock
i
ng:
_at
o
mic_d
e
c_and_lock
(
)
i
s a
s
pinl
o
c
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n
C
a
r
penter
file
s
: cleanup
o
pen_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpent
e
r
add default no_re
t
urn_fu
n
cs if
n
o pro
j
ect is
s
p
ecified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpenter
update
s
match_data/ for 2
.
6
.
3
7
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpenter
*new* check_access_ok_ma
t
h: potential inte
g
er
overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carp
e
nter
h
o
oks: introduce ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
tem
p
orary hack to solve
c
rashing bug in fs/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
D
an Car
p
enter
l
o
cking:
add
__
r
aw_spi
n
_unlock_irq()
f
unction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan Carpente
r
err_ptr_deref: fix
assignmen
t
s insid
e
c
onditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Da
n
Carpenter
locking
:
add arch_l
o
cal_i
r
q_
s
ave
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan
Carp
e
n
t
er
chec
k
_type: warn abo
u
t kfree
(
) vs free_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan
Carpe
n
ter
type: improve han
d
ling of array types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
e
x
tra: move some stu
f
f into smatch_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Ca
r
penter
b
uf_
s
ize: oops
.
.
.
r
emove debug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Carpenter
whitespace_only: don't error out handlin
g
.
h files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rpent
e
r
*new* get_user_overflow: che
c
k for integer overflow
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
Carpenter
smatch_db
:
d
on't complain if th
e
d
b
doesn't exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an
C
arpenter
buf_siz
e
: d
o
cross
f
u
nction anal
y
sis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n
C
a
rpe
n
ter
*new
*
un
c
apped_alloc: print places wh
e
r
e
the user decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpenter
*new* smatch_db: use and sqli
t
e
d
a
t
ab
a
se for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpen
t
er
p
aram_m
a
pper: update c
o
pyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smatc
h
_
s
cripts/gen_exp
e
cts_err_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Car
p
enter
smatc
h
_data/kernel
.
array_
b
ounds: ar
r
ay
b
ou
n
dary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpente
r
expects_err_p
t
r
: make a
l
ist of
function
s
w
hi
c
h
a
ccept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
arpenter
unwind: a
d
d more
unwind fun
c
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
u
p
date smatch
_
data/ for
2
.
6
.
3
6
-rc2 (part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpe
n
te
r
ove
r
flow: fixup cr
o
ss fu
n
ction overf
l
ows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
a
n Carp
e
nter
remove dead no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpent
e
r
unwind: add more unwind functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carp
e
nter
re
m
ove c
h
eck_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
an C
a
r
p
e
nter
Update s
m
atch_data to 2
.
6
.
36-rc2 [patch 1 of
more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpen
t
er
kernel
:
container_
o
f() returns a non-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpe
n
ter
Intro
d
u
c
e ad
d
_ma
c
r
o_a
s
si
g
n_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Da
n
Carpe
n
ter
fix out o
f
mem
o
r
y handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
New functions returns_uns
i
gned()
and returns_pointer()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan C
a
rpente
r
*n
e
w* check_info
_
leak
.
c: p
l
aces that pass un-z
e
roed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan
C
arpenter
*new* ch
e
c
k_return_enomem: c
o
mplain
a
bou
t
returni
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next