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
D
an Carpenter
locki
n
g: add some more lo
c
k name vari
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan
C
a
r
penter
db: caller info nee
d
s to record the
-1 para
m
e
te
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan C
a
rp
e
nter
math: fix typo in
co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan
C
arpenter
*new
*
bog
u
s_irqrest
o
re: don't
r
e
s
to
r
e irq sta
t
e before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
*new* check_wai
t
_for_common
:
mak
e
s
ure the return
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
D
an Carpenter
type
:
a
dd ex
p
r_unsigned
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carpenter
db: pass
&foo type parameter in
f
ormation to
c
a
ll
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Ca
r
pe
n
ter
ma
t
h: do math
f
or get_implied_
m
in/max(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carpenter
helper:
w
h
en d
i
s
pl
a
yi
n
g
s
izeof()
in
f
or
m
a
t
ion
u
se bytes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
enter
cap
p
ed: tra
c
k
c
a
p
p
ed variable
s
across functi
o
n
b
o
undar
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
d
ebug: a
d
d __smatch
_
implied
_
min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Da
n
Ca
r
p
e
n
ter
math: w
h
ite spa
c
e changes
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpen
t
er
db: save functi
o
n pointe
r
s s
a
v
ed in arrays
o
f st
r
ucts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Da
n
Carp
e
nte
r
db/
f
unction_ptr:
c
lear the correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpente
r
d
b: remo
v
e
untrusted table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carp
e
nter
extra: unops d
o
n
't norma
l
ly change
the value o
f
a var
i
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
D
an Car
p
ente
r
t
i
ny
wh
i
te
space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Ca
r
p
e
nter
uncapped_alloc: delete
this
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
h
el
p
er:
r
emove bogus parens fr
o
m get_
v
ariab
l
e_from_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan Ca
r
penter
u
p
d
ate sma
t
ch_data for 3
.
2
-
rc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
D
an Carpenter
A
l
l
o
w che
c
k
_d
e
b
u
g
.
h to be included more than
o
nce
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
c
ore: add
--file-out
p
ut variable for make
-
j
8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan
C
arpe
n
ter
smatch_extra:
c
lear out
stru
c
t m
e
mbers if a the p
o
inter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpenter
ext
r
a: f
i
x cra
s
hing bug from l
a
s
t
c
o
m
m
it
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extra: e
x
pressions
a
re
e
quiva
l
ent
e
v
en
if
they
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
D
an Car
p
enter
user_data: use is_cappe
d
()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
us
e
r_data: han
d
le binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
a
r
penter
*new* smatch_capped: in
t
roduce is_c
a
pped
(
)
fun
c
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Da
n
C
arp
e
n
te
r
*new* check_user
_
data: re
c
ord
all the user
dat
a
(
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arpe
n
ter
buf_size:
there was a mi
s
take in hand
l
i
n
g c
a
lls to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
C
a
r
p
en
t
er
buf_size: record the size of struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
an
C
arpenter
ext
r
a: cleanup: use my_id
i
nstead of SMATCH
_
EXTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpenter
db: wrong parameter nu
m
ber in struct member call
b
ack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
n
t
er
extra: don't p
r
int an extra $$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: limit th
e
numb
e
r of functi
o
n
pointer calls we check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
db, extra
:
introduce add_member_
i
nfo_ca
l
lback(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
e
xtra, db: record
a
dummy
o
ut
p
ut for every functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
db: use
op
t
ion_no_d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Da
n
C
arpenter
ex
t
ra
,
db: move some db func
t
ions
f
r
o
m
smatch_e
x
tr
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpenter
buf_size
:
handl
e
function pointers
a
s
w
ell
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan
C
arpenter
db
:
fo
l
low cal
l
s to
functi
o
ns
p
ointers as we
l
l
as norma
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan
Carpe
n
ter
flow
:
set posi
t
ion fo
r
global va
r
iables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
s
igne
d
: allow checks
l
i
k
e:
if
(foo < 0 || f
o
o
> x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpente
r
o
verflow: get rid of "b
u
ff
e
r overflow c
a
llin
g
%s
.
param
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arp
e
nt
e
r
ge
t
r
id
o
f --print_re
t
urns o
p
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan
C
ar
p
en
t
e
r
extra,
d
b: we have
t
o
r
e
c
ord e
v
ery
function call in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan
Carpenter
ranges: invalid ran
g
e
s
defa
u
l
t to the
wh
o
le range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
enter
s
i
gned: don'
t
warn abo
u
t
u
nsigned
c
ompar
i
so
n
s to m
a
cros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra, db: record the struct
member values in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
enter
ex
t
ra: fix p
a
rsi
n
g
of values from db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
fill_db_untrusted:
follow
untrusted
data down
the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
ext
r
a: don't print if t
h
e min-max as
t
he
v
a
lue passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arpenter
ranges:
introduce is_whole_ra
n
ge_rl() and fix is_whole_range
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
a
rpenter
db: use the fu
n
ct
i
on_id corr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
r
p
enter
fil
l
_db_cal
l
er
_
info: c
a
lc
u
l
a
te functio
n
_
i
d corr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
d
ebug: add a
_
_
s
match_possible("va
r
iable") function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
uncapped_alloc: use _complex() version
o
f get_vari
a
b
le_f
r
o
m_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
C
a
r
penter
extra: db: put
s
i
ngle quo
t
es around th
e
function n
a
me
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*n
e
w
* sm
a
tch
_
scripts/
f
ollow_pa
r
ams
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Ca
r
penter
hooks
:
remove som
e
commented
o
ut code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
er
sql: snprintf
(
)
nu
l
t
e
rm
i
n
ates its strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: move b
u
f_s
i
ze to the new add_d
e
fin
i
tio
n
_db_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
db: intro
d
uce add_definition_db_cal
l
back()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db:
s
t
ore the v
a
lu
e
s of
para
m
eters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: make da
t
abase code usable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan
C
arpenter
*new* min
_
t
()
casting that trun
c
a
t
es the v
a
lues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Da
n
Carpenter
*
n
e
w
* ro
s
e
nberg: check for information
leaks from
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
ter
flow: tweak th
e
->po
s
setting for fak
e
a
s
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpente
r
flow: whit
e
space chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
an C
a
rp
e
nter
flow: pass
c
onditio
n
assignments
t
o clients
w
ith ASSIG
N
ME
N
T
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_effect: add s
o
me more
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree