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
overflow: don't complain about checks after use, inside a macro
2012-01-25
D
an Carpente
r
overf
l
ow
:
don
'
t complain about checks after use
,
inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Car
p
e
nter
db: don't incr
e
ment the fun
c
_id too
mu
c
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpente
r
db: turn
s
ynchronizat
i
on off
and use a bigger c
a
che_s
i
ze
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-19
Da
n
Carp
e
nter
*new*
logical_ins
t
e
ad_of_bitwise: place
s
that us
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Da
n
Carpenter
s
match*: checkp
a
tch
.
pl fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan
C
arpenter
err_ptr_dere
f
: hand
l
e
PTR_RE
T
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
validation: re
m
ove
o
u
t
of
date sm_lo
c
king5
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
rpenter
core
:
handle foo += b
a
r
? 1
: 0; expressi
o
ns differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpente
r
extra: don't discard cast
.
strip_expr() => stri
p
_parens()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
extra: cleanup: shuffle code around
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
r
p
e
nter
extra: don't remove casts, t
h
ose are impo
r
t
a
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
debug: fix
some
s
mall
m
em
o
ry leak
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
l
ocking: remove some false
pos
i
tive-y f
u
nctions without
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpen
t
er
locking:
a
dd some mo
r
e loc
k
na
m
e var
i
at
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
D
an Car
p
enter
db: call
e
r info need
s
to record the -1 paramet
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
D
an Carpenter
math
:
fix t
y
po in commen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Da
n
C
a
r
p
ent
e
r
*new* b
o
gus
_
irqrestor
e
:
d
on't re
s
t
or
e
i
rq state before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
D
a
n
Ca
r
p
enter
*new* chec
k
_wai
t
_for_common
:
make
s
ure
the
re
t
urn
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Ca
r
penter
type: add expr_unsi
g
ne
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carp
e
nter
db: pass &foo type parameter
inf
o
r
m
ation to called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carp
e
n
t
e
r
math: do math
f
o
r get_i
m
plied_
m
in/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carp
e
n
ter
hel
p
er: when
d
isplay
i
ng
s
izeof()
i
n
f
o
r
mation u
s
e byt
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Ca
r
p
e
nter
capped:
t
rack capped
v
ariables
across fun
c
tion bounda
r
ies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
debug:
a
dd
_
_smatc
h
_
im
p
lied_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carp
e
n
ter
math: white spac
e
changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
D
a
n Car
p
enter
d
b:
save
f
unction pointers save
d
in a
r
rays
of structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
D
a
n
C
arpenter
db/function_p
t
r: clear the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db: remove untru
s
t
e
d table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan
Carpente
r
ex
t
ra
:
uno
p
s don't normally c
h
ange
the va
l
ue
o
f
a variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpente
r
tiny w
h
ite
s
pa
c
e
f
i
x
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Ca
r
penter
un
c
apped_alloc: delete th
i
s check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan
Carp
e
n
t
e
r
h
elp
e
r: remove bog
u
s
parens f
r
om ge
t
_variable_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Da
n
Carpenter
update smatch_data for 3
.
2-r
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan
C
arpent
e
r
All
o
w
c
hec
k
_de
b
u
g
.
h to be included
m
ore than
once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Car
p
e
n
te
r
core: a
d
d
--file-output variable
f
o
r
make -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carp
e
nter
smatch_extra: c
l
ear o
u
t struct members if a the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Ca
r
penter
extra:
f
ix
c
rashing bug from last commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
e
n
t
er
e
x
tra: exp
r
essio
n
s
are equivalent
e
v
e
n
if th
e
y
ar
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_data:
u
s
e
is_capped(
)
f
u
ncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_data: handle bin
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
*new* s
m
atch_capped:
i
n
troduce is_capped() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpenter
*new* check
_
us
e
r_data: recor
d
all
t
he user data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arpenter
b
u
f_size: the
r
e was a m
i
stake in handlin
g
c
a
ll
s
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_s
i
ze: record th
e
size
o
f
stru
c
t
m
em
b
er
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arpe
n
ter
e
x
t
ra:
cleanup:
us
e
my_id inste
a
d of
S
MAT
C
H_E
X
TRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpent
e
r
db: wrong paramet
e
r
n
u
mber in s
t
ruct member ca
l
lback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra: don'
t
p
r
int an
extra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
ar
p
enter
db: limit the number of
function
p
o
i
nter calls
w
e
c
hec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
db,
e
x
tra: introdu
c
e add_
m
ember_inf
o
_callba
c
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan
Carpenter
extra, d
b
:
r
e
co
r
d a du
m
my
ou
t
put fo
r
every function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
db:
u
se option_
n
o_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
e
x
tra, db: move som
e
db functions fr
o
m smatch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan
Carpenter
buf
_
size
:
h
a
ndle function
pointers
as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Car
p
ent
e
r
db
:
follow calls
to
f
unct
i
ons
p
ointe
r
s
as wel
l
as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flow: set po
s
i
t
ion for g
l
obal var
i
abl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Carpe
n
ter
sig
n
ed:
a
llow ch
e
c
ks
like: if (foo <
0 |
|
foo
>
x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Carpenter
overflow: get
r
id of "buffer overflow call
i
ng %s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpenter
get rid of
-
-
pri
n
t
_
returns option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpe
n
t
er
e
x
tra, db: we
h
a
ve to r
e
cord ev
e
ry function call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpent
e
r
ranges:
i
n
v
a
lid ranges default to the whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
C
arp
e
nt
e
r
s
igned: don't warn ab
o
ut
unsigned comparisons t
o
m
acro
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan C
a
r
penter
extra, db: r
e
cord the struct member val
u
es
i
n the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
Ca
r
pe
n
t
e
r
extra: fix p
a
rsing of
v
alues from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpe
n
t
er
fill_db_
u
n
truste
d
:
f
ol
l
ow
untr
u
sted data
do
w
n
the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
extra: don't print
if the min-max
as t
h
e value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpenter
ranges: introduce is_whole
_
range_rl
(
) and fix is_who
l
e_
r
a
n
ge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpen
t
er
db: use the function_i
d
correc
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpenter
fill_db_c
a
lle
r
_info: calc
u
late function
_
id corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debug: add a __smatch_possi
b
le("var
i
a
bl
e
") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncappe
d
_alloc: use _c
o
mplex
(
) version of get_variable_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
extra: db:
p
ut single qu
o
tes aroun
d
the
f
unction name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
*new*
smatch_scripts/fo
l
l
o
w_pa
r
a
ms
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpe
n
t
e
r
hooks: remove some c
o
mmented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
sql:
s
npr
i
ntf(
)
nul terminates
i
t
s strin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Car
p
enter
db: move buf
_
size to
the new add_d
e
finition_db_call
b
ack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nt
e
r
db: introduce
add_definition_
d
b_call
b
ack(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Ca
r
penter
db: store the values of
p
aramete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
db:
m
ake datab
a
se
c
ode usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan
C
arpent
e
r
*new
*
min_t()
c
asting that trunc
a
tes the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*new*
rosen
b
erg: ch
e
ck for inform
a
t
ion leak
s
from
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
Carpenter
flo
w
: tweak the -
>
pos se
t
ting for fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n
Carpenter
flow:
w
h
itespace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: pas
s
condition
assignments to clients wit
h
A
SSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_effect:
a
dd
so
m
e more
t
e
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Da
n
Carpen
t
er
der
e
f_c
h
eck:
ch
e
ck
_
dere
f
:
p
rin
t
both lin
e
numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carp
e
nter
core
:
s
et pos
i
t
i
on
earli
e
r in smat
c
h
_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Kar
e
l Zak
smatch:
a
dd --data=<dir>
o
ption
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpen
t
er
sli
s
t: preserve the
-
>line v
a
lu
e
correc
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
overflow:
p
rint more helpful
info
when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Ca
r
pen
t
er
gen_array_bounds: filter out bog
u
s
l
ine
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
Carpenter
buf_size: silence
a
gcc false
pos
i
tive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
use
PTR
_
INT() a
n
d
I
NT_PTR() to silenc
e
cast w
a
rn
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Car
p
enter
slist: m
a
ke alloc_
s
m
_state()
st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan C
a
rpenter
slist:
r
emove some dead c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
Carpenter
c
o
r
e: clon
g
_sm() should
pre
s
erve the ->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n
Car
p
en
t
er
update sm
a
tch_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carp
e
n
te
r
*new* bogus_loops: warn o
n
bogus for
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
D
a
n Carpenter
ex
t
ra: us
e
get_im
p
lied_v
a
lue
(
) instead of get_val
u
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan
Carpenter
implied: handle assignments i
n
side conditions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Ca
r
p
e
nte
r
ove
r
fl
o
w: check spri
n
tf()
an
d
snpri
n
t
f()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next