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
fill_db_function_ptr: fixup formatting changes fallout
2012-02-02
Dan Carpente
r
fill_db_function_ptr: f
i
xup formatting changes fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
db
_
info: we
don't c
a
re abo
u
t
voi
d
returns for
n
ow
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan
Carp
e
nter
db_info: r
e
mo
v
e duplicate implementation
o
f
s
how
_
ran
g
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpen
t
e
r
show_
u
nreachabl
e
: for
m
at ch
a
nges fixup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Car
p
enter
db: remo
v
e an u
n
needed
#
include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Car
p
ente
r
t
ree
w
ide: cha
n
ge o
u
tput f
o
rmat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
redundant_null_check: ma
k
e some variables
stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-26
D
an
Carpenter
ex
t
r
a: uninitializ
e
d vari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Dan Carp
e
nt
e
r
condi
t
ions: add a __pass
_
to
_
client(expr
,
LOGIC
_
HOOK)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Dan Car
p
enter
overflow: don't
complain ab
o
ut checks after
use, in
s
ide
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
D
a
n
C
a
rpe
n
ter
d
b
: don't i
n
creme
n
t the
f
u
nc_id to
o
much
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpen
t
er
d
b
:
t
ur
n
synchronizatio
n
off
a
n
d use
a
bi
g
ger cache_size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-19
Dan Carpen
t
er
*n
e
w* logical_instea
d
_of_bitwise: places t
h
at use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
smat
c
h
*
:
c
heckpat
c
h
.
p
l fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
err_ptr_d
e
ref: handle PTR_RET()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
C
arpenter
v
a
l
idation:
r
e
m
ove o
u
t of date sm_lock
i
n
g
5
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n Car
p
e
n
ter
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 discard cast
.
strip_
e
xpr() => strip_
p
arens()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
extr
a
: cleanu
p
:
shuffle code around
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
r
p
e
nte
r
extra:
don
'
t rem
o
v
e
casts, those are imp
o
rtant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
C
arpenter
debu
g
: fix some sm
a
ll memory l
e
aks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
locki
n
g: remove some fal
s
e posi
t
ive-y funct
i
o
n
s without
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpente
r
l
o
c
k
ing: add some
m
ore lock name var
i
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
db: c
a
ller
info needs to record the
-
1 param
e
t
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Da
n
Carpenter
math: fix typo in
c
o
mment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carp
e
nter
*new* bogus_
i
rqres
t
ore:
d
on't restore irq state b
e
fo
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Da
n
Carpente
r
*new* chec
k
_wait_for_com
m
on: ma
k
e sure t
h
e return is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
D
a
n
Car
p
ent
e
r
type: a
d
d
expr_u
n
sign
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
db: pass
&
foo type
p
a
r
amete
r
info
r
matio
n
to called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
math:
do math for
get
_
imp
l
ied_m
i
n/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan C
a
rpen
t
er
help
e
r: when displaying sizeof()
information use by
t
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
ente
r
ca
p
ped:
track c
a
pped variab
l
es across func
t
i
on boundari
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Carpenter
debug: add __smatch_imp
l
ied_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Dan
C
arpen
t
er
math: wh
i
t
e
space changes
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpente
r
d
b
:
s
a
ve function
p
oi
n
ters s
a
ve
d
in
a
rrays o
f
stru
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
d
b/
f
unction_ptr: clear the co
r
rect table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db: r
e
move untrusted table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Ca
r
penter
extra: unops do
n
't normally change the val
u
e of a
v
ari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan
Carpenter
tiny white space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
D
a
n
C
arpenter
uncap
p
ed
_
all
o
c: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan
Carpenter
helper: remove bogus parens from get_variable_f
r
om_
e
xpr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
D
a
n Carp
e
nter
up
d
ate
s
mat
c
h_da
t
a for
3
.
2-rc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allow
che
c
k_
d
ebug
.
h t
o
b
e
inclu
d
ed more
than o
n
ce
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpe
n
t
e
r
c
o
re: a
d
d
--fi
l
e
-
output
var
i
a
ble for
m
ake -j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Car
p
enter
s
m
at
c
h_e
x
tra:
c
le
a
r ou
t
struct members if a th
e
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
D
an Car
p
e
n
ter
extr
a
: fix crashing
b
ug from last c
o
mmit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
e
nte
r
extra: expressions are eq
u
ivalent eve
n
if the
y
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Ca
r
penter
user_data: use i
s
_c
a
p
ped() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carpente
r
user_data: handl
e
binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpente
r
*ne
w
* s
m
atc
h
_capped: introduce is_capped
(
) fun
c
tio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan Car
p
enter
*
new* c
h
eck_user_data
:
rec
o
rd all t
h
e us
e
r dat
a
(
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
t
e
r
buf_size: t
h
ere was a
mistak
e
in handling calls t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpente
r
b
u
f_size: record the
s
ize of struct membe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n C
a
rp
e
nter
extra: cleanup: use my_id ins
t
ead of SMATCH_EXTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
d
b
:
wrong para
m
eter numbe
r
in struct member ca
l
l
back
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
e
x
tra
:
don'
t
print an extra $$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpenter
db: lim
i
t
t
he number of
f
unction
pointer calls we
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
C
a
rpente
r
db, extra: int
r
oduce add_member_info_callbac
k
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n Carpenter
extra
,
db: reco
r
d a du
m
my
o
u
t
put for ever
y
functio
n
.
.
.
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
r
pen
t
er
ex
t
ra, db:
move
some db function
s
f
rom
s
match_extr
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpe
n
ter
buf_siz
e
: handle function pointers as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpent
e
r
db:
f
oll
o
w
c
a
lls
t
o fun
c
tions
p
ointers
a
s
well as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flow: set position for glo
b
al varia
b
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpen
t
e
r
signed:
a
llow che
c
ks lik
e
:
i
f (fo
o
<
0 |
|
foo > x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n
Carpenter
overflow
:
get ri
d
of "buffer ov
e
rflow callin
g
%
s
.
par
a
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carp
e
nter
get ri
d
of --prin
t
_
returns op
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpen
t
er
ext
r
a
, db:
w
e have
t
o rec
o
r
d every
fun
c
tio
n
c
a
ll in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Ca
r
penter
ranges: invalid
ranges defaul
t
to t
h
e
who
l
e range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
signed: do
n
't warn ab
o
ut unsigned
c
ompa
r
i
s
ons to
m
acro
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpe
n
t
e
r
extra, db:
re
c
or
d
t
h
e
s
t
ruct
m
ember values in t
h
e
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
e
n
ter
extra: fix pa
r
sing of values from db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpente
r
fill_db_untrusted: fol
l
ow untru
s
ted
data down the call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpenter
extra: don't print if t
h
e min
-
max as the value
passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
ranges: introdu
c
e is_whole_
r
ange_rl() and fix
is
_
whole_
r
ange
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
enter
db:
use the fu
n
ction_id corr
e
ct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpen
t
er
fill
_
db_caller_i
n
fo: calc
u
l
ate fu
n
ction
_
i
d correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debug: add
a
__smat
c
h_possi
b
le("variable") fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpente
r
uncapped_alloc: us
e
_complex()
v
ers
i
on of get_variable_
f
rom_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
extra:
d
b: put si
n
gle quotes around th
e
f
unct
i
on
n
ame
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpe
n
ter
*new* smatch_scrip
t
s/follow_param
s
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
p
e
nter
h
ooks
:
r
emove
some commented
out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
C
a
r
p
e
n
ter
sq
l
:
s
nprintf
(
) nul ter
m
inates its strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carp
e
nter
d
b: move buf_s
i
ze
to
t
he new add
_
definition
_
db_call
b
ack()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
db: intr
o
duce a
d
d_defi
n
it
i
on_db_callback
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpenter
db: store the values of
p
ara
m
et
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpenter
db: make database
code usable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan Ca
r
p
ente
r
*new* min_t
(
)
c
astin
g
that
t
runcates the values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Dan C
a
rpenter
*new* rosenberg: check
for
inform
a
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 -
>
pos setting for fak
e
assi
g
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carp
e
nter
flow: whitespace changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpent
e
r
flow: pass c
o
ndition assignments to clients wit
h
ASSIGNME
N
T_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Ca
r
pen
t
er
no_effect: add
some more tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree