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
show_unreachable: format changes fixup
2012-02-01
Dan Carpenter
show_unre
a
chable: format changes fixup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
D
an C
a
r
penter
db: rem
o
ve an unneeded #include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan
C
a
r
penter
tr
e
e wide: chang
e
out
p
ut
forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
r
e
dundant_null_chec
k
: make some variables static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-26
Dan Carpente
r
ext
r
a: unin
i
tialized va
r
iab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
Dan Carpenter
conditions
:
add a
_
_p
a
ss_to_client(
e
xpr,
LO
G
I
C
_
HOOK)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
Dan Ca
r
penter
overflow: don't complain about check
s
after use, i
n
side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpenter
db: don'
t
increm
e
nt the f
u
nc_id too m
u
ch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carp
e
nt
e
r
db: turn
s
ynchronizatio
n
of
f
and use a bigger cache
_
si
z
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-19
Dan Car
p
enter
*new
*
logica
l
_ins
t
ead_of_
b
it
w
ise: places that us
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
smatch*: c
h
eckpatch
.
pl fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan Ca
r
penter
err_p
t
r_deref: handle P
T
R_
R
ET()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
validatio
n
:
r
emove
out
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
core: handle foo
+
=
bar ? 1 : 0
;
expressions differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
extra
:
don
'
t
d
i
scard cast
.
strip_
e
xpr() => strip
_
parens()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carp
e
nter
extra: cleanup: shu
f
fle code arou
n
d
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpente
r
e
xtra: don'
t
r
emove casts, those are
imp
o
r
tant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
debug: fix some
small memor
y
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carp
e
n
ter
l
o
cking: r
e
move some false positive-y func
t
ions with
o
ut
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpen
t
e
r
locking:
a
dd some more
l
ock
n
ame vari
a
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
db: caller info
needs to record
t
he -1 paramete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpente
r
m
a
th: fix
typo in c
o
m
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carpenter
*
n
ew
*
bogus_ir
q
restore: don't
r
esto
r
e irq state before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpen
t
er
*new
*
check_
w
a
i
t_
f
or
_
common: make sure th
e
return is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan C
a
rpenter
type: ad
d
expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpent
e
r
db:
p
as
s
&foo type paramet
e
r informa
t
ion to called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
ma
t
h:
do math fo
r
get_implied_min/ma
x
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpe
n
ter
helper: when displayi
n
g sizeo
f
() information u
s
e b
y
t
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carpenter
capp
e
d: t
r
a
c
k capped v
a
riables across fu
n
ction boundari
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carp
e
nter
deb
u
g: add __s
m
atch_i
m
pli
e
d_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carpenter
m
a
th
:
w
h
ite space
changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
D
a
n Carpenter
db: save functio
n
pointers
saved i
n
arr
a
ys of structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpente
r
d
b/function_pt
r
: clear
t
he
c
or
r
ec
t
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan
Ca
r
penter
db: remove untrusted
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan C
a
r
p
enter
e
x
tra: unops don
'
t
n
ormally ch
a
nge
the value of a varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
D
an
C
arpenter
tiny w
h
i
te space
fixe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpente
r
uncappe
d
_alloc: del
e
te thi
s
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan
C
arp
e
nter
helper:
r
emove bog
u
s parens from
get_v
a
riable_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan Car
p
ent
e
r
update sm
a
t
ch_dat
a
for 3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carp
e
nter
A
l
l
ow che
c
k_d
e
bug
.
h
to be in
c
luded m
o
re than once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpe
n
ter
core
:
add --file-output
v
ar
i
able for m
a
ke -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smatch_ext
r
a
: cle
a
r
o
ut
struct me
m
b
ers if
a th
e
p
ointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpenter
e
xtra: fix cr
a
s
hi
n
g bug
f
rom
l
ast
c
ommit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpe
n
t
e
r
ex
t
r
a: expressions are equivalent even if they a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n Car
p
en
t
er
use
r
_data: use is_capped() fu
n
cti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
ente
r
user_data:
handle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
*n
e
w* sm
a
tch_capp
e
d: introduce is_
c
ap
p
ed() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
D
a
n
C
arpenter
*new* check_
u
ser_data:
r
e
c
o
r
d al
l
the
u
s
er data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
b
u
f_
s
i
z
e: there
w
as a mistake in handling
c
alls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
b
uf_size: record the s
i
z
e
of struc
t
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
enter
extra:
c
l
e
anup:
u
se m
y
_i
d
inste
a
d of
S
MATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
Carpenter
db: wro
n
g
p
a
rameter number
i
n stru
c
t mem
b
er callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
penter
extra:
d
on't print an
e
xtra
$$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: lim
i
t
th
e
number of fu
n
c
tion poi
n
t
er ca
l
ls we chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db, ext
r
a: in
t
r
odu
c
e
a
dd_
m
ember_info_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra,
d
b: record a dummy o
u
tpu
t
for eve
r
y
f
unctio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Da
n
Carpen
t
er
db: use op
t
io
n
_n
o
_
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nter
ext
r
a, db: move some db functions from smatch_extr
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan
C
ar
p
enter
b
u
f_
s
ize: hand
l
e function
p
oint
e
rs as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
an Carpenter
db: follow calls to functions pointers as well as nor
m
al
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan C
a
r
p
ente
r
flow: s
e
t
position for
g
lobal v
a
riables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an Carpenter
signed: allow checks like
:
if (foo < 0
|| foo
> x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carp
e
n
ter
overflow: get rid o
f
"buffe
r
overflow cal
l
in
g
%s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n
Carpe
n
ter
g
e
t
r
id
o
f --print
_
retur
n
s op
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Da
n
Carpen
t
er
extra, db: we have to record every
f
unction cal
l
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Da
n
Carpenter
r
a
nges: i
n
valid ranges d
e
f
a
ult to
t
he whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
signed: don't warn about
unsigned comparisons to macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Ca
r
pen
t
er
extra, db: record the struct member values
in the
d
ata
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
a
n Carpenter
extra: f
i
x 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_untrus
t
ed: fo
l
low untrusted data down
the ca
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
extra: d
o
n't print if the min-max as the
value
passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
rang
e
s: introduce is_whole_ra
n
ge_rl() and
f
i
x
is_whole_
r
ange
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
db:
use the fun
c
t
i
on_id
c
orrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpente
r
fil
l
_db_
c
aller_info:
calculate functi
o
n_id corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpenter
debug: add a __smatch
_
p
o
ssible("variab
l
e") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
u
ncapped_alloc: use _complex(
)
version
o
f get_var
i
able_f
r
om_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
en
t
er
e
x
tra
:
db: pu
t
si
n
gle quotes
a
round the
f
unction name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
a
r
p
e
n
t
e
r
*new*
smatch_scr
i
pts/follo
w
_p
a
rams
.
p
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
hooks: remove some commented out cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
sql:
snpri
n
t
f
() nul terminat
e
s its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: move buf_size to the
new
a
d
d_definition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
db: intro
d
u
c
e
a
d
d_definition_db
_
cal
l
bac
k
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
db: store the values
o
f
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
db
:
make dat
a
base cod
e
usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*new* m
i
n_t() casting th
a
t trun
c
ates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*
ne
w
* rosenberg: check f
o
r informati
o
n
l
e
aks from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carp
e
nter
flow: tweak
t
h
e
->pos setting
f
or fak
e
assignm
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Carp
e
nter
f
low:
whitespace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
enter
flow: pass
c
ondit
i
on
assignm
e
nt
s
to clients with
AS
S
IGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Ca
r
penter
no_eff
e
ct: ad
d
s
o
me more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
deref_che
c
k: check_deref: pr
i
nt both line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
core: set position ear
l
ier in smatch
_
flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Kar
e
l Zak
smatch:
a
dd
-
-data=<di
r
>
opt
i
on
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
slist: pr
e
serve the -
>
lin
e
value correctl
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan C
a
r
p
enter
o
ver
f
low: pr
i
n
t more helpful info when
t
h
e dat
a
file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan C
a
rpe
n
t
e
r
gen_array_bounds:
f
ilter out
bogu
s
lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
buf_siz
e
: s
i
lence a gcc fal
s
e positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpente
r
use PTR_IN
T
() and INT_PTR() to silence
cast warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: make
a
lloc_sm_state() st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: remove
s
o
me
d
ead
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next