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
locking: add some more lock name variations
2012-01-10
Dan Car
p
enter
l
o
cking: ad
d
s
o
me more lock n
a
me
variations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
db: cal
l
er info
need
s
t
o recor
d
the
-
1 parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
math: fi
x
typo in comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan
C
arpenter
*n
e
w* bogu
s
_
i
rqrestore
:
don't restore
i
rq stat
e
bef
o
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan Car
p
e
nter
*
n
ew
*
chec
k
_w
a
it_for_common: make su
r
e the return is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
D
a
n Carp
e
nte
r
type: add
e
xpr_un
s
igned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
db: pas
s
&
foo typ
e
paramet
e
r info
r
m
ati
o
n to ca
l
l
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan C
a
rpen
t
er
m
ath: do math for get
_
i
mplied
_
min/max
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpe
n
te
r
h
elper: when displa
y
ing
sizeof() information
use
byte
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carpenter
capped: track capped
v
ariables across func
t
ion bo
u
nda
r
ies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpente
r
d
e
bug: add
__smatch_implied_
m
in/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Dan
Carpenter
math: whit
e
space changes
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan C
a
rpen
t
er
db: s
a
ve function pointers s
a
ved
i
n arrays of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Ca
r
pen
t
er
db/func
t
ion_ptr: cle
a
r t
h
e correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Ca
r
pent
e
r
db: remov
e
untrusted ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpenter
e
xtra: unops d
o
n'
t
normally change the value of
a
variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
tiny white
sp
a
ce fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
rpenter
uncapped_alloc: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpente
r
he
l
pe
r
:
remo
v
e bogus parens from
g
et_variable_from_exp
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan
C
arpent
e
r
upda
t
e smatch_
d
ata for 3
.
2-rc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allo
w
c
heck
_
debug
.
h to be in
c
luded
m
ore than once
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Da
n
Carpe
n
ter
c
o
re: add
--
f
ile-output v
a
r
iable
f
or
make -j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpente
r
smatch_extra
:
c
lear out str
u
ct members 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 Ca
r
penter
e
x
tra: expressions a
r
e
eq
u
iv
a
lent
e
v
e
n
i
f they are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
a
r
p
e
nter
user_
d
ata: use
i
s_capped() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
Ca
r
penter
user_
d
ata: handle bin
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan C
a
rpenter
*new
*
s
matc
h
_ca
p
ped:
i
ntroduce is_c
a
pped() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carp
e
nter
*new*
c
heck_
u
ser_dat
a
: record
a
ll the u
s
e
r 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 mistake in h
a
ndling calls to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
pen
t
er
b
u
f_
s
i
ze: recor
d
the size
of struct mem
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
C
arpent
e
r
e
x
tra: cleanup: use
m
y_
i
d instead of SMA
T
CH_EXTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
db: wrong parameter
n
umber
in
st
r
uct mem
b
er cal
l
back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra:
don't print an extra $$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
ent
e
r
db: limi
t
t
he nu
m
ber of function po
i
n
t
er cal
l
s we check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpenter
db, extra: introduc
e
add_memb
e
r_info_callback(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
extra,
d
b
:
rec
o
r
d
a dummy o
u
tput for every function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpente
r
db:
use option_no_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra, db:
m
o
ve some db function
s
from s
m
atch
_
e
xtra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Ca
r
penter
b
u
f_size: handle
f
u
n
ction pointers
a
s well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpen
t
er
d
b
: follow calls to fu
n
ctions
p
o
i
nters as well as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flo
w
: set positi
o
n for globa
l
variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan
Carpen
t
er
signe
d
: allo
w
chec
k
s
like: if (foo < 0 || foo
>
x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
D
an Ca
r
p
en
t
e
r
ove
r
flow: get rid o
f
"buffer overflow
c
a
l
ling %s
.
p
ara
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Carpente
r
g
et rid of --pri
n
t_returns option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
extra,
d
b
: we
have to record eve
r
y
f
unction call in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Da
n
Carpenter
r
anges:
i
n
valid ra
n
ges de
f
a
u
lt to the whole ra
n
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carp
e
nter
signed:
d
on't warn about unsigned comparison
s
to macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
D
an Carpenter
ex
t
r
a
, db
:
reco
r
d the st
r
u
c
t
m
ember value
s
in the d
a
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
e
x
t
r
a: fix parsing of values from db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rpenter
fill_db_untrusted: follow untrust
e
d da
t
a down
the c
a
ll
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
extra:
d
on'
t
print
i
f the min-max as the v
a
lue pa
s
sed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpen
t
er
r
a
nges:
i
n
t
r
oduce is_whole_ra
n
g
e
_
rl() and
fix
is_w
h
ole
_
ra
n
ge
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpenter
db
:
u
se the fun
c
tion_id corr
e
ct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
an
Carpente
r
fi
l
l_db_caller_info: calculate fu
n
cti
o
n_i
d
c
o
r
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Ca
r
penter
de
b
u
g:
a
dd a __smatch_p
o
ssible(
"
va
r
iable")
f
uncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_alloc: use _
c
o
mplex() ver
s
ion
o
f
get_variable_from_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
pe
n
ter
extra: db:
p
ut single q
u
otes around
th
e
f
un
c
tion name
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Car
p
enter
*new
*
sm
a
tch_scri
p
ts/follow_pa
r
ams
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
hooks
:
remove som
e
commented out cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpente
r
sql: snp
r
int
f
(
) n
u
l termina
t
es i
t
s strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: m
o
ve buf_size
t
o the ne
w
a
d
d_de
f
initio
n
_db_callb
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
db: intro
d
uce add_
d
efinition_db_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: store
the
v
a
lues of para
m
eters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
r
p
enter
d
b: make d
a
tabase
c
o
d
e usable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan Ca
r
penter
*new* min
_
t() ca
s
ti
n
g
that trunc
a
tes the val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carp
e
nter
*new* ros
e
nberg: che
c
k
f
or information leaks from
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carp
e
nter
fl
o
w: tweak the -
>
pos sett
i
ng for fake a
s
si
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
ter
flow: whit
e
space
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: pass con
d
i
t
i
on a
s
signments to cl
i
ents with
ASS
I
GNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_e
f
f
e
ct: add some
m
ore tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree