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
db_info: remove duplicate implementation of show_ranges()
2012-02-01
Dan Carpenter
d
b
_info: remove
d
u
plicate
implementat
i
on of
s
how_r
a
nge
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
s
how_unreachab
l
e: format ch
a
nges f
i
x
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
db: remove an u
n
needed
#
i
n
clude
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
D
a
n Carpenter
tree wi
d
e
:
change out
p
ut format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
red
u
ndant_null_
c
heck: make some
variables stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-26
Dan Car
p
enter
e
x
tra:
u
nin
i
tial
i
zed variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
Dan
Carpenter
con
d
i
t
ions: add a __pass_t
o
_clie
n
t(expr, LOGIC
_
H
OOK)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
Dan Carp
e
nter
o
v
erflow: don't
c
omplai
n
abou
t
checks after use, in
s
ide
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpenter
db: don't in
c
r
ement the func_id too much
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpenter
d
b
:
t
urn synch
r
onization off a
n
d us
e
a bigger
cach
e
_size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-19
Dan Carpenter
*
n
ew* logical_instead_o
f
_b
i
t
w
ise: places that use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpent
e
r
sma
t
ch*: c
h
eckpatch
.
pl
fi
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Da
n
Carpe
n
ter
err_ptr_deref: handle
PTR_RE
T
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
rpent
e
r
validati
o
n: remove out of date sm_l
o
cking5
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan
C
a
r
penter
co
r
e: handle foo += bar ? 1 : 0; exp
r
ess
i
ons
d
iff
e
rently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
C
arpenter
extra:
don't discard cast
.
strip_expr()
=> str
i
p_parens()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
rpenter
extra: cleanup: shuffle c
o
d
e around
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
penter
e
xtra: don
'
t
rem
o
ve cas
t
s, those a
r
e
i
mportant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carp
e
nter
debug: f
i
x
some s
m
all
m
emory le
a
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
locking:
remove
so
m
e fal
s
e
p
ositive-y functions without
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
locking: ad
d
some mor
e
lock name variations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpe
n
ter
db:
caller in
f
o
needs t
o
reco
r
d the -1 parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan
C
arpenter
m
ath:
fi
x
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
r
estore irq
s
ta
t
e befor
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Da
n
Ca
r
penter
*new* chec
k
_wait_for_common: m
a
ke sure the re
t
urn is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
D
an Car
p
e
nter
type: add expr_unsi
g
ne
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
db: pas
s
&
foo type parameter informa
t
ion
t
o
called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpe
n
ter
m
a
th: do m
a
th for get_imp
l
ied_min/ma
x
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carp
e
nter
helper: when
d
isplay
i
ng
s
ize
o
f() information use b
y
t
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Carpenter
ca
p
ped:
track
ca
p
pe
d
variabl
e
s
ac
r
o
s
s func
t
i
o
n boundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
en
t
er
deb
u
g: add __
s
match_
i
mplied_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
D
a
n Carpenter
math: white spac
e
c
h
anges
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan
C
arpenter
db:
s
ave fun
c
tio
n
poi
n
ters sav
e
d in
a
rrays of s
t
ructs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpent
e
r
db
/
functio
n
_ptr: cl
e
ar the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Car
p
enter
db:
r
emo
v
e untrus
t
ed table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Da
n
C
a
rpenter
e
x
tra: uno
p
s don't normally change th
e
v
alue of a variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
rpen
t
er
tiny white s
p
ace fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
unc
a
p
ped_alloc
:
delete thi
s
chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
rpenter
helper: remove bogu
s
p
a
rens fr
o
m
g
et_va
r
i
able_fro
m
_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan
C
a
rpenter
update smatch_dat
a
for
3
.
2-r
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Da
n
Carpe
n
t
er
Allo
w
check_debug
.
h to b
e
include
d
mo
r
e than
on
c
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Da
n
Carpenter
core: add --file-output var
i
able
f
or m
a
ke -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smatch_e
x
tra:
c
lear
out struct members if a the
p
o
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpenter
extra: fix crashing bug
f
r
om
l
as
t
com
m
it
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extra:
ex
p
ressions are equivalent even if
they are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpenter
use
r
_da
t
a: u
s
e
i
s_capped() fu
n
ct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_d
a
ta: handle
b
i
n
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carp
e
nter
*new* smatch_capped: introduce is
_
capped() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpente
r
*
n
ew* check_use
r
_data: record al
l
the
u
ser data (a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
bu
f
_siz
e
: there was
a
m
i
st
a
k
e
in handling calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
b
u
f_siz
e
: record the size of
s
truct mem
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
C
arpenter
ext
r
a: c
l
ea
n
up
:
u
s
e
m
y_
i
d instead
o
f SMATCH_E
X
TRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
db:
w
r
ong pa
r
ameter number in struc
t
m
ember
callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra: don't
print
an
ext
r
a $
$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: limit the nu
m
ber of funct
i
o
n
pointer calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db, ext
r
a:
introduce add_
m
em
b
er
_
info_ca
l
lb
a
ck(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpente
r
e
x
tra,
db: record
a
dummy outpu
t
for every functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nter
db: use
op
t
ion
_
no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Car
p
e
n
ter
extra, db: move some db functions fr
o
m
smatch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nt
e
r
buf_size: h
a
ndle fun
c
tion pointers
a
s w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpente
r
db
:
follow calls to func
t
io
n
s pointers as well as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flow: set
p
osition for
g
l
o
b
al varia
b
l
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
p
e
n
t
er
signed: allo
w
checks like:
if (foo < 0 || foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpen
t
er
overflo
w
:
g
et r
i
d of "buffer over
f
low
c
alling %
s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Carpe
n
ter
g
e
t rid of -
-
print_returns opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
an C
a
rpe
n
te
r
extra
,
db: we
have to record ev
e
r
y function call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
a
n
C
arpente
r
ranges: invali
d
ranges def
a
ult to th
e
whole
r
ang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
s
i
g
ned:
d
on't wa
r
n about unsigned co
m
p
arisons to macr
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
Carpenter
extr
a
, db: record the struct
member va
l
ues in the databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpe
n
t
er
extra: fi
x
p
a
rsing of values
f
rom db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpente
r
fill_d
b
_untr
u
sted: follow untrusted
d
at
a
dow
n
the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
pe
n
ter
e
x
tr
a
:
d
on't print if t
h
e min-max as the
v
alue pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
ranges: introduce
i
s
_wh
o
le
_
ra
n
ge_rl()
and fi
x
is_whole_
r
ange
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
t
e
r
db: use the fu
n
ctio
n
_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpenter
fill_db_call
e
r_info: cal
c
u
late function
_
id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an
C
arpenter
d
ebug: add a
_
_
s
m
a
tch_possib
l
e("
v
a
riable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
C
arpenter
uncapp
e
d_alloc: use _
c
omplex(
)
ver
s
i
on of get_variabl
e
_fr
o
m_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
extra: db: p
u
t s
i
ngle quote
s
around the function nam
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
*new* smat
c
h_scripts/
f
ollow_param
s
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
ar
p
enter
hooks: remove
some commented ou
t
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
sql:
snprintf() nul terminates its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
e
n
t
e
r
db: move b
u
f
_
s
ize to the new add_definit
i
on
_
db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Ca
r
penter
d
b:
i
n
t
roduce add_def
i
nition_db_callba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
db: st
o
re the values of par
a
meters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpent
e
r
db
:
make database
c
od
e
u
sabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan C
a
rpenter
*n
e
w* min_t() c
a
sting that truncates the val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*
new* ros
e
nbe
r
g
: check for
i
nfo
r
ma
t
ion leaks from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
pente
r
flow: tweak the
->p
o
s setting for fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
f
lo
w
: whites
p
ac
e
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
te
r
flow:
p
as
s
co
n
diti
o
n assignments to
c
lients wi
t
h ASS
I
GNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_effect: a
d
d some
m
o
r
e t
e
sts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
d
eref_check: ch
e
ck_deref: print both line numb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
core: set
p
osition ear
l
ier in s
m
atch_fl
o
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
slist: preserve the ->lin
e
value co
r
rectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Da
n
Carpenter
overflow: prin
t
more helpful in
f
o when the dat
a
fi
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
gen_array_b
o
u
n
ds:
filter o
u
t bogus
l
ines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
C
arpenter
buf_size: silence a
gcc f
a
l
s
e posi
t
iv
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpenter
us
e
PT
R
_INT() and INT_PTR() to silence cast
w
ar
n
ings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Carpenter
s
list
:
make
alloc_sm
_
st
a
te() s
t
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: remov
e
so
m
e dead
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next