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
math: white space changes.
2011-12-01
Dan Carp
e
nter
m
ath:
white space changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpenter
db: save function poi
n
t
ers saved
in
arrays of structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db/function_p
t
r: clear
t
he co
r
rect ta
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db: remov
e
untrusted
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpenter
e
x
tra
:
unops
d
o
n
't normally change
the
val
u
e of a
v
ariable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Ca
r
pent
e
r
tiny w
h
i
te
s
p
a
ce fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
unca
p
ped_alloc:
d
elete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan
C
arpenter
helpe
r
: remove bogus pa
r
e
ns f
r
om get_v
a
riable_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
D
a
n Carpenter
update smatch_data f
o
r
3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Da
n
Carpente
r
Al
l
o
w
check_debug
.
h
to be included more than once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carp
e
nter
core: add --file-outpu
t
var
i
abl
e
for ma
k
e
-
j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan
C
a
rp
e
nter
smatch_extra: clear out
struct members if a the
p
ointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Ca
r
penter
e
x
tra:
f
ix cras
h
ing bug from last commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
C
arpenter
extra: ex
p
ress
i
ons a
r
e eq
u
i
valent ev
e
n
if they are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
enter
u
s
e
r
_data: u
s
e
i
s_cap
p
ed
(
) f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
u
ser_
d
a
ta:
h
an
d
le binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n Ca
r
pente
r
*new* smatch_capped: intro
d
u
ce is_capped() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpent
e
r
*new* c
h
ec
k
_
user_data
:
re
c
ord all the user
data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
ter
buf_siz
e
: t
h
e
r
e was a mista
k
e in handling
c
alls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
e
n
ter
buf_s
i
ze: record the size of struct
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
ex
t
ra: cleanup: use
my_id ins
t
ead of SMATCH_
E
X
TRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: wrong paramet
e
r number in st
r
uct memb
e
r
c
allback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra: don't print an ex
t
ra
$$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n
Ca
r
penter
db: l
i
mi
t
t
h
e n
u
mber of func
t
i
on po
i
n
t
er calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpent
e
r
db, ext
r
a: introd
u
ce ad
d
_member
_
info_call
b
ack(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
extra, db:
r
ecord
a
dummy ou
t
put for eve
r
y functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
db: use op
t
io
n
_no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Da
n
Carpenter
extra, db: mo
v
e some db functions from
sm
a
tch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Da
n
Carp
e
nter
buf_s
i
ze: handle function poi
n
te
r
s as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpent
e
r
db: f
o
llow
c
alls to functions
p
oi
n
ters a
s
well as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n Carpe
n
ter
flow: set p
o
s
i
tion for global variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpen
t
er
s
igne
d
:
allow checks li
k
e
: if
(
f
o
o < 0 || foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an Carpe
n
ter
overflow:
get rid o
f
"buf
f
er o
v
erflo
w
ca
l
l
i
ng %s
.
pa
r
a
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an C
a
rpenter
get rid
of --prin
t
_returns
opti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
extra, d
b
: we
h
ave
to
record every
f
unction c
a
ll in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpen
t
er
ra
n
ges: invalid ranges default to the whole
r
ange
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpent
e
r
signed: don
'
t
wa
r
n abo
u
t unsigned
comparisons to ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra,
d
b: record the
struc
t
mem
b
er valu
e
s in the data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpente
r
extra:
f
ix parsing of values f
r
om db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db
_
untrusted: follow
u
n
t
rus
t
ed data down the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carp
e
nter
extr
a
: do
n
't
print if
the min-max as
the
v
al
u
e passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
pente
r
ranges: introduce is_whol
e
_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
Ca
r
penter
db
:
us
e
t
he functio
n
_id corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fi
l
l_db_
c
aller_inf
o
: calculate
function
_
id
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpent
e
r
de
b
u
g: add a __smatch_
p
ossible("v
a
riabl
e
") funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
uncapped_alloc: u
s
e _compl
e
x()
version of
get_var
i
able
_
f
rom
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
extra: db:
p
ut
si
n
gle quotes a
r
oun
d
t
h
e
fun
c
tion name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
*new* s
m
at
c
h
_
scr
i
pts/foll
o
w_
p
arams
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
hoo
k
s
:
remove s
o
me commented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
sql:
s
nprintf
(
)
nul
t
e
r
mi
n
ates i
t
s strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
pe
n
t
e
r
d
b
:
m
ove buf_size to the new ad
d
_definition_db_ca
l
lback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpenter
db: introduce add
_
definition_db_
c
al
l
back()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
p
ent
e
r
db: st
o
re t
h
e value
s
of p
a
ra
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
db: make database c
o
de u
s
ab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*n
e
w*
m
in_t() casting t
h
at tru
n
cates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
D
a
n Carpente
r
*
n
ew*
r
o
s
enberg: check
for inform
a
t
ion leak
s
from th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
ter
flow: t
w
eak the ->p
o
s
se
t
ting for fake a
s
s
ig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carpen
t
er
flow
:
w
h
itespace change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
enter
flow: pass condition assign
m
ents to clients wi
t
h ASSIGN
M
ENT_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n
Carpen
t
er
n
o_effe
c
t: add some
more
t
e
st
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
D
a
n Carpenter
deref_check: chec
k
_
d
eref
:
print both line nu
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Car
p
enter
core: set position earlier in s
m
atc
h
_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Karel Zak
smatch: add --data=
<
dir> option
commit
|
commitdiff
|
tree
2011-09-12
D
an Carpe
n
t
er
s
l
ist: pres
e
r
ve the ->line value correct
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an
C
arpenter
ove
r
flow: print more helpful info w
h
en the data fi
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Da
n
Ca
r
penter
gen_array
_
bound
s
:
filter
out
b
ogus lin
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Car
p
e
n
t
e
r
b
u
f
_size: silence a gcc
false
positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
use PTR_
I
NT() and INT_PTR() to silence cast
war
n
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carp
e
nter
slist: make alloc_sm_sta
t
e() s
t
atic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
an Carpenter
s
l
ist: remove som
e
dead
c
od
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
co
r
e
:
c
long_sm()
s
hould preserve the ->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
up
d
ate smatch_
d
ata/ for
l
i
nux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpenter
*
n
ew*
bogus_loops: warn on b
o
g
us for
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
ex
t
ra: use
g
e
t
_implie
d
_val
u
e()
i
nstead
o
f g
e
t_va
l
ue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan
C
a
rpent
e
r
implie
d
: ha
n
d
l
e assignments ins
i
de
condit
i
ons better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n
Carpenter
over
f
l
ow: c
h
eck sp
r
intf()
and snp
r
intf
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan C
a
r
penter
smatch_flow: fix co
m
pile error
caused b
y
upstream
chan
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Di
e
go El
i
o P
e
ttenò
Fix buil
d
w
i
th GCC 4
.
6
series
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overflo
w
: cut do
w
n on fal
s
e pos
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Ca
r
penter
smatch_data: update for 3
.
0
kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n C
a
rpent
e
r
gen_no_return_funcs: always keep the default no ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n
Car
p
enter
In a
c
oupl
e
place the or
i
ginal checked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flo
w
:
handle known switch statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carpenter
*
n
ew* return
_
nega
t
ive_var: return
i
n
g positive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpen
t
er
*new* memset: chec
k
for memset(x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Da
n
Carpe
n
ter
Support __builtin_unreachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tets
u
o Handa
Fix build
error wit
h
ol
d
er package
.
commit
|
commitdiff
|
tree
2011-05-23
Randy MacL
e
od
Fix grammatical e
r
rors in R
E
ADME-smatch
commit
|
commitdiff
|
tree
2011-01-26
Dan C
a
rpente
r
overflow: format_strings: put som
e
verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Da
n
Ca
r
pent
e
r
buf_size: put som
e
guesse
s
behind --spa
m
my
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpent
e
r
extra: handle
c
ount down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan
Carpenter
add RAW_ASSIGNMEN
T
_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
Me
r
ge git
:
//git
.
ke
r
n
e
l
.
org/pub/
s
cm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
sig
n
ed: don
'
t complain
about putting 0xff into
a
sign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpe
n
ter
l
o
c
k
ing: add _raw_spin_lock_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
int
r
oduce SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
D
an
Carp
e
nt
e
r
*
n
ew* check_select:
return ret < 0 ?: 0
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpen
t
er
*new* in
p
ut_free
_
device: don't call t
h
is aft
e
r input_
u
nregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
ar
p
enter
*new* check_con
t
ainer_of: container_of() doesn't
retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpenter
creat
e
check_list_
l
ocal
.
h which
is f
o
r untracked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next