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 Carpe
n
ter
locking: add some more
lock
n
a
me vari
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carp
e
nte
r
db
:
c
a
ller
info ne
e
ds to record
t
he
-1 p
a
rameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
math:
f
ix t
y
po in comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carpenter
*new* bo
g
us_i
r
qrestore: do
n
't re
s
tore
i
r
q
state before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
D
a
n
Carpenter
*new* ch
e
ck_w
a
it_for_common: make sur
e
t
h
e return is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpent
e
r
ty
p
e
:
add
e
xpr_un
s
igne
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Carpenter
d
b: pass
&f
o
o type parameter i
n
form
a
tion to ca
l
led
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
math: do math for
get_implied_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Carpenter
help
e
r: wh
e
n displaying sizeof() info
r
ma
t
ion use bytes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Ca
r
pe
n
ter
capped: t
r
ack capped vari
a
bles ac
r
os
s
function bou
n
d
a
rie
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
e
nter
debug: add __smatch_i
m
pl
i
ed
_
min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carpenter
ma
t
h
: white
s
p
ace changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpenter
db: save funct
i
o
n
pointers saved in arrays
o
f stru
c
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpen
t
er
db/function_ptr: clear the
c
or
r
ect table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db: re
m
ove untr
u
st
e
d
tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
D
a
n Ca
r
penter
extra: unops don't normally chang
e
the value
o
f a va
r
i
a
ble
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
Da
n
C
a
rpenter
u
ncapped_
a
lloc: delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Car
p
e
n
ter
helper: remove b
o
gus paren
s
fro
m
get_variable_
f
ro
m
_ex
p
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carp
e
nter
upda
t
e
s
mat
c
h_data
for 3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
D
a
n Carpenter
All
o
w check_
d
ebug
.
h t
o
be includ
e
d
more than
o
n
ce
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
core: add -
-
file-output variable for make -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Da
n
Car
p
enter
smatch
_
extr
a
: clear out
stru
c
t
me
m
bers if a
t
h
e poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpenter
ex
t
r
a
: fix cr
a
shing
b
ug from la
s
t
commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
Carpenter
ex
t
ra: expressio
n
s a
r
e equiva
l
ent even
i
f
they are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
an Carpenter
user_data: use is_capp
e
d
(
) fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Ca
r
penter
u
ser_data: han
d
le binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n Carpenter
*new* smatch_capped: introduce is_cappe
d
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan
C
a
r
penter
*new* check
_
us
e
r_data: recor
d
all the
u
ser data (an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
enter
buf
_
size: th
e
r
e
was a mistake i
n
handling calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arpenter
buf_si
z
e: record th
e
size
o
f
s
tru
c
t membe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
penter
ex
t
ra: cleanup: u
s
e my_id instead of
S
MATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an
C
arpenter
db: wron
g
parameter n
u
mber
i
n
s
truct member ca
l
lback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
e
n
te
r
extra: don't print a
n
extra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
d
b
:
l
i
mit the nu
m
ber of function pointer calls we chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
ente
r
db, extra
:
introduce add_memb
e
r_
i
nf
o
_ca
l
l
b
a
c
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Da
n
Car
p
ent
e
r
extra, db: record a
dummy ou
t
p
u
t for ev
e
ry function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan
C
arpenter
db: use optio
n
_no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan
Car
p
ente
r
extra, db: mo
v
e some db functions from s
m
a
t
ch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
buf_size: handle function pointers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpe
n
t
e
r
db:
f
ollow calls to
functions poi
n
ters as
w
ell as no
r
mal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n
C
arp
e
nter
fl
o
w: set position for
g
l
o
ba
l
var
i
ables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n
Carpen
t
e
r
si
g
ned: allow ch
e
cks
l
ike: if (
f
oo < 0 ||
fo
o
> x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpent
e
r
overflow: get r
i
d
of
"buffer overflo
w
calling %s
.
p
a
r
a
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an C
a
rpe
n
ter
get rid of
--pr
i
nt_re
t
u
r
ns opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
extra
,
db: w
e
have t
o
r
ecord
ev
e
ry fu
n
c
ti
o
n call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Ca
r
penter
ranges:
i
nv
a
lid
r
anges default to the whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
s
i
gned:
d
o
n't w
a
rn
a
bout unsig
n
ed c
o
mparisons to
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
C
a
rpente
r
ex
t
ra, d
b
: record the struct member val
u
e
s
in
the dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpe
n
ter
extra: f
i
x parsing of values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Car
p
enter
fill_db_untr
u
sted:
f
o
llow untrusted data
down th
e
call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
enter
extra: don
'
t
prin
t
if th
e
m
in-max as the value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
r
anges: introduce is
_
w
h
ole_rang
e
_r
l
()
a
n
d fix is_w
h
ole_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an
Carpenter
d
b
: use the f
u
nction_id correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpente
r
fill
_
d
b
_
caller_in
f
o: calcul
a
te func
t
i
on_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpente
r
debug: add
a __
s
match_possible("variable
"
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an C
a
rpe
n
ter
uncapped_alloc:
use _
c
omplex() version of
g
et_var
i
able_f
r
om_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
e
xtra: db
:
put
single q
u
o
t
es aro
u
nd the functi
o
n nam
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
*new* smatch_scrip
t
s/follow_para
m
s
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
hoo
k
s
:
r
e
m
ove som
e
com
m
ented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
sql: snprintf() nu
l
terminates its st
r
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: m
o
ve bu
f
_s
i
z
e
to the new add_definition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpen
t
er
db: in
t
roduce
a
dd_defi
n
ition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
C
arpen
t
er
d
b: store
t
h
e
value
s
of paramet
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
db:
make da
t
abase code
u
sable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
an
C
arpenter
*new*
m
in_t() casting that
t
r
unca
t
es the
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan
C
arpenter
*new* rosen
b
erg: check for information
l
eaks from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an
C
ar
p
e
n
ter
flow: t
w
e
a
k the ->pos sett
i
ng for fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
Carpenter
flow: whitespace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
flow:
p
ass condition assignm
e
nts to clients with ASSIGNME
N
T
_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carpen
t
er
n
o
_eff
e
ct: add some more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan
Carp
e
nt
e
r
deref_c
h
eck: check_deref: print both line number
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
c
ore: se
t
position earlie
r
in sma
t
ch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carp
e
n
te
r
sli
s
t: preserve t
h
e ->l
i
n
e value
c
orrectl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Da
n
C
a
r
p
enter
overfl
o
w: pr
i
n
t
mor
e
he
l
pful info when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
gen_array_bou
n
d
s
: filter out bogus
lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Da
n
Carpent
e
r
buf_size: silence a gcc fals
e
p
o
s
it
i
ve
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
u
s
e PTR_INT(
)
a
nd INT_PTR() to silence cas
t
warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
C
arpenter
sli
s
t: m
a
k
e
a
lloc_
s
m_state() s
t
atic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Carpenter
sl
i
st: rem
o
ve
s
o
me dead cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
co
r
e
:
cl
o
n
g
_s
m
(
) should prese
r
ve the ->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n Carpent
e
r
update
smatch_data/ fo
r
l
inux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
D
a
n Carpenter
*new* bog
u
s_loo
p
s
:
warn on
bogus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan
Carpenter
ext
r
a
: use get_implied
_
value(
)
instead
o
f
g
et_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
D
an Car
p
enter
i
mplied: handle
a
ssignm
e
nts in
s
ide
conditions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
an Carpente
r
ove
r
f
low
:
check
sprintf() and s
n
printf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
smatch_flow: fix compile er
r
or
caused by upstream
c
h
a
n
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Ca
r
pe
n
t
e
r
ove
r
f
l
o
w: cut do
w
n on fals
e
pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpe
n
ter
smatch_data: update for 3
.
0 ke
r
nel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan
Carpenter
gen_no_return_fun
c
s:
alwa
y
s keep the
default no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
In a cou
p
l
e
p
lace t
h
e original
c
hecked for --s
p
amm
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpente
r
flow: handle known switch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*n
e
w* r
e
turn_negative_var: returning
p
ositive valu
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new* me
m
set: check for memset(x,
y, 0
)
; typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpent
e
r
Support _
_
b
uiltin_unr
e
a
c
h
abl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
D
a
n Carpenter
overflow: f
o
rm
a
t_s
t
r
ing
s
: put s
o
me v
e
rb
o
se
messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
D
an Car
p
enter
buf_size
:
put
s
ome guesses be
h
ind --sp
a
mmy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carp
e
nter
extra
:
handle count down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carp
e
n
ter
a
d
d
R
AW_ASSIGNMENT_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan
C
arpenter
Merg
e
g
it://g
i
t
.
kernel
.
org/pu
b
/scm/devel/spa
r
se
/
chrisl
.
.
.
commit
|
commitdiff
|
tree
next