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
extra: uninitialized variable
2012-01-26
Dan Carpenter
extra: unin
i
t
i
aliz
e
d variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Da
n
C
arpente
r
conditions:
a
dd a __pass_to_
c
lie
n
t
(
expr, LOGIC_HO
O
K)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Dan Carpe
n
t
er
overfl
o
w:
d
on't comp
l
ain
about
c
h
ecks after use, inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
D
a
n Carp
e
nt
e
r
db: don't i
n
cre
m
ent the
f
unc_
i
d to
o
much
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpenter
d
b: turn synchronization off and use
a
bi
g
ger cache_size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-19
Dan Ca
r
penter
*n
e
w* logical_instead_o
f
_b
i
twise: 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 fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
err_ptr_deref: ha
n
dle PTR
_
R
E
T(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
validation: remove out of date sm_lo
c
king5
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Car
p
enter
core
:
ha
n
dle f
o
o += bar ? 1 : 0; expressions di
f
fe
r
e
ntly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpen
t
e
r
extra:
d
o
n
't disca
r
d
c
a
st
.
strip_expr() => strip
_
parens()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpenter
extra:
c
leanup: shuffle code around
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpen
t
er
extra: don't
remove casts, those are i
m
portant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
e
n
t
er
deb
u
g: fix
s
ome small memor
y
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
locking:
remove some fals
e
positive-y functions
w
itho
u
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
an C
a
rpen
t
er
locking: add some
more lock name variatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
D
an
Carpenter
db: caller
i
nfo need
s
to record t
h
e
-1
p
arameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Da
n
Carpent
e
r
math: fix typo in comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carpenter
*
n
ew* bo
g
us_irqrest
o
re:
d
on
'
t resto
r
e irq st
a
te before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
*ne
w
*
check_wait_for_c
o
mm
o
n: make sure the
return is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
D
a
n Carpente
r
ty
p
e: add expr
_
unsigned(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpente
r
db:
pass
&
foo type paramete
r
informa
t
io
n
to ca
l
led
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Carpenter
m
a
th: do
m
a
t
h
for get_implied_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carp
e
nter
helpe
r
: when displaying si
z
eof() in
f
ormation use bytes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
an Carpenter
capped: track
c
apped varia
b
les a
c
ros
s
function boun
d
aries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan C
a
rpen
t
e
r
d
ebug: add __smatch_implied
_
min
/
m
ax(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Dan
C
arpent
e
r
math: whi
t
e space
ch
a
nges
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
D
an Carpenter
db: save
f
u
nctio
n
p
o
i
nters sav
e
d in arrays of st
r
ucts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
D
an C
a
rpente
r
db
/
fu
n
ction_ptr: clear the correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Ca
r
pen
t
er
d
b
: r
e
move untrusted tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpenter
extra: unops don't norma
l
ly ch
a
nge the value of a v
a
ria
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
t
iny w
h
ite space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
uncapped_alloc:
d
e
lete thi
s
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpen
t
er
h
e
lpe
r
: rem
o
ve bo
g
us p
a
rens from get_variable_fr
o
m_ex
p
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carpenter
up
d
a
te smatch_data f
o
r
3
.
2
-rc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
D
an Carpe
n
ter
Allow check_
d
ebug
.
h to be included more than once
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpen
t
er
core: add --fi
l
e-out
p
ut variable fo
r
mak
e
-j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
sma
t
ch_extra: clear
o
ut struc
t
members if
a
the
p
ointe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpe
n
ter
extr
a
:
fi
x
c
rashing bug f
r
om last commit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpent
e
r
ex
t
ra: expression
s
are
e
quivalent
eve
n
if they are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user
_
data: use is_
c
apped()
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carp
e
nter
user_data
:
handle binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpe
n
t
er
*new* sm
a
tc
h
_capp
e
d: intr
o
d
u
c
e is_ca
p
pe
d
(
) 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
a
l
l t
h
e user d
a
ta (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf
_
size: there w
a
s a mistake in handl
i
ng
ca
l
ls to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
b
u
f_size: record t
h
e size
of s
t
ruct memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpenter
extra: cleanup: use my_id i
n
ste
a
d
o
f SMATCH_EXTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
an Carpe
n
ter
db: wro
n
g param
e
ter number
in struct member callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
e
x
tra
:
don't print an extra $$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carpenter
d
b
: limit the numb
e
r of functi
o
n pointer c
a
lls we check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n
Ca
r
pen
t
e
r
db, extra: int
r
odu
c
e
add_member_i
n
fo_callb
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n
Carpe
n
te
r
extra,
d
b
:
rec
o
r
d
a dummy output for every func
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
d
b
: u
s
e option_no_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
ext
r
a, db:
move
some
db
f
uncti
o
ns fr
o
m smatch_extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an C
a
rpenter
buf_size: han
d
le fun
c
tion point
e
r
s
a
s
w
ell
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carp
e
n
ter
db:
f
o
ll
o
w calls
t
o f
u
nctions pointers as w
e
ll as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n C
a
rpe
n
ter
f
low:
s
et
position for gl
o
bal variabl
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carp
e
nter
sig
n
ed
:
allow checks like
:
if (foo < 0 ||
foo >
x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan C
a
rpenter
overflow: g
e
t rid of "buffer o
v
e
r
flow
c
al
l
ing %
s
.
param
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpen
t
er
get rid of --print_returns option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carp
e
n
ter
extr
a
, db: we have
t
o record every func
t
i
o
n call in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan
C
arpenter
ranges: invalid
ranges
d
efault to the
w
hole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
C
arpenter
signe
d
: don't
warn about
u
nsign
e
d comparisons to macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpe
n
te
r
extra, db: record the str
u
c
t
memb
e
r values in th
e
dat
a
b
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpe
n
t
er
ext
r
a
: fix parsing of
v
alues
f
rom db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arp
e
n
t
er
fill_db_untrusted: follow u
n
tru
s
te
d
data do
w
n the
c
a
ll
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Ca
r
p
enter
extra:
d
on't pr
i
nt if the min-m
a
x as
t
h
e value passe
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
ranges:
i
nt
r
o
duce
is_whole
_
r
ange_rl() and
f
ix is_whole_
r
ange
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpen
t
er
db: use the
f
uncti
o
n_
i
d correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
ter
fill_d
b
_
c
aller_info: calculate function_id correct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debug
:
add a __smatch_possible
(
"var
i
abl
e
") func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
uncapped
_
al
l
oc: use _complex() versio
n
of
g
et_variabl
e
_fr
o
m_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
e
xtra: db: put s
i
ngle quotes around the function
n
a
me
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
pent
e
r
*
n
ew* smatch_s
c
ripts/follow_params
.
p
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
hooks: remove
s
ome
commented
out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
sql: snprintf() nul terminates its strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpent
e
r
db: move buf_size t
o
the n
e
w add_definition
_
db_callba
c
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpen
t
er
db: introdu
c
e add
_
d
e
finition_d
b
_c
a
llback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: store
the values of parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: make
da
t
abase co
d
e us
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Da
n
Carpenter
*ne
w
*
m
in_t() casting that tru
n
c
a
tes the va
l
u
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Dan
C
arpenter
*new* rosen
b
erg: check for information leaks f
r
om the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
pen
t
er
flow: twea
k
t
he ->pos
set
t
ing for fa
k
e assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
rpent
e
r
flow:
w
hit
e
sp
a
c
e changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
penter
fl
o
w: pass co
n
dition ass
i
gnments to cli
e
n
t
s
with ASSIGNMENT_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
enter
no
_
effect
:
add some mo
r
e
t
est
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree