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 a dummy output for every function call
2011-10-12
Dan Carp
e
nter
extra, db: re
c
ord a dummy output for every f
u
nct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan C
a
rpenter
db: u
s
e
o
p
t
ion_no_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan
C
arpenter
e
xtra,
d
b: move some
d
b
f
un
c
tions from smatch_ex
t
ra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan
C
ar
p
enter
buf_size: handle function pointers as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpen
t
er
db: follow calls to funct
i
o
n
s pointers as
well as norma
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n
C
arp
e
nter
f
low: set positi
o
n for global
varia
b
l
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
s
ig
n
ed:
allow checks like:
if
(
foo < 0 || foo > x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpent
e
r
ov
e
rflow:
g
et rid
o
f "buffer over
f
low
c
a
l
ling %s
.
param
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Car
p
en
t
er
get rid of
-
-print_returns option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
D
an Carpenter
extra, db: we h
a
v
e
t
o reco
r
d every function ca
l
l
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
D
a
n Carpente
r
ranges: inv
a
l
id ra
n
g
es default to the
w
hole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpen
t
er
signed: don't warn abou
t
unsigned compariso
n
s to
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
ex
t
ra, db: rec
o
rd the struct me
m
ber values in th
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra:
fix parsi
n
g of
valu
e
s from d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
Carpenter
fi
l
l_
d
b_untrust
e
d
:
f
o
llo
w
u
n
trusted
data dow
n
the ca
l
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
extr
a
:
don't
pri
n
t if
t
h
e
m
in-max as the value pa
s
s
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
ran
g
es: introduce is_wh
o
le_
r
ange_rl() and fix is
_
whole
_
ran
g
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
db: u
s
e
the f
u
ncti
o
n_id c
o
rre
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
ter
f
ill_db_
c
aller
_
in
f
o:
calculate funct
i
o
n_id c
o
rrect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
debu
g
: add a
__sm
a
tc
h
_po
s
sible("variable") f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
pe
n
ter
u
n
capped_alloc:
u
se _com
p
lex() version of get
_
variable_f
r
om_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpen
t
er
e
x
tra: db:
p
ut single quotes aro
u
nd the function name
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpente
r
*new* sma
t
ch_sc
r
ipt
s
/follow_p
a
rams
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
hooks: remove some comme
n
ted out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpente
r
s
q
l: sn
p
r
i
ntf() nul t
e
rminates
i
ts strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
p
e
nter
db: move buf_size to the new add_definit
i
on_db_
c
all
b
ack()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
d
b
: introduc
e
add_definition_db_callbac
k
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Carpenter
db: store the v
a
lues
of paramet
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
e
r
db: make database co
d
e usable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpen
t
e
r
*new* min_t() casting that truncates th
e
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*new* rosenberg:
check for informatio
n
leaks from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow:
t
wea
k
the ->po
s
setting for f
a
ke a
s
sign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: whitespace chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carp
e
nter
flow:
p
ass c
o
ndition assignments t
o
clien
t
s
w
ith A
S
SIG
N
M
ENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
rpe
n
ter
no_effect: add some mo
r
e tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree