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 Carpenter
lo
c
k
ing:
a
dd some m
o
re l
o
ck name variations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
db:
caller inf
o
n
e
eds to reco
r
d the -1 pa
r
ameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan
C
arp
e
n
t
er
math: fix typo in
c
o
mm
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carpenter
*new* bogus_irqrest
o
re: don't restore
irq
s
tate b
e
f
ore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
*new
*
c
heck_
w
ait_for_common: ma
k
e sure th
e
return is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carp
e
nter
type: add
expr_un
s
igned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Carpenter
db: pass &foo t
y
pe p
a
ramete
r
information to cal
l
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
en
t
er
ma
t
h:
d
o m
a
th fo
r
ge
t
_implied_min/max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
helpe
r
: when displaying
s
izeof()
i
nformation
use bytes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Ca
r
pen
t
er
ca
p
ped: track capped var
i
ables
a
cross function boundari
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Carpe
n
ter
debug: add __smatch_implied_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
D
an Carpenter
math: wh
i
te
s
pace
c
hanges
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
D
a
n Carpenter
db: save
f
unction pointers saved in arrays of struct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpe
n
ter
db
/
function_
p
tr: clea
r
the correc
t
ta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db:
rem
o
v
e untrusted table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
D
an Carpenter
e
x
tra: unops don't normally
c
ha
n
g
e
the value of a variab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
tiny white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpen
t
er
unca
p
ped_alloc: delete
this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carp
e
nter
helper:
r
e
move bogus par
e
ns
f
r
o
m get_varia
b
le_from_ex
p
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Da
n
Carpente
r
update smatch_
d
ata
f
o
r
3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allow chec
k
_debug
.
h t
o
b
e inclu
d
ed mor
e
tha
n
once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Ca
r
penter
c
ore:
a
dd -
-
fi
l
e-output v
a
riable for ma
k
e -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smatch_ex
t
ra: clear out
s
truct
m
embers if a the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan
C
a
r
penter
extra: fix cr
a
s
h
ing b
u
g f
r
om last commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carp
e
n
ter
e
x
t
ra: expressio
n
s are
equivalent even if they are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
Carpen
t
er
u
ser_data: use is_capped() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpenter
use
r
_
d
ata
:
handle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carpenter
*
new* s
m
a
t
ch
_
capped: in
t
ro
d
uce is_capped() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpenter
*new* check_
u
ser_data: record all the
u
ser data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carpenter
buf_
s
iz
e
:
t
h
er
e
was a mistake in
handling calls t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
enter
b
uf
_
size: record the size of struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra: c
l
eanup: use my_id i
n
stead 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 number
in struct membe
r
cal
l
back
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
p
enter
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 the number of fun
c
tion
p
ointer ca
l
ls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an Carpenter
db, ext
r
a: i
n
trodu
c
e ad
d
_member_info_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
ext
r
a,
db
:
recor
d
a dummy output for ever
y
f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Ca
r
pen
t
er
d
b: use option_no_d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n
C
a
r
penter
extra,
db: mov
e
some
db functi
o
ns fr
o
m
s
m
atch_e
x
t
ra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan C
a
rpenter
buf_size: handle
function pointers as
w
ell
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
db:
f
ollow calls to funct
i
ons
p
ointers a
s
w
ell as n
o
rmal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan
Carpenter
flo
w
:
s
et posit
i
o
n for g
l
obal va
r
iabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpe
n
t
er
sig
n
e
d
: allow ch
e
cks like:
i
f (foo < 0 || foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
over
f
l
ow
:
get rid of
"buffer overflo
w
cal
l
ing
%
s
.
p
a
ram
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Ca
r
pen
t
er
g
e
t
rid o
f
--prin
t
_returns option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
ex
t
r
a, db: we have to record
eve
r
y funct
i
on c
a
ll
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpe
n
ter
ranges: invali
d
ra
n
g
es defau
l
t
to the whole rang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
an
C
arpenter
si
g
ned: don't warn about unsig
n
ed comp
a
rison
s
to macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
e
xtra, db
:
re
c
ord the s
t
ruct m
e
mber values in
t
he d
a
taba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra: f
i
x
p
ar
s
ing of values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpent
e
r
f
i
ll_db_untrusted:
follow un
t
rusted da
t
a down the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
e
x
t
r
a
:
don
'
t print if
t
he
m
in
-
max as
t
he value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
ran
g
es
:
introd
u
ce
is_whole_range
_
rl() an
d
f
ix is_whole_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carp
e
n
ter
d
b
: use the function_id corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_
d
b
_
c
a
ller_
i
nf
o
: c
a
l
c
ul
a
te function_id
c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carp
e
nter
de
b
ug:
add a __smatch_pos
s
i
b
le("variabl
e
") fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
unc
a
pped_
a
lloc:
u
se
_
co
m
p
l
ex() v
e
rsion of ge
t
_variab
l
e_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
C
ar
p
e
n
t
e
r
extra: db: put single
quotes around
t
he fu
n
ction name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rp
e
n
t
er
*new* smatch_sc
r
ipts/fol
l
ow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
hooks: remove som
e
commented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
sql: snprintf() nul terminates its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
db: mov
e
buf_size
t
o the new add_definition_db_callb
a
ck()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
d
b
: int
r
o
d
u
ce add_definition_
d
b_cal
l
bac
k
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpente
r
db: s
t
ore t
h
e values
o
f
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
db:
make database c
o
d
e
u
s
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
an
C
arpenter
*
new* min_t() c
a
sting that
t
r
uncates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Da
n
Carpente
r
*new* r
o
senberg: che
c
k for inf
o
rmati
o
n
leak
s
from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
Carpe
n
ter
flow: tweak the
-
>pos s
e
tting for fake assignm
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
r
p
enter
flow: wh
i
tespa
c
e c
h
an
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: pa
s
s c
o
ndi
t
i
o
n ass
i
gnments t
o
clients with AS
S
IGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
n
o
_eff
e
c
t
: add s
o
me
m
o
re tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Ca
r
pen
t
e
r
dere
f
_
c
heck
:
check_deref: prin
t
bo
t
h l
i
ne
numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
c
ore: se
t
position e
a
rlier in sm
a
tc
h
_fl
o
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Karel Zak
sma
t
ch: add
--data=<dir>
opti
o
n
commit
|
commitdiff
|
tree
2011-09-12
Da
n
Carpenter
slist:
preser
v
e
the ->line value c
o
rrec
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
overflow: prin
t
more helpful info when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
gen_arra
y
_
b
ounds: filter
o
ut bog
u
s lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpenter
buf_size: si
l
ence a gcc false positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Car
p
en
t
e
r
use PTR_I
N
T() and INT_PTR() t
o
silence c
a
s
t warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpent
e
r
slist
:
m
a
k
e
a
l
l
oc_sm_state() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: remove some dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
core: clong_sm()
should preserve the ->
l
i
n
e value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
a
r
penter
update
s
m
atch_
d
a
t
a/ for
linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpen
t
er
*
n
ew* bogus_loop
s
: w
a
rn on b
o
gus for
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Car
p
enter
extra: use get_implied_value(
)
instead
o
f get_va
l
ue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan
Carpenter
implied
:
handle
a
ssignments in
s
id
e
c
ondi
t
i
o
ns
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpente
r
o
v
e
r
flow:
c
heck spri
n
tf() and snprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpent
e
r
smatch
_
flow: fix compile error
caused by upstream cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dieg
o
Elio Pettenò
Fi
x
build with GCC 4
.
6 series
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpent
e
r
ove
r
flow: c
u
t d
o
w
n
on false positive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
an Carpenter
smatch_
d
ata:
u
p
date for 3
.
0 ker
n
e
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n
C
arp
e
nter
gen_no_return_funcs: alwa
y
s kee
p
the def
a
u
lt no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
In
a
c
ouple pla
c
e
t
he original checked for --s
p
ammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flow
:
han
d
le known
switch stateme
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpente
r
*new
*
retur
n
_ne
g
ative_var: retu
r
ning positive val
u
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carpenter
*new*
m
e
m
set:
c
h
eck f
o
r me
m
set(x
,
y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpenter
Support __
b
uilt
i
n_u
n
reachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
T
etsuo
Hand
a
Fi
x
buil
d
error with
o
lder pa
c
kage
.
commit
|
commitdiff
|
tree
2011-05-23
Ra
n
dy MacLeod
F
ix gramm
a
tic
a
l
errors in
RE
A
DME-smatch
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
overflow: forma
t
_stri
n
gs: put
s
o
m
e
ver
b
ose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next