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
err_ptr_deref: handle PTR_RET()
2012-01-12
D
a
n Carpenter
err_pt
r
_der
e
f
:
handle PTR_RET()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
v
a
lidation: remove out of date
sm_locking5
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carp
e
nter
c
o
r
e: h
a
n
d
l
e foo += bar ? 1 : 0; expressi
o
ns differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
extra:
d
on't
d
iscard cast
.
strip_expr
(
) => strip_parens()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Carp
e
nte
r
extra: cleanup
:
s
h
uffle code around
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Carpenter
ex
t
ra: don
'
t remove casts, t
h
ose are
i
mportant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
debug: fix some small
memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Carpenter
locking
:
re
m
ove some false positive-y functions without
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpe
n
t
e
r
l
o
cking: add some
m
ore
l
ock name variat
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
D
a
n Carpenter
db: call
e
r info needs to r
e
c
o
r
d
t
he -1 para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carp
e
n
ter
ma
t
h: f
i
x typo in comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
D
an
Carpenter
*new* bogus_
i
rqrestore
:
don't
r
e
s
tore irq
s
tat
e
before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
*
new* check_wait_for_commo
n
:
make su
r
e
the return is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpen
t
er
type: ad
d
expr_
u
nsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan C
a
rpen
t
er
db: pass &foo type
para
m
eter information to called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n
Car
p
e
nt
e
r
math
:
do math for get_implied_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Ca
r
penter
helper:
w
hen displaying si
z
eo
f
() inform
a
tion use bytes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
c
ap
p
ed: track capped va
r
ia
b
l
e
s ac
r
oss function boundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
d
ebug: add __s
m
a
tch_implied_min/max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan
C
arpenter
math: white space
c
hanges
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
D
a
n
Carpente
r
db:
s
ave function
p
ointers saved in arrays of structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpent
e
r
d
b
/f
u
nction_
p
tr: clea
r
the c
o
rrect t
a
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db:
re
m
ove untruste
d
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpent
e
r
ex
t
ra: unops don't normally chan
g
e the val
u
e of a variab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
rpenter
t
i
ny whit
e
s
p
ace fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Ca
r
penter
uncappe
d
_alloc: d
e
l
e
te
this ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpente
r
helper: remove bogus parens from get_variabl
e
_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carpenter
u
p
date smatch_data for
3
.
2
-
rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
D
a
n Carpente
r
Al
l
ow check_debu
g
.
h to be inc
l
uded more t
h
an once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpente
r
core
:
add --
f
ile-ou
t
put variabl
e
f
or make
-j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Ca
r
penter
smatc
h
_extr
a
:
clear out struct members if a the poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Car
p
enter
extr
a
:
f
ix
c
r
a
s
hing bug from l
a
st
commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpenter
extra:
e
xpressions are equivalent even
if
t
hey a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n
Carpenter
user_d
a
ta: use is_capped(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpe
n
ter
us
e
r_data: h
a
nd
l
e binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpenter
*new* smatch_capped: in
t
r
o
duce is_capped() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan
C
arpenter
*ne
w
* check_u
s
er_dat
a
:
record all the
user
data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_size:
there wa
s
a mistake i
n
handlin
g
calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_s
i
ze
:
r
e
cord the s
i
ze of str
u
ct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extr
a
:
cleanup: use
m
y
_
id instea
d
of SMATCH_
E
XTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carpenter
db: wr
o
ng
p
a
r
ameter numb
e
r in struct member callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra:
d
on't prin
t
an ex
t
ra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n C
a
rpenter
db:
limit the number o
f
fu
n
ction pointer calls we
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db, extra
:
introduc
e
add_mem
b
e
r_info_callb
a
ck()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n Carpenter
extra, d
b
: record a du
m
my output for every funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpente
r
db: use option_n
o
_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpente
r
extr
a
, db: mo
v
e
s
ome db f
u
nctions from sm
a
t
c
h_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
buf_
s
i
z
e: handle function p
o
i
n
t
ers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpen
t
e
r
db: follow c
a
lls to functions pointers as wel
l
a
s
n
ormal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan
Car
p
enter
flow: se
t
position
f
o
r global
var
i
abl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
penter
s
i
g
n
ed: allow c
h
ecks like
:
if (foo < 0 || foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Car
p
enter
o
ver
f
low: get rid of "
b
uffer o
v
erflow calling %s
.
p
a
ram
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n
C
a
rpenter
get rid of --pri
n
t
_ret
u
r
n
s option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Ca
r
p
e
nter
extra, db: we have to record every functi
o
n ca
l
l
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
an Carpenter
ranges: invalid
ranges defa
u
lt to the wh
o
le range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
signed:
d
on't warn abo
u
t unsigned comparisons to ma
c
r
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
e
x
tr
a
, d
b
: reco
r
d the struct membe
r
v
a
lues
i
n
the datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
an Carpe
n
ter
extra: fix parsing o
f
values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db
_
u
n
trusted: follow
u
ntrusted dat
a
do
w
n
t
he call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
ter
e
x
tra: don't
print if the min-ma
x
as t
h
e v
a
l
ue pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Ca
r
pen
t
er
ranges: introduce is_
w
hole
_
range
_
r
l
() and
f
i
x
is_
w
ho
l
e_rang
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
en
t
e
r
d
b
: use the fun
c
tion_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
t
er
f
ill_db_
c
aller
_
info:
c
alcul
a
te function
_
id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
Carpenter
deb
u
g: add a __smatch_possi
b
l
e
("variable") funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Ca
r
penter
unc
a
p
ped_al
l
oc: use
_complex() version of get_
v
ar
i
able_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
extra: db: put
single quotes around the
funct
i
on name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpe
n
ter
*
n
ew* smatch_scripts/follow_pa
r
ams
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
h
o
oks:
r
emove some comme
n
ted out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
sql: snpr
i
ntf() nul terminates its string
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
d
b: mov
e
buf_size t
o
the new add_def
i
nition_d
b
_
c
allba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: i
n
troduce add_definition_
d
b_
c
all
b
ack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpente
r
db:
s
tore t
h
e
v
a
l
ues of para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: mak
e
da
t
aba
s
e code usabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
a
n
Ca
r
penter
*new
*
min_t() casti
n
g tha
t
t
runcates
th
e
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
D
a
n
C
arpenter
*new* rose
n
ber
g
: ch
e
ck
f
o
r
informati
o
n l
e
aks from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Da
n
Carpenter
flow: tweak the ->pos
setting for
f
ak
e
a
s
si
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an
C
arpenter
flo
w
: white
s
pa
c
e ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
Carpenter
flow
:
pass condi
t
i
o
n
a
ssignme
n
ts
to cl
i
ents
with ASSIGNMEN
T
_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_effect: add
some more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
dere
f
_
check:
c
heck_dere
f
:
print
b
oth line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
core: se
t
po
s
ition earlier in smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Karel Zak
smatc
h
: add --data=<dir> op
t
ion
commit
|
commitdiff
|
tree
2011-09-12
Dan Carp
e
nter
slist:
pr
e
s
e
r
ve th
e
->li
n
e v
a
lue corre
c
tl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Da
n
Car
p
ente
r
overflow: prin
t
m
ore h
e
lpful i
n
fo when t
h
e data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
gen
_
array_bo
u
nds: filter out bog
u
s lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpente
r
b
u
f_size: sile
n
ce
a
g
c
c fal
s
e
pos
i
ti
v
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpente
r
use PTR_INT() and IN
T
_PTR()
t
o silence
cast war
n
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: make
a
l
loc_sm_state()
s
tatic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
an Carpenter
slist: remove
so
m
e dead
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
core: clon
g
_sm() should
p
reserve the ->line val
u
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
Carpenter
update s
m
atch_data/
fo
r
linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carp
e
nter
*new* bogus
_
l
oops: warn on bogus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
ex
t
ra:
u
se get_implied_value() instea
d
of get_
v
alu
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpenter
impl
i
ed: handle a
s
signments inside con
d
it
i
ons better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan C
a
rpenter
overflow: che
c
k sprintf(
)
and snprintf(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n Car
p
enter
smatch_fl
o
w
:
fix compile error
c
aused by upstream ch
a
ng
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Elio Pettenò
Fix build wit
h
GCC 4
.
6 series
.
commit
|
commitdiff
|
tree
2011-06-17
Dan
C
arpent
e
r
overflow: cut down on
f
als
e
p
o
s
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
smatch_data: update for 3
.
0 kerne
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Ca
r
penter
gen_no_retu
r
n_funcs
:
always keep the
d
efault no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next