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
helper: remove bogus parens from get_variable_from_expr() output
2011-11-17
Dan
C
arpenter
helper: r
e
move bogus par
e
ns from get_v
a
ri
a
ble_from
_
expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carpenter
update smat
c
h_data
f
o
r 3
.
2-rc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allow check_debug
.
h to be included more than once
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
core:
a
dd --file-output variab
l
e
for make
-j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
D
a
n Car
p
enter
smatch_extra:
c
lear out s
t
ruct memb
e
rs i
f
a
the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpenter
extra: fix crashing bug
from last commit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpent
e
r
extra: expressions
a
re equivalent even if they are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Ca
r
p
e
nter
user_data: use
is_capped()
f
unc
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpen
t
er
u
ser_
d
a
ta: handl
e
bi
n
op
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
*new* smatch_
c
app
e
d: introduce is_capped() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan C
a
rpenter
*new* check_u
s
er_data: record all the u
s
er data (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
buf_siz
e
: th
e
re was a mist
a
ke
i
n hand
l
i
ng ca
l
ls to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_size: reco
r
d
the
s
i
z
e of str
u
c
t
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra:
cleanup:
u
se
m
y_id inste
a
d
o
f
S
MATCH_EXTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
db: wrong
parame
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
rpenter
extra
:
don't print an
e
xtr
a
$$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
Carpente
r
db: limi
t
the
n
umber of funct
i
on po
i
nter calls
w
e c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carp
e
nter
db,
e
x
tra: introduce add_member_info_callbac
k
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpente
r
ext
r
a
, db
:
reco
r
d
a dummy
output for
e
v
e
ry
fun
c
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Car
p
enter
db: use option_no_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan C
a
rpenter
extra, db: mov
e
some db function
s
from
s
m
atch_extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Car
p
enter
buf_size: ha
n
dle functio
n
poi
n
t
er
s
as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpe
n
ter
db: follow ca
l
ls to functions p
o
in
t
ers as
well
as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Da
n
Ca
r
penter
flow: set
posit
i
on for global variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carp
e
nter
s
ig
n
ed: allow chec
k
s like:
i
f
(foo < 0 || fo
o
> x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n Carpenter
overflow: get rid of "buffer
o
ve
r
flow cal
l
ing %s
.
par
a
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
penter
get rid of --
p
r
i
nt_re
t
urns option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpen
t
er
extra
,
db: we hav
e
to
re
c
ord every functio
n
ca
l
l
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan C
a
rpente
r
ra
n
ges: in
v
ali
d
ra
n
ges defa
u
lt to the w
h
ol
e
range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
Carpenter
s
ig
n
ed: do
n
't
w
arn about unsig
n
ed comparisons to macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan
C
arpent
e
r
extra,
d
b: recor
d
the struct member
values in the dat
a
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpente
r
e
x
tr
a
:
fix parsing of values from db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db_untrusted
:
follow untruste
d
da
t
a down t
h
e
call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpen
t
er
extra: don't print
if the
m
in-max as t
h
e
v
alue
passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
range
s
: introduce is_
w
hole_rang
e
_r
l
()
an
d
fix i
s
_
w
hole_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
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
f
ill_db_calle
r
_info: calculate fun
c
tion_id correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
en
t
er
debug: add a __smatch_po
s
sibl
e
("variable") function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
u
ncapped_alloc: use
_com
p
lex() version
o
f get
_
v
a
r
i
a
ble_f
r
o
m
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
extra: db: p
u
t si
n
gle qu
o
tes around the function nam
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpe
n
ter
*new* s
m
at
c
h_sc
r
ipts/
f
ollow_params
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
ar
p
enter
hooks: remove s
o
me comm
e
n
t
ed out
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
sql: snprin
t
f
(
) nul terminates
i
ts strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
db
:
m
ove buf_s
i
ze
t
o the new add_d
e
finition_db_ca
l
lback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db
:
introduce add_definition_db_cal
l
back()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db:
store
the values of parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
db: make databa
s
e code usab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*new* min_t() casti
n
g that
t
ru
n
ca
t
es th
e
val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpen
t
er
*
n
ew* ros
e
nberg: ch
e
ck for informati
o
n
le
a
ks from
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
enter
flow: tweak
the ->pos setting for fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
t
er
flow:
white
s
pace changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
flow: pass condition assignments to clients w
i
th ASSI
G
NMENT_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan
Carpen
t
e
r
n
o_effect:
add
some
more tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree