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
Da
n
C
arpenter
hel
p
er: re
m
ov
e
bogus parens
fr
o
m get_variable
_
f
r
om_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan
Carp
e
nt
e
r
update smatch_da
t
a for
3
.
2-rc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan Car
p
enter
Allow check
_
d
ebug
.
h
t
o
be
included more than once
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
D
a
n
Carpenter
core: add --fi
l
e
-output va
r
iable for make
-j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smatch
_
e
x
tra:
clear out struc
t
me
m
bers if a
the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpe
n
ter
extra: fix crashing bug from las
t
commit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n Carpenter
ext
r
a:
e
xpressions are equivalent even if they a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n Carpen
t
er
user_
d
at
a
: use is_capped() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan C
a
rpenter
user_data: han
d
le b
i
n
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
*
new* smatch_cap
p
ed
:
int
r
oduc
e
is_capp
e
d() f
u
nc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan C
a
rp
e
n
ter
*new* check_user_d
a
ta: recor
d
all the user data (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
pen
t
er
buf_size: ther
e
w
as a mistake in
hand
l
ing calls to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
buf_size: recor
d
the size o
f
str
u
ct
m
emb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arpenter
extra:
cleanup:
u
s
e
my_id inste
a
d of SMATCH_EXTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
an
C
arpenter
db: wrong parameter num
b
er in st
r
u
ct member
c
a
llback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra: don
'
t pr
i
n
t
an
extra $$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
d
b: limit the
n
u
mber of
f
u
n
c
tion
pointer
calls we check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
an Car
p
ent
e
r
db, extra: introduce add
_
me
m
ber_i
n
fo_call
b
ack()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra, db
:
r
e
cord a dummy
outpu
t
for ev
e
ry function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Car
p
ent
e
r
db: use opti
o
n_no_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
ext
r
a, db: move some db
functions from smatch_ex
t
ra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpenter
buf_siz
e
: handle function poin
t
e
rs a
s
well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
db: follow calls to functi
o
ns pointers as we
l
l as
normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan C
a
rpenter
flo
w
:
set position
f
or global varia
b
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n C
a
rpenter
signed:
allow checks like:
if (fo
o
< 0
||
f
oo
>
x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
overflow: get rid of "buff
e
r ov
e
rflow
cal
l
ing %s
.
p
a
ram
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n Carpent
e
r
get
r
id of
--p
r
i
n
t
_returns opt
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpe
n
ter
extr
a
,
db: we hav
e
to r
e
cor
d
every fu
n
c
tion call in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Car
p
enter
ranges: inv
a
l
i
d
ranges d
e
f
a
ult
t
o the whole r
a
nge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
enter
s
i
g
n
ed: don
'
t warn about unsigned comp
a
riso
n
s to macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpen
t
er
extra, db: record the struct
member value
s
i
n
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan C
a
rpenter
extra: fi
x
pa
r
sing
of va
l
ues from db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpen
t
e
r
fill_db_untr
u
sted: follow untru
s
ted da
t
a
d
own
t
h
e
call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arp
e
nter
extr
a
: don't print if the
m
i
n-max
a
s
the valu
e
passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
ranges: i
n
troduce is_whole_
r
a
n
g
e_rl() and fix is_whole_range
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
db
:
use the function_id c
o
rrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
Car
p
ent
e
r
f
ill_db_cal
l
er_info: cal
c
u
late function_id correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
d
e
bug:
a
d
d a __smatch_possib
l
e("vari
a
ble") function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
uncapped_alloc: u
s
e _c
o
mplex
(
) version of get_variable_f
r
om_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpent
e
r
extra: db:
p
ut single quotes around the function name
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*new* smatch_s
c
ripts/follow_params
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
ente
r
h
o
oks: remove some c
o
m
m
ented out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Ca
r
p
enter
sql: snpr
i
ntf
(
) nul terminates
i
ts strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
a
rpenter
db: move buf_s
i
z
e
to
the n
e
w
add
_
definition_db_callb
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
e
n
t
er
d
b: intro
d
uce add_
d
e
fin
i
tio
n
_
d
b_callba
c
k
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
db: store
t
h
e values
o
f p
a
ram
e
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
t
e
r
db: make database cod
e
u
sab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Da
n
Carp
e
nte
r
*n
e
w
*
m
in_t() casting that truncates the values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
D
a
n Ca
r
penter
*new* rosenb
e
r
g
: check for i
n
formation l
e
a
ks from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Carpenter
f
l
ow: tweak the ->pos setting for fake ass
i
g
n
m
e
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: whi
t
espace
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
f
l
o
w: pass co
n
dition assignme
n
ts to clien
t
s w
i
t
h
AS
S
IGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n
C
arpent
e
r
no_ef
f
e
c
t
:
add
s
ome more tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree