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
s
how_
u
nreachable: for
m
a
t
change
s
fixup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan
C
a
r
pe
n
t
er
db: remo
v
e
a
n unneede
d
#include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carp
e
nter
tree wid
e
:
c
hange o
u
tput forma
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Car
p
en
t
er
r
edundant_null_
c
heck:
m
ake some va
r
iab
l
es st
a
ti
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-26
D
a
n Ca
r
penter
extra: uninitialized variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Dan Ca
r
penter
condi
t
ion
s
: add a __pa
s
s_to_client(expr,
LOGIC_HOOK)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Dan Carpent
e
r
overflow: don't compl
a
in about che
c
ks after use,
in
s
i
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan
Carpenter
db: don'
t
i
n
crement the func
_
id too much
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpenter
db: tu
r
n sync
h
r
o
ni
z
atio
n
o
f
f a
n
d use
a bigger c
a
che_s
i
z
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-19
Da
n
Carpenter
*ne
w
* logical_inst
e
a
d
_of
_
bitwise: p
l
a
ces that use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
D
a
n Carpen
t
e
r
smat
c
h*: chec
k
patch
.
pl
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan C
a
rpenter
err_ptr_deref: handle PTR_RET()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Carpenter
valid
a
t
i
on: remove out of da
t
e sm_locking5
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpenter
core:
ha
n
d
le foo +=
ba
r
? 1 : 0
;
express
i
on
s
di
f
fer
e
nt
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpente
r
extr
a
: don't discard
cast
.
s
trip_expr
(
)
=
>
str
i
p
_
parens()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n Ca
r
penter
extra: cleanup: shuffle code around
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
penter
extra: don't remove casts, those a
r
e impor
t
ant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
debug: fi
x
some small me
m
ory
le
a
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
C
arpenter
locking: remo
v
e
s
ome fal
s
e
pos
i
tiv
e
-y functio
n
s withou
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
lockin
g
: add some mor
e
l
ock name
variations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carp
e
nter
d
b: call
e
r info needs to r
e
cord the -1 parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpente
r
m
a
th: fix typo i
n
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carpen
t
er
*new* bogus_irqresto
r
e: don't res
t
ore irq state be
f
ore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan Car
p
enter
*
n
ew* check_wa
i
t_
f
or_common
:
make su
r
e
t
he ret
u
rn is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan C
a
rpen
t
er
type:
add expr_u
n
s
i
gned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
an
C
a
r
p
e
nte
r
db
:
pa
s
s
&
foo type p
a
rameter infor
m
atio
n
to calle
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Ca
r
penter
math:
do ma
t
h
for
get_
i
mplied_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Ca
r
p
enter
he
l
per: when displaying sizeof() i
n
for
m
ation use bytes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
an C
a
r
penter
c
a
p
ped: trac
k
c
apped variables across functi
o
n bounda
r
ie
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Carpenter
d
e
b
ug: add __smatch_implied_min/ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Dan Ca
r
p
e
nter
m
a
t
h
: w
h
ite space
c
hanges
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan Ca
r
pe
n
ter
db
:
save function
pointer
s
saved in arrays of st
r
u
c
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Ca
r
pente
r
db/f
u
nct
i
on_ptr: clear the co
r
rect table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan
C
arpen
t
er
db: remove untrust
e
d
tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carp
e
nt
e
r
extr
a
: unops don't
normally ch
a
n
ge the v
a
l
u
e o
f
a v
a
riable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan
Carpenter
tiny wh
i
t
e space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan
Ca
r
p
e
n
ter
uncapped_all
o
c:
d
elete this chec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
D
a
n Carpente
r
help
e
r: remove bogus pare
n
s from get_variable_from_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan C
a
rpent
e
r
u
p
date sma
t
ch_dat
a
for 3
.
2
-
r
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
D
a
n
C
arpenter
A
l
low check_debug
.
h to
be included more than on
c
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
D
a
n
Carpenter
core:
add --file-output
v
ariable
f
o
r make
-
j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smatch_extra: clear out struct m
e
mbers if a
t
he p
o
int
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpenter
extra: fix crashin
g
bug from las
t
commi
t
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extra: ex
p
res
s
i
ons are equ
i
valent
even if
t
h
e
y are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpenter
user_data: use is_capped() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carpenter
user_dat
a
:
h
a
ndle binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpent
e
r
*
ne
w
* smatch_capped: introduc
e
is_cappe
d
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan
C
arpenter
*new* chec
k
_user
_
data: reco
r
d a
l
l
t
h
e user data (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carpenter
buf_si
z
e: there was a m
i
s
take in handling calls t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
buf
_
size: record the size of s
t
ruc
t
m
e
mbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carp
e
nter
e
xtra:
cleanup: use my_id
i
n
s
t
ead of
S
MATCH_EXTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
db: wrong
p
arameter nu
m
ber in struct
member callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carp
e
nter
e
x
tra
:
do
n
't
p
r
int an extra
$$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
d
b
:
l
im
i
t t
h
e n
u
m
b
er of function
pointe
r
calls
w
e
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db, extra: introduce add_membe
r
_
info_
c
allback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpen
t
er
extr
a
, db: record a dummy out
p
ut for every function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
db: use option_no_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan C
a
rp
e
nter
e
x
tra,
d
b:
move
s
ome db functi
o
ns from smatch_ext
r
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
buf_size: han
d
l
e
function
pointers as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Da
n
Carpenter
db: fol
l
ow calls to functions pointers as well a
s
normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n
Carpenter
flo
w
: se
t
p
os
i
tion f
o
r glo
b
al var
i
ables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan
Carpen
t
er
signed:
a
llow checks like: if (foo <
0 || foo > x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
overflow: get rid of "buffer
overflow calling %s
.
param
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan
Carpenter
get
r
id
of --print_returns
o
ption
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
D
an Carpenter
extr
a
,
db:
w
e
have to record every function call in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan
Carpe
n
te
r
ranges: invalid ranges de
f
a
ult to the whole
r
a
nge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
sign
e
d: don't wa
r
n abou
t
unsigne
d
comparisons to
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra, db: record the
str
u
ct member values in
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
D
a
n Carpenter
e
xtra: f
i
x p
a
rsing of values from d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db_
u
ntrusted: follow untrus
t
ed d
a
ta down the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
e
x
tra:
d
on't print
if th
e
min-max a
s
the valu
e
passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
ranges: i
n
t
roduce is_whole_ra
n
ge_rl() and
f
ix is_
w
hole_r
a
nge
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
db:
us
e
the
f
uncti
o
n_
i
d co
r
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arpe
n
t
er
f
i
ll_db_ca
l
ler_info: calculat
e
f
u
nction
_
id c
o
rre
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debug: add a __sma
t
ch_possible
(
"varia
b
le
"
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpe
n
ter
uncapped_alloc: use _compl
e
x() version
of get_variab
l
e_f
r
om_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
extra: db: put
single
q
uotes
around the f
u
n
ction name
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
*
n
ew* smatc
h
_sc
r
ipts/
f
ol
l
ow_params
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
hooks: remo
v
e
s
ome comment
e
d out
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
an
C
arpenter
sql: snprintf
(
)
n
ul
t
e
rmina
t
e
s
its
strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
t
e
r
db: m
o
ve
bu
f
_size
t
o
the n
e
w add_definition_db_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
db:
introduce
add_definition_
d
b
_
callback(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
db:
sto
r
e
the val
u
es of param
e
te
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carp
e
nter
db: make dat
a
base code us
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan
C
a
rpente
r
*new* min_t() casting that truncates the va
l
ues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
D
a
n Carpenter
*n
e
w* rosenberg: check for information
leaks from
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: tweak the ->pos sett
i
n
g
for fake a
s
s
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
ente
r
flow:
whitespace cha
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
flo
w
: p
a
ss cond
i
ti
o
n assign
m
ents to clie
n
ts with ASSIGNMENT
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Carp
e
nter
no_effect: add
s
ome more te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree