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
rpenter
e
xt
r
a
,
db: recor
d
the
s
t
ruc
t
membe
r
values in
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpent
e
r
extra:
fix parsing of val
u
e
s
fro
m
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
enter
fill_d
b
_untrusted: follow untrusted data d
o
wn the
call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
Carpenter
e
x
tra
:
do
n
't print if
the
m
in-max as
t
h
e
value pa
s
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
a
r
penter
ranges:
i
ntr
o
duce is_whole_range_rl() and fix is_whole
_
ra
n
ge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
db: use the function_id
c
orrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
f
i
l
l_db_c
a
ller_
i
n
fo
:
calcul
a
te function_id co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
debug: add a __smatch_poss
i
ble("variable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_
a
lloc:
use _complex
(
) versio
n
o
f get
_
var
i
abl
e
_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
extra: db:
p
u
t
single
q
u
otes around t
h
e f
u
n
c
tion name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*n
e
w* smat
c
h_sc
r
ipts/follow_pa
r
ams
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpe
n
t
er
ho
o
ks: re
m
ove some c
o
mmented
out
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Car
p
e
nter
s
q
l
:
s
n
printf() nul t
e
rmina
t
es its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: move buf_size
t
o t
h
e new
ad
d
_definit
i
on_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: introdu
c
e add_defin
i
ti
o
n_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
d
b
: store the values of p
a
ramet
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
r
p
enter
db: make database code
usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*new*
m
in_t() casting t
h
at
t
runcates
t
he values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*new* ros
e
nbe
r
g:
c
hec
k
for infor
m
ation leaks from
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
rpenter
flow: tweak the ->
p
os setting for fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: whitespace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow:
p
ass condition ass
i
gnment
s
to clients w
i
th ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Da
n
Ca
r
penter
no_e
f
fect: add so
m
e m
o
re te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan
C
arp
e
nte
r
deref
_
check:
check_deref: print both line
n
u
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Car
p
e
n
ter
core: set p
o
si
t
ion earlier in
s
match_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpent
e
r
sli
s
t: preserve the ->line v
a
lue correc
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an Carpenter
overfl
o
w: print mor
e
helpf
u
l info when th
e
data
file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n Carpenter
g
e
n_array_b
o
unds: filter out bo
g
us lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpenter
buf_size: sil
e
nc
e
a
gc
c
f
a
lse pos
i
tive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpe
n
t
er
use PTR_IN
T
() and INT_PTR()
t
o silence ca
s
t warn
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
s
list: make alloc_sm_state() st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpen
t
er
slist: remove
s
ome
d
ea
d
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
core: c
l
on
g
_sm() shoul
d
preserve the ->
l
ine value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan C
a
rpenter
update
s
match_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan
Carpent
e
r
*new* bogus_loops: warn o
n
bogus for loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan C
a
r
p
e
n
ter
extra: use get_impl
i
e
d
_value() inste
a
d
of
g
et_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Da
n
Carp
e
n
ter
impl
i
e
d
:
h
andle
a
ssignments
inside conditions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overflow:
c
h
eck sprintf() and snpr
i
ntf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n
Ca
r
penter
sm
a
tch_
f
low: fix com
p
ile error caused by upstream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
an C
a
rpenter
overflow:
c
u
t
d
o
wn on false positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
an Carpenter
smat
c
h
_data: update for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan C
a
rpenter
g
e
n_no_r
e
tur
n
_funcs: always
k
e
e
p the default no
return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpe
n
t
er
In a couple
place the ori
g
inal ch
e
cked fo
r
--spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Da
n
Carpenter
f
l
ow: handle known switch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carp
e
n
ter
*ne
w
* return_negati
v
e
_
var:
r
eturning posit
i
v
e
values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan C
a
rp
e
nt
e
r
*new* me
m
se
t
: check for memset(x, y, 0
)
; typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
D
an C
a
rpenter
Support
_
_bui
l
t
in_
u
nrea
c
hab
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpente
r
overflow: format_st
r
ing
s
: put
s
o
m
e verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Car
p
e
nt
e
r
buf_s
i
ze: put
s
ome gu
e
sses
behind --
s
pammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
e
xtra: handle count down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
a
n Carpenter
add RAW_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
an
Carpenter
Mer
g
e
git:/
/
g
i
t
.
kernel
.
org/pub/
s
cm
/
devel/sp
a
rse/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carp
e
nter
s
i
g
n
ed: don'
t
complain abo
u
t putt
i
n
g 0xff into a sign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking: add
_
raw_
s
pin
_
lock_nes
t
e
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
D
a
n
C
a
rpen
t
e
r
intro
d
uce SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
C
a
rpenter
*new* check_select: return
r
et < 0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n C
a
r
penter
*new* input_free_device: do
n
't
cal
l
this after in
p
ut_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*
n
e
w*
c
he
c
k_c
o
ntainer_of:
containe
r
_o
f
(
)
d
oesn'
t
return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpen
t
er
create check_list_
l
oca
l
.
h
which
i
s f
o
r untracked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
Carpenter
lo
c
king: _atomic_dec_
a
nd_l
o
c
k
() is a spinlock
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
a
rpenter
files: clea
n
up open_
f
i
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpent
e
r
add default no_r
e
turn_f
u
nc
s
if no proje
c
t i
s
spec
i
fied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Ca
r
pe
n
ter
update s
m
atch_da
t
a/ for 2
.
6
.
3
7
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
D
an Carpenter
*new* check_ac
c
ess_o
k
_ma
t
h:
p
ote
n
tial inte
g
e
r
over
f
l
ows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpen
t
er
h
o
o
ks: i
n
t
roduce ASM
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpente
r
temporar
y
hack to s
o
lve
c
rashin
g
b
u
g
in fs/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
D
a
n
Carpe
n
ter
l
ocking: add __
r
aw_spin_unlock_irq(
)
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
D
an Carpenter
err_pt
r
_d
e
ref:
fix
a
s
si
g
nments inside
c
o
n
diti
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carp
e
nter
locking: add a
r
ch_
l
ocal_i
r
q_sav
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan
Carpent
e
r
ch
e
ck_type: warn
a
bo
u
t kfree()
vs f
r
e
e_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
D
an C
a
rpenter
type: improve ha
n
dling of
array types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rpenter
ext
r
a: m
o
ve some stuff into
smatch_d
i
nfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carp
e
nter
b
u
f_size: oops
.
.
.
re
m
ove debug o
u
t
p
ut!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
whi
t
esp
a
ce_only: don't error out handli
n
g
.
h files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n
C
arpenter
*n
e
w* get_user_overflow: check for integer over
f
lows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
sm
a
tch_db: don't comp
l
ain if the db doesn
'
t
exis
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf
_
s
ize: do cross function ana
l
ys
i
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*
ne
w
* uncapped
_
all
o
c
: pr
i
nt p
l
aces where t
h
e u
s
er decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpente
r
*n
e
w* s
m
atch_db: u
s
e
a
nd sqlite database
for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an
C
arpen
t
e
r
param_mapper: update copyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
Dan Ca
r
pent
e
r
add test-inspect
t
o
.
git
i
gnore
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpent
e
r
smatch_
s
cripts/ge
n
_e
x
pects_e
r
r_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n Carpenter
s
m
a
tch_data/
k
ernel
.
ar
r
ay_bound
s
: ar
r
ay
boundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpent
e
r
expects_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
Da
n
C
a
rpenter
un
w
ind:
a
dd more unwind
f
unctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
update sm
a
t
ch_data/ for 2
.
6
.
36-rc2 (part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
overfl
o
w: fixup cross function overflo
w
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Car
p
ente
r
remove d
e
ad no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpente
r
u
n
w
ind: add more unwind fu
n
ctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpe
n
ter
remove check_le1
6
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Carpent
e
r
Update smatch_da
t
a to
2
.
6
.
36-rc2 [patch 1 of more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
C
a
rpen
t
er
k
e
rnel: contain
e
r_
o
f() retu
r
ns a non-NULL point
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
an
Carpenter
I
n
tr
o
duce add_ma
c
r
o
_assign_hoo
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
D
a
n Carp
e
n
t
er
f
ix out of memory handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
an Carpenter
New fu
n
cti
o
ns returns_unsi
g
ned() and returns_point
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
D
an Ca
r
p
en
t
e
r
*new* c
h
eck
_
inf
o
_
l
eak
.
c: places
tha
t
pass un
-
zer
o
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan
C
a
rpen
t
e
r
*
n
ew* check_return_enomem: comp
l
ain about retur
n
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpenter
*ne
w
* pl
a
tf
o
r
m_
d
evice_put() vs platform
_
device
_
del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Car
p
e
n
ter
unwind:
l
i
t
erals higher than
z
ero
a
re not an err
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
C
arpenter
implied: onl
y
pr
i
n
t
the nr_c
h
ildren messa
g
es if th
e
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next