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
helper: when displaying sizeof() information use bytes instead of bits
2011-12-08
Dan Carpe
n
ter
h
elper: whe
n
displa
y
in
g
si
z
eof() information use bytes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carp
e
nter
capped: tr
a
ck capped variable
s
across funct
i
on bou
n
daries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpent
e
r
d
e
bug:
add __sma
t
ch
_
implie
d
_m
i
n/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan
Car
p
enter
m
a
th: white space
c
hanges
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpenter
db:
s
ave fun
c
tio
n
p
o
i
n
t
ers saved i
n
arr
a
ys of structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
D
an Carpen
t
er
d
b/function_ptr
:
c
l
ear
t
he corre
c
t table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carp
e
nt
e
r
db:
r
emove
untrusted tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Car
p
enter
extra: unops don't norma
l
ly
c
hange the
value
of a
v
ari
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Ca
r
penter
tin
y
w
h
ite space fixe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
rpenter
u
n
c
app
e
d_alloc: delete
t
h
i
s check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Ca
r
p
e
nter
helper: remove bogu
s
parens from
g
et_vari
a
ble_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan
Carpenter
updat
e
smatch_data
f
o
r
3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
D
a
n C
a
rpenter
Allow c
h
eck_d
e
bug
.
h
to be in
c
lude
d
more
t
han once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpe
n
ter
cor
e
:
a
d
d --file
-
output variable for make -
j
8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpen
t
e
r
smatc
h
_extra: clear
o
ut
struct members if a the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
D
a
n Car
p
enter
extra: fix crashing bug f
r
om las
t
co
m
mit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n Carpenter
extra:
expre
s
sio
n
s are
e
q
uival
e
nt
e
ven if
th
e
y are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carpe
n
ter
user_data: u
s
e is
_
capped() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpente
r
user_data: handle b
i
nops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
*new* smatch_c
a
p
p
ed: introduce is_cap
p
ed() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan
Carpe
n
ter
*new* check_user
_
data:
r
e
cord all
t
he user data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
r
p
e
nter
bu
f
_
size: the
r
e was a
m
ist
a
ke in handling cal
l
s
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
b
u
f
_size: record
t
he size
of struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpenter
extra: cleanu
p
: use my_id ins
t
ead of
SMATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
en
t
er
db: wrong
paramete
r
number in struct member callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arp
e
n
t
e
r
e
x
tra: don't print an extra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an Carpenter
db: limit the number of function pointer calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db, e
x
tra: introd
u
ce
a
d
d
_mem
b
er_i
n
fo_callbac
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
extr
a
,
db: record a
d
um
m
y
o
utput for
every function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan C
a
rpenter
d
b
: use op
t
ion_no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan
Carpe
n
t
er
extra, db: mo
v
e some
db
funct
i
ons from s
m
atch
_
e
x
tra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan
C
arpenter
buf_siz
e
: handle function
p
ointers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n Car
p
ente
r
d
b:
follow ca
l
ls to functions po
i
nter
s
as well as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Ca
r
penter
flow: s
e
t position for global va
r
iab
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpente
r
s
i
gne
d
: allow checks l
i
ke: if
(
foo
< 0 || f
o
o
>
x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
overfl
o
w: ge
t
rid of "buf
f
er overf
l
ow call
i
ng
%s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan C
a
rpenter
get r
i
d of -
-
p
r
int_returns op
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpe
n
te
r
e
x
tra, db: we
h
a
ve to
r
eco
r
d every fun
c
tion call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan C
a
rpenter
r
anges
:
invalid ranges de
f
a
u
l
t to the whole r
a
nge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
signed: don
'
t warn a
b
out uns
i
gne
d
comparisons to macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
an Carpen
t
er
e
x
tra,
db:
record the struct
m
embe
r
values in the dat
a
ba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
ext
r
a: fix parsing
of values fro
m
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Ca
r
p
enter
fill
_
db_untruste
d
:
follow
untrus
t
ed data
d
o
wn the
c
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rp
e
n
t
er
extra:
don't
p
r
int if th
e
mi
n
-max as the
value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
a
rpenter
ranges: introduce is_whole
_
r
ange_rl() and fix
i
s_who
l
e_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpen
t
er
d
b
: use the function_id
c
orr
e
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpenter
f
ill_db_call
e
r
_in
f
o: calc
u
late fu
n
c
tion_id correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
debug:
add
a
__smatch_possible("vari
a
ble") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carp
e
nt
e
r
uncapped_al
l
o
c
: u
s
e _compl
e
x() version
o
f get_variable_from
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpenter
extra: db: pu
t
s
ingle q
u
otes around
the functio
n
n
ame
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rp
e
nte
r
*new* sm
a
tc
h
_sc
r
ipt
s
/follow
_
par
a
ms
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
p
enter
hoo
k
s:
remove
s
om
e
c
omme
n
t
e
d
o
u
t
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
C
a
r
p
enter
sql: snprintf()
n
ul terminates it
s
st
r
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
db:
mo
v
e bu
f
_
s
ize to
the new add_definition_d
b
_callback
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
db: introduce add_
d
efinition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
db
:
store the
v
a
l
u
es of parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Ca
r
penter
db:
m
a
k
e database
code usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Ca
r
pe
n
ter
*new* min_t() casting that
tr
u
ncates the
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
D
an Carp
e
nter
*new*
rose
n
berg:
c
heck for
i
n
formation leaks fro
m
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
te
r
f
l
ow: tw
e
ak the ->pos setting for fake assig
n
m
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an C
a
rpenter
flow:
w
hitespac
e
chan
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flo
w
: pass co
n
dition
a
ssign
m
ents to clients with ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
r
p
enter
no_effect:
add some more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan
Carpenter
deref_chec
k
: check_deref: p
r
int bot
h
line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
core:
s
et posit
i
o
n e
a
rlier in smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n
C
arpenter
slist
:
preserve the -
>
line value correc
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan
C
arpe
n
ter
overflow
:
p
r
in
t
more h
e
lpful i
n
fo when the data fil
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n Carpenter
gen_array_bounds
:
filter
ou
t
b
o
g
us lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpenter
b
u
f_s
i
ze: silence a gcc
false p
o
sitiv
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Car
p
enter
use PTR_I
N
T() a
n
d
I
NT_PTR() to sile
n
ce cast warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
a
r
pent
e
r
s
l
ist: make alloc_sm_st
a
te() 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 Carpe
n
te
r
c
ore:
clong_sm() sh
o
uld pr
e
se
r
ve the ->lin
e
value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpente
r
update
s
match_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
D
an Carpenter
*ne
w
*
bo
g
us_loops: warn
o
n bogus
for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Ca
r
penter
extra: use
g
et_impli
e
d_value() i
n
stead o
f
get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Da
n
Carpenter
implied: h
a
n
dle a
s
s
i
gnments in
s
ide conditions
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpe
n
ter
overflow: check sprintf() and snprin
t
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
an Carpenter
smatch_flow: fix c
o
m
p
i
l
e
err
o
r ca
u
s
ed
by
upstrea
m
cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Car
p
ent
e
r
o
ve
r
f
low: cut down on f
a
lse
positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan C
a
rpe
n
ter
smatch_d
a
ta: up
d
a
te
f
o
r
3
.
0
k
ernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n Ca
r
pen
t
er
gen_
n
o
_return_funcs: always ke
e
p the d
e
fault no ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan
C
arpenter
I
n
a coupl
e
place the original checked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Da
n
Carpenter
f
l
ow
:
hand
l
e known sw
i
tch
statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*
n
ew* r
e
turn_negative_v
a
r: returnin
g
p
o
sitive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
Carp
e
nter
*new* memse
t
: chec
k
for memset(x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpe
n
t
e
r
Support __builtin_unrea
c
h
able()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Da
n
Carpe
n
ter
o
v
erflo
w
: format_
s
trings: p
u
t
some
v
e
r
bose messa
g
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
buf_si
z
e: put
s
o
m
e guesses behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
a
n Car
p
enter
e
x
tr
a
: ha
n
dle c
o
unt down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpe
n
te
r
add RAW_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Da
n
Carpenter
Merge git://
g
it
.
ker
n
el
.
org/pub/scm/dev
e
l/spar
s
e/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
signe
d
: don't complain a
b
ou
t
putti
n
g 0xff i
n
to
a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking: add _ra
w
_
s
pin_lock_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
D
an Carpenter
introd
u
ce SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*new* c
h
eck_selec
t
: return ret
<
0 ?
:
0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
penter
*new* input_fr
e
e_device: don't cal
l
this after
i
npu
t
_un
r
e
g
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new* check_containe
r
_of: conta
i
ner_o
f
()
doesn'
t
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
n
t
er
create ch
e
ck_lis
t
_local
.
h which is for un
t
racked l
o
cal
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpenter
locki
n
g: _atomic_dec
_
and_
l
o
c
k() is a spin
l
ock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next