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: don't discard cast. strip_expr() => strip_parens()
2012-01-10
D
a
n Ca
r
pe
n
ter
ext
r
a:
d
on't d
i
s
card cast
.
strip_
e
xpr()
=
> st
r
i
p_parens()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
D
an Carpe
n
ter
extra: cleanup: shuffle co
d
e
a
roun
d
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan
C
ar
p
enter
extra: do
n
't remove casts
,
those are importa
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
penter
debug: fix som
e
s
mall mem
o
ry lea
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
p
ent
e
r
l
o
cking: remove some false positive-y functions
without
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpent
e
r
l
o
ck
i
ng: add some mor
e
lock name variations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
D
a
n Carp
e
nter
db: c
a
ller info needs to record the
-1 parame
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
D
an Carpenter
m
a
th: fix typo in commen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Dan
C
a
r
p
ent
e
r
*ne
w
* bo
g
u
s
_irqrestor
e
: don'
t
re
s
t
ore irq state bef
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carp
e
nter
*new* check_wait_
f
or_common
:
make sure
t
he return
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpe
n
ter
typ
e
: add
e
xpr_un
s
i
gned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpent
e
r
db: pass &foo type paramet
e
r information
to
calle
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Carpenter
m
a
th: do math for get_impl
i
e
d
_mi
n
/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
an
Ca
r
pent
e
r
helper: when disp
l
aying sizeof()
infor
m
a
t
ion
use bytes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
an Carpente
r
capped: track capped variables across function
b
oundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
d
e
bug: add
__smatch_impl
i
ed_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Da
n
Carp
e
nter
ma
t
h: whit
e
space changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan Ca
r
p
e
nter
db: sa
v
e fu
n
ction pointers save
d
in arrays of struc
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Ca
r
penter
db/function_
p
tr: clea
r
t
h
e cor
r
ect tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
D
a
n
C
arpente
r
db: rem
o
ve u
n
trusted t
a
bl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
D
an Carpent
e
r
extra
:
unops
don't normal
l
y chan
g
e the
v
alu
e
of a variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
r
p
enter
tiny white space f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
D
a
n Car
p
enter
uncapped_a
l
loc: delete this ch
e
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Car
p
enter
helper: remo
v
e
bogus p
a
rens from
get_va
r
iable_from_
e
xpr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carpente
r
update
s
m
a
tch_da
t
a
fo
r
3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allow check_debug
.
h to be included more than once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpe
n
ter
co
r
e
: add --fil
e
-output
variable fo
r
make -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
D
an Carpenter
smat
c
h_extra:
c
le
a
r
out
s
truc
t
membe
r
s
i
f a
the
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
D
an Carpen
t
er
extra: fix
c
r
ashing bug f
r
o
m last c
o
mmit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan
Carpenter
extra: exp
r
essions are equival
e
n
t even if
t
h
ey are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
u
s
er_data: use i
s
_
capped() f
u
n
c
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user
_
d
a
ta: handle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
enter
*new* sm
a
tch
_
c
a
p
ped: intr
o
duce is_
c
a
pped()
f
uncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpen
t
er
*new*
check
_
user_
d
ata: recor
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
buf_size: the
r
e was a
mis
t
ake i
n
h
a
ndl
i
ng calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpente
r
b
uf
_
size:
r
ec
o
rd the size o
f
s
t
r
u
ct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
ex
t
ra: cl
e
a
nup: use my
_
id in
s
tead of
SMA
T
CH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
db: wrong param
e
t
e
r
numbe
r
in
struct memb
e
r callba
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpent
e
r
extra: don't print an extra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
ter
db: li
m
it t
h
e number
of function pointer
c
a
ll
s
we che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an Ca
r
penter
db, e
x
tra: i
n
troduce add_member_info_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpe
n
ter
extra, db
:
rec
o
rd a dummy output for every fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
d
b: use option
_
no
_
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Da
n
Carpent
e
r
extra, db: move
some db functions from smatch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
buf_size: hand
l
e fun
c
tion pointers as wel
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Ca
r
penter
db: follow
c
alls to
functions
po
i
nte
r
s as well as
n
o
rmal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Da
n
C
a
rpenter
flow: set position for global variabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an Carpenter
signed: allow checks lik
e
:
if (foo < 0
|
| foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
a
r
penter
overflow: get
r
id of "buff
e
r overflow
c
alling
%
s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpent
e
r
g
et
r
id of --print_returns option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
extra, db: we h
a
ve to rec
o
rd
every f
u
n
ction call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Car
p
e
n
ter
ranges
:
i
n
v
a
lid r
a
nges defau
l
t
to the
whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
sign
e
d: don't warn about uns
i
gned compa
r
i
s
on
s
to macr
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
e
x
tra,
d
b: record the struct member values
in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan C
a
rpenter
extra: fix pa
r
si
n
g of values f
r
om db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpen
t
e
r
fill_db_unt
r
usted:
f
ol
l
ow untrust
e
d data down the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpe
n
ter
ex
t
ra: d
o
n
'
t pr
i
nt if the min
-
max as the value passe
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
r
anges: intr
o
d
uc
e
is_w
h
ole_range_rl() and
f
i
x i
s
_whole_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
db:
u
s
e the
f
unction_i
d
co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpente
r
fill_db_call
e
r_info
:
calculate
f
u
nction_id co
r
re
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carp
e
nt
e
r
d
e
bug: add a __smatch_p
o
ss
i
ble("variable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_alloc
:
use _complex() v
e
rs
i
on of get_va
r
iable_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
e
xt
r
a: db: put
single
q
uotes
a
r
ound the f
u
nction name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
*ne
w
* smatch_scripts/
f
ollow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
hooks: remove some com
m
ented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
sql:
s
nprintf() nul terminates its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpenter
db: move buf_s
i
ze
to the ne
w
add_
d
efinition_db_callb
a
ck()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpenter
db: introdu
c
e
a
d
d_
d
efin
i
t
ion_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carp
e
n
t
e
r
db
:
s
t
ore the values of para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
pen
t
er
db: make
database
c
o
d
e usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
a
n
C
arpenter
*new*
m
in_t() cast
i
ng that
t
runc
a
t
es the value
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*new* rosenberg: check f
o
r i
n
forma
t
ion lea
k
s
from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpente
r
flow
:
tweak the ->po
s
set
t
ing
f
or fa
k
e assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
penter
flo
w
: whitespace change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carpenter
f
low: pass c
o
ndition
assign
m
ents to
cl
i
ent
s
w
i
th ASSIG
N
MENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
n
o_e
f
f
ect: add s
o
me
m
o
r
e
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpe
n
ter
deref_c
h
e
c
k: che
c
k_deref: print both
line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan
Carpenter
core: set
p
o
sition earlier in sma
t
ch_flo
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
slist: preser
v
e the ->line
val
u
e c
o
rrectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an Carpenter
overflow: print more help
f
ul info when th
e
dat
a
file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpent
e
r
g
e
n_ar
r
ay_bounds: filter o
u
t bogu
s
line
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
buf_s
i
ze: silence a g
c
c fa
l
se
p
osit
i
ve
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Ca
r
p
e
nter
use
PTR
_
INT
(
)
an
d
IN
T
_PTR
(
)
to
silence
cas
t
warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n Car
p
e
nter
sli
s
t: make alloc_sm_state(
)
st
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Ca
r
penter
slist: remove some dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpe
n
t
e
r
core:
cl
o
ng_
s
m() shou
l
d p
r
eserve the -
>
l
i
ne va
l
u
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan C
a
rpenter
update sma
t
c
h
_data/ for
linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan
C
arpenter
*new* bogus_
l
o
o
ps: warn on bogus f
o
r loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carp
e
nt
e
r
extra
:
use g
e
t_i
m
p
lied
_
value()
instead
of get_v
a
lu
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpent
e
r
implied: handle
ass
i
gnments
inside conditi
o
ns better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n
Carpente
r
overf
l
ow
:
c
h
e
ck
sprintf
(
)
and sn
p
rint
f
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpent
e
r
sma
t
ch_flow: fi
x
co
m
pile error caused by upst
r
e
am changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Car
p
e
nter
overflow: cut down o
n
fal
s
e po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpent
e
r
smat
c
h_dat
a
: upda
t
e fo
r
3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Ca
r
pent
e
r
ge
n
_no_r
e
tu
r
n_funcs: always
k
e
ep the defa
u
lt no ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Ca
r
penter
I
n a couple plac
e
the original checke
d
for --
s
p
amm
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Ca
r
penter
fl
o
w
:
h
andle k
n
own swi
t
ch state
m
e
n
ts
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Da
n
Carp
e
n
t
er
*new* return_negative_va
r
: returnin
g
positiv
e
v
a
lues
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpent
e
r
*new* mems
e
t
:
check for
m
em
s
et(x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
D
a
n
Carpe
n
ter
S
upport
_
_
b
u
i
ltin_
u
nreachable
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next