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
Dan
Carpenter
overfl
o
w: don't complai
n
about checks after use, in
s
ide
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Ca
r
pen
t
er
d
b: don't increment the
f
unc
_
id too much
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpente
r
db: turn
synchronization off and use a bigger cache_siz
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-19
D
an
Car
p
enter
*new* logical
_
i
n
stead_of_bitwise: places th
a
t us
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
sm
a
tch*:
c
h
e
ckpatch
.
pl fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
err
_
ptr_deref: h
a
ndle
P
TR
_
RET()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
rp
e
nter
validatio
n
: remove
o
ut
o
f date sm
_
locking5
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
c
ore: handle fo
o
+= bar ?
1 : 0;
ex
p
ress
i
ons differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
D
an Carp
e
nter
extr
a
:
do
n
't discard c
a
st
.
stri
p
_
expr() => strip_parens()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
e
n
ter
extra: cleanup: s
h
uff
l
e code around
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpe
n
ter
extra: don't r
e
m
ove
c
a
sts,
those are important
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
de
b
u
g
:
f
ix some small memory leak
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpente
r
l
o
cking
:
r
e
mo
v
e some false positive
-
y functions without
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
rp
e
nt
e
r
lo
c
ki
n
g
: add some mor
e
l
ock name
v
aria
t
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
D
an Carpenter
db: call
e
r
info needs to record the -1 p
a
rameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
math
:
fix typo in comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carpenter
*new* bogus_irqrestore: don't restore irq s
t
ate before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan
C
arpenter
*new* c
h
eck_w
a
it_for_comm
o
n: ma
k
e sure the
return is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
type:
a
dd
e
x
pr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpe
n
ter
db: pas
s
&f
o
o
type parame
t
er in
f
orma
t
i
o
n to called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
an Carpenter
math:
d
o mat
h
for get_implied_mi
n
/m
a
x(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
C
a
r
penter
helpe
r
:
when disp
l
ay
i
ng sizeof() information use
bytes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
an Car
p
e
n
ter
cappe
d
: tra
c
k capped var
i
ables acros
s
function b
o
undarie
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpent
e
r
debug: add __sma
t
ch_implied_m
i
n/
m
ax()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carpenter
ma
t
h:
white space change
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
D
a
n
C
arpent
e
r
db:
s
av
e
f
u
nction
p
o
i
nters saved in arrays of struct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Da
n
Carpenter
db
/
fun
c
tion_ptr: c
l
ear the correct tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db: r
e
m
o
ve untr
u
sted
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpent
e
r
extra
:
unops don't normall
y
ch
a
n
g
e
the v
a
lue
of a
v
ari
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
t
i
n
y white
s
pace fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Da
n
Ca
r
p
enter
uncapped_alloc:
delete this ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
helper: remove
b
o
gu
s
parens fro
m
get_variable_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carpenter
update sm
a
tch_
d
ata f
o
r 3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
D
a
n Carp
e
nter
Allow ch
e
ck_debug
.
h
t
o be inc
l
u
d
ed more than once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan
C
a
rpenter
core: a
d
d --file-
o
utp
u
t variabl
e
for make -
j
8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
D
an
Ca
r
p
e
nter
smatch_extra: cle
a
r
o
u
t
stru
c
t
membe
r
s 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
extra: fix cras
h
ing bug from last commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extra:
e
x
pressio
n
s
a
re equivale
n
t even if th
e
y are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_data: use is_ca
p
ped(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carpenter
u
s
er_data:
h
a
ndle
b
inops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carpenter
*ne
w
* smatch_capped: introd
u
c
e
is
_
capped() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan C
a
rpenter
*new* check_user_data: record all t
h
e user
d
ata (
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_siz
e
: t
h
ere
was a mist
a
ke in han
d
ling calls
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
enter
buf_size: record th
e
s
i
ze of struct
me
m
be
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpent
e
r
extra: clea
n
up: use my_id instead of SMATCH
_
EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: wrong parame
t
er
n
u
mbe
r
in
s
tru
c
t
mem
b
er callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
ext
r
a: don't print an
ext
r
a
$$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
penter
d
b: lim
i
t
t
he nu
m
b
e
r of function pointer
calls we c
h
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n
Carpe
n
ter
db, extra: introduce add_member_info
_
callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpe
n
ter
e
xtra, db:
r
e
cord a dummy out
p
u
t for every fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
db: us
e
option_
n
o_
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
an Car
p
enter
e
xt
r
a
,
db: move some
db functions from smatch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nter
buf_
s
ize: handle
f
unctio
n
pointers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n
Carpenter
db: follow ca
l
ls
to functions
pointers
as
w
el
l
as
norm
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan C
a
rpenter
f
low: set posit
i
o
n
f
o
r global
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpent
e
r
si
g
ned: all
o
w che
c
ks like
:
if (
f
oo < 0 || fo
o
> x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
penter
overflow: get
r
i
d
o
f
"b
u
ffer
o
verflow calling
%
s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an Carpenter
get
r
id o
f
--print_return
s
op
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
an
C
arpenter
extra, db: we
have to recor
d
every fu
n
ction call
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpe
n
te
r
ran
g
es: invalid ranges d
e
fault to the whol
e
range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
Carp
e
nt
e
r
signed:
d
on't warn abo
u
t unsigned compar
i
s
ons t
o
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra, d
b
:
r
ec
o
r
d
the struct
m
em
b
e
r
valu
e
s in the databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extr
a
: fi
x
p
a
rsing
of values from
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Ca
r
penter
fill_db_un
t
r
usted: follo
w
u
ntrusted
data
d
own the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpe
n
ter
extra: don
'
t print
if the min-max
a
s th
e
valu
e
pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpenter
ranges: introduce is_wh
o
le_range_rl() and
fix is_whole_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
db:
u
s
e
the function_i
d
corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpen
t
er
fil
l
_db
_
caller_info: calculate func
t
ion_id co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arpenter
debug: add
a __sm
a
tch_
p
ossible("variable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_all
o
c: use _complex
(
) version of get_vari
a
ble_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
extra: db: put single quote
s
around the function name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
*
n
ew*
s
m
atch_script
s
/follow_pa
r
a
ms
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpenter
h
o
oks: remov
e
some c
o
mmented out
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpenter
sql
:
snprintf() nul terminat
e
s its
s
trings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
db: m
o
ve buf
_
size to the new add_d
e
fi
n
ition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
r
penter
db
:
int
r
oduce
a
d
d
_defini
t
ion_db_ca
l
lback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpe
n
ter
db:
stor
e
the v
a
lues of parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
db: make da
t
abas
e
code
u
s
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
an Ca
r
penter
*new* mi
n
_t() casting that trun
c
ates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan
Carpen
t
er
*n
e
w* ros
e
nbe
r
g
: check for information leaks fro
m
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow
:
tweak the ->pos setting fo
r
fake as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
f
low: whi
t
espace chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow
:
pass
c
ondition assignments to c
l
ients with ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_effec
t
: add some more t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carp
e
n
ter
de
r
ef_check:
c
heck_deref:
p
r
int b
o
t
h line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
core
:
set positi
o
n e
a
rlier in sma
t
ch_flo
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an
C
a
rpente
r
slist: preserve t
h
e ->line value
c
orrectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpente
r
overfl
o
w
:
print more hel
p
ful i
n
fo
when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
gen_array_bo
u
nds:
fil
t
er out bo
g
us
l
ines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
Carpenter
buf_size: silence a g
c
c
false pos
i
tive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
C
arpenter
use PTR_IN
T
()
a
n
d
INT_PTR() t
o
silence cast
warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carp
e
nter
slist: ma
k
e alloc
_
sm_state
(
) static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
arpen
t
e
r
slis
t
: rem
o
ve
s
ome
d
ead cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpente
r
cor
e
: clong_sm
(
)
s
hould pre
s
e
rv
e
th
e
->line v
a
lue
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpente
r
upd
a
te smatch_
d
ata/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Da
n
Carpente
r
*
n
ew* bo
g
us_l
o
ops:
warn on bogus f
o
r loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
extra: u
s
e get_implied_value()
instead of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan
C
a
r
penter
implied: han
d
l
e assignments inside
c
onditions bett
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Car
p
enter
overflow: check s
p
r
intf() an
d
snprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n Carp
e
nter
smatch_
f
low: fix compi
l
e error caus
e
d
b
y
upstream c
h
an
g
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next