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
db: pass &foo type parameter information to called functions
2011-12-08
Dan Carpenter
db: pass &foo
t
ype
paramete
r
information to c
a
lled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
enter
mat
h
:
do math for get_
i
mplied_min/m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carpenter
helper: when disp
l
ayin
g
size
o
f()
i
n
formation use b
y
te
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpent
e
r
capped: t
r
ack capped varia
b
les across f
u
n
ction
b
ound
a
ries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
debug: ad
d
__smat
c
h_i
m
plied_m
i
n
/
ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
D
an Carp
e
nter
math: w
h
ite spa
c
e changes
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Da
n
Carpen
t
e
r
d
b: save function po
i
nters
s
aved in arrays
of s
t
r
ucts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Ca
r
penter
db/function_ptr: clear
the correct ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan
C
a
rpenter
db: remo
v
e untru
s
ted
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
D
an
C
a
rpe
n
ter
extra:
unops don't nor
m
ally change the value of
a
var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan
C
arpenter
tiny
white spa
c
e
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Car
p
en
t
er
u
ncapped_alloc
:
d
e
lete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpe
n
ter
h
e
l
p
er:
r
emove bog
u
s pare
n
s from get_variable_f
r
om_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan
C
arp
e
nter
u
p
date smatch_data for 3
.
2-r
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan Ca
r
pente
r
Allow check_debug
.
h
t
o
be in
c
l
uded more than once
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
D
a
n Carpe
n
te
r
core: add --f
i
le-output
v
ariable for make -j
8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smatch_extra: clear out struct members
i
f a the
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan Car
p
enter
extra: fix crashing bug fro
m
last commit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carpe
n
t
e
r
extra:
e
xpression
s
are equivalent
e
v
en i
f
they are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carp
e
nter
user
_
d
ata: use is_ca
p
pe
d
() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carp
e
nte
r
user
_
dat
a
: han
d
le bi
n
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n
Carpenter
*new* smatch_capped: introduce is_capped() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan
Carpent
e
r
*new*
c
h
e
c
k
_user_data: record al
l
the u
s
er data (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_si
z
e: there was a mist
a
ke in handli
n
g call
s
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
ter
buf_si
z
e: rec
o
rd the
size of struct memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpente
r
ext
r
a: cle
a
nup:
u
se my_id in
s
tead
o
f SM
A
TC
H
_
E
XT
R
A
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carp
e
n
t
er
db: wrong par
a
me
t
er number in struct member callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
r
p
enter
extra: d
o
n't print an ex
t
ra $$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpen
t
er
db: li
m
it the number of functio
n
poi
n
ter call
s
we
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
a
rp
e
nter
db, ext
r
a
: introduc
e
add_member_i
n
fo_c
a
l
l
back()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan
Carpent
e
r
ext
r
a, db:
record
a
dummy out
p
ut for every f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nter
db: us
e
o
ption_no_d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpente
r
ex
t
ra, db: move some db f
u
nc
t
i
o
ns from
smatch_extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nter
b
uf_size: handle f
u
n
c
tion p
o
inters a
s
well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carp
e
nter
db: follow calls to fu
n
c
t
ions pointer
s
as well as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flow: set positio
n
f
o
r
glob
a
l v
a
riables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan C
a
rpen
t
er
sig
n
ed: a
l
low checks like: if (foo < 0 || foo > x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n C
a
r
p
en
t
er
o
verflow: get
r
id of "buffer over
f
low ca
l
ling %s
.
param
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpenter
get
r
id of --print_retu
r
ns opt
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
D
an Ca
r
p
enter
extra, db: we have to record ev
e
ry
functi
o
n call
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
D
an Carpenter
ranges: invalid ranges d
e
fault to th
e
wh
o
le range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
e
nter
sig
n
ed: d
o
n'
t
wa
r
n about unsigned comp
a
risons to macr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
D
a
n Car
p
e
nter
e
x
t
ra, db: record the struct
m
e
mb
e
r values in
the databas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan
Carpe
n
ter
e
x
t
ra: fix pa
r
sing of v
a
lu
e
s f
r
om db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpenter
fi
l
l
_
db_untr
u
sted:
f
ollow untru
s
te
d
d
a
ta
d
o
w
n the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
extra: d
o
n't prin
t
if the
m
in-max as the va
l
ue passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n C
a
rpen
t
er
range
s
: introduce is_whole_range
_
rl() and fix is_whole_range
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
db: use
t
h
e
fun
c
tion_id co
r
re
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpente
r
fill_db_caller_info: calculate f
u
n
ction_id correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carp
e
nter
d
e
bug: add a __smatch
_
possible("varia
b
le") function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_alloc: us
e
_comple
x
() version
o
f get
_
variable_from_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
extra: db: put single quo
t
es
ar
o
und the function nam
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
pen
t
er
*n
e
w
*
s
match_scripts/follow_params
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
hooks:
remove some commented out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rp
e
nter
sql:
sn
p
ri
n
tf() nul termin
a
tes
its strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
an Ca
r
penter
db: move buf_size to the new a
d
d_definition_db_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Car
p
enter
d
b: introduc
e
add_de
f
initio
n
_d
b
_
c
allba
c
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
db: store
t
he values of parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: make dat
a
ba
s
e code usable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*
n
ew* mi
n
_t() casting that tru
n
cates the v
a
lues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
D
an Carpe
n
t
e
r
*new* rosenberg: check for information leaks fr
o
m th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow:
t
weak the ->po
s
setting fo
r
fake assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow
:
whit
e
spa
c
e c
h
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
ter
flow: pass condition
assig
n
ments to
clien
t
s with ASSIG
N
M
E
NT_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
enter
no_effec
t
: a
d
d some more tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree