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
C
a
r
p
e
n
ter
ext
r
a:
u
ninitialized var
i
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
D
an Carpenter
conditions: add
a
__
p
ass_t
o
_client(e
x
pr,
L
O
G
I
C_HOOK)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
Dan
Carp
e
n
t
er
overflow: don't complai
n
ab
o
u
t
c
h
e
c
ks
after
u
se,
inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpenter
db: do
n
't increment the f
u
nc_i
d
too
much
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan C
a
rpenter
db
:
turn synchronization off a
n
d use
a
b
igger cache_size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-19
Dan Carpenter
*new* l
o
gical_instead_of_bitwise: places that use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan Car
p
e
nter
smatc
h
*:
c
h
eckpatc
h
.
pl fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan Car
p
e
n
ter
err_ptr_deref
:
handle P
T
R_RET()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
pe
n
ter
validati
o
n: remov
e
out of date sm_locki
n
g5
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpe
n
ter
cor
e
:
handle foo
+
= b
a
r ? 1 : 0; e
x
pressi
o
ns differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
e
xtra:
don't
dis
c
a
r
d cast
.
strip_
e
xp
r
(
)
=>
s
trip_paren
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
extra
:
cl
e
anup: shuffle code around
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
extra: don't r
e
mo
v
e casts, those are i
m
portant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpe
n
t
e
r
deb
u
g: fix some small memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carp
e
nter
locking: remove
s
ome false positive-y functions wit
h
out
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Car
p
enter
locking:
ad
d
some mo
r
e
l
ock name va
r
iatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Ca
r
p
e
n
ter
db:
c
a
l
ler info needs t
o
r
e
cord the -1 parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
D
a
n Carpenter
math
:
fix ty
p
o i
n
c
omment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
D
an Carpenter
*
new* b
o
gus
_
i
rqresto
r
e: don't resto
r
e irq state before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
D
an
Carpenter
*
n
ew* chec
k
_
wait
_
for_common: make sure
t
he return is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
D
a
n
C
a
rpenter
type: add expr_unsigne
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n
Carpenter
d
b
: pass &foo type para
m
eter
i
nf
o
r
m
atio
n
to called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpen
t
er
math:
do ma
t
h for get_
i
mplied_mi
n
/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Carpenter
helpe
r
:
w
hen displaying
sizeof() in
f
or
m
ation use bytes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
c
a
pped: track capped variab
l
es ac
r
o
s
s function boundari
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n
Ca
r
p
e
n
ter
debug: add __smatch_
i
mplied
_
min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Da
n
Carpenter
math: white space cha
n
ges
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpenter
db: save function pointers sa
v
e
d in arrays of st
r
ucts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Da
n
Carpenter
d
b
/function_
p
tr: clea
r
the
c
orrect table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db
:
rem
o
v
e
un
t
rusted table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpenter
extra: unop
s
don't normally
cha
n
ge the v
a
lue of a variab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpent
e
r
tiny white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpe
n
ter
un
c
a
p
p
ed_a
l
l
oc
:
dele
t
e
thi
s
c
h
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan
C
a
r
penter
helpe
r
: remove bogus parens from get_variable_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan
C
arpenter
update smatch_data for 3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan Ca
r
penter
Allow check_deb
u
g
.
h to be inclu
d
ed more than once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan C
a
rpenter
cor
e
:
add --f
i
le-outpu
t
variable for make
-
j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan
Ca
r
p
enter
smatch_extra: clear out
s
truct
m
embers if a th
e
p
oi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Da
n
Carpent
e
r
extra:
fix cr
a
shin
g
bug from last commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpenter
extra: exp
r
essions a
r
e equivalent even if they are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_data: use is_cap
p
ed() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_data: handle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
an Carpe
n
ter
*new* sm
a
tch
_
capped: introdu
c
e is_capped() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan
C
a
r
pente
r
*n
e
w*
check_user_data: record
all
t
he user
d
ata (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
buf_size: th
e
re was a
m
istake in han
d
ling calls
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
b
uf
_
size
:
rec
o
rd
t
h
e size of struct me
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n
Car
p
enter
extra: cleanup: use
my_id instead of
S
M
A
TCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
db:
w
ro
n
g paramet
e
r number
in
struct member callb
a
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
pe
n
ter
e
xtra: don't
p
rint an ext
r
a $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: lim
i
t the
nu
m
b
er o
f
fu
n
ction pointe
r
cal
l
s we chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpente
r
db,
ex
t
ra: introduce add_member_info_c
a
llback(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
ex
t
ra, db: r
e
cord a dumm
y
o
ut
p
ut for ev
e
ry f
u
n
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nter
db: use option_no_
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Ca
r
p
ent
e
r
extra,
d
b: move some db functions f
r
o
m
smatc
h
_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n
Carpent
e
r
buf_size: han
d
le functio
n
point
e
rs as
well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
an Carpenter
d
b
: follow calls to functi
o
ns pointe
r
s a
s
well as no
r
mal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n Carp
e
nter
flow: set position for global
variable
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
signed: allow c
h
e
c
k
s like:
i
f
(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 "
b
uffer overfl
o
w
c
alling %s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpe
n
ter
ge
t
rid of --print_re
t
ur
n
s option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan C
a
rpenter
extra, db: we have to record every
fu
n
c
t
ion call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carp
e
nter
r
anges: invalid ra
n
ges def
a
ult to the whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
an Carpenter
sig
n
ed: don't warn about
u
nsigne
d
comparis
o
ns to macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
e
xtra, db: reco
r
d the str
u
ct member values in the databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
Car
p
enter
ex
t
ra: fix
p
arsing of
v
alues fr
o
m
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fi
l
l_db_unt
r
u
sted: follow untr
u
st
e
d data dow
n
the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
Carpenter
extra: d
o
n't print if the min
-
max
as t
h
e
value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rpente
r
ranges
:
introduce
i
s_whole_ran
g
e_
r
l() and
f
ix is_wh
o
le
_
r
a
n
g
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Ca
r
penter
d
b
:
us
e
the func
t
ion_id
c
orrectl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Ca
r
penter
f
i
l
l_db_ca
l
l
e
r_inf
o
: cal
c
ulate function_id corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
d
e
bug:
ad
d
a __smatch
_
possible("variab
l
e
"
)
funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
u
nca
p
ped_alloc: us
e
_complex() versi
o
n
o
f
g
et_variable_
f
r
o
m
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
extra: d
b
:
put s
i
ngl
e
quotes around
the function na
m
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carp
e
nter
*
new* s
m
atch_scripts/follow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
h
ooks: remove s
o
me
com
m
ented out
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Carpenter
sql: sn
p
rintf() nul terminates its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpente
r
db: m
o
ve buf_size to
t
he new add_definiti
o
n_db_c
a
llback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpen
t
er
db: introduce add_definition_db
_
callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n C
a
r
p
enter
db: store
the
v
a
lues of parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
e
nter
db
:
make da
t
abase code usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan
C
arp
e
n
ter
*new*
min_t() casting that truncates
the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*n
e
w*
r
os
e
n
berg:
c
heck
f
or information le
a
ks from
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
a
r
pen
t
e
r
f
l
ow
:
tweak
t
he ->pos setting
f
or fake
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpen
t
er
flow
:
white
s
p
a
ce
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
te
r
f
l
ow: p
a
ss
c
ondition
a
ssign
m
ents t
o
clients w
i
th ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpent
e
r
no_eff
e
ct
:
add some more
t
e
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan C
a
r
p
en
t
er
de
r
ef_c
h
eck: check_deref: pr
i
nt both
line
numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Car
p
e
nter
c
o
r
e: s
e
t posit
i
on ea
r
l
i
er in sma
t
c
h
_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Kare
l
Zak
s
m
atch: ad
d
--data
=
<dir
>
option
commit
|
commitdiff
|
tree
2011-09-12
D
a
n
Ca
r
penter
sli
s
t:
p
reserve th
e
->line value
c
o
rrectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Da
n
Carpenter
over
f
low: pr
i
nt mo
r
e
helpful in
f
o when the data f
i
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Car
p
ent
e
r
gen_ar
r
ay_bounds: filter out bogus lin
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpent
e
r
buf
_
size: silence a
gcc fal
s
e
positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
use
P
T
R
_INT() and INT_PTR() t
o
silence cast w
a
rnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Ca
r
pente
r
slist: make
a
lloc_sm_state() sta
t
ic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: remo
v
e s
o
m
e dead c
o
de
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
Carpenter
c
ore: c
l
o
n
g_sm() should preserv
e
t
h
e ->l
i
ne value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
update smatch_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpenter
*new* bogus_lo
o
ps: warn on bogus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
D
an C
a
rpenter
extra: use
g
et_i
m
plied_value
(
) instead of get_v
a
lue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next