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
Dan
Carpen
t
er
ex
t
r
a
: don't di
s
card cast
.
strip_expr
(
) =
>
strip_par
e
ns()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
ext
r
a: cleanu
p
:
shuffle co
d
e around
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n Carpenter
e
x
tra: don't
re
m
ove casts, tho
s
e
a
r
e
important
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
rpenter
debu
g
:
f
ix some small memory le
a
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpenter
locking:
r
emove some false po
s
itive-y functi
o
ns without
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
C
arpenter
l
o
cking:
a
dd s
o
me m
o
r
e lock na
m
e v
a
riations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carp
e
nter
db: caller info needs to record the -1 parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpente
r
math
:
fix typo in co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan C
a
rpente
r
*new* bogu
s
_i
r
qrestore
:
don
'
t rest
o
re irq sta
t
e before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpente
r
*new* check_wait_fo
r
_common: make sur
e
the return is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan
C
arpenter
type:
add exp
r
_unsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carpenter
db: pass &foo type param
e
te
r
information to called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
math
:
do math f
o
r
g
et
_
implied_min
/
max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpente
r
helper: when displaying sizeof() inform
a
tion
use bytes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Car
p
en
t
er
c
apped: track cap
p
ed va
r
iab
l
es
a
cross function boundar
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
d
ebug:
add __smatch_imp
l
ied_min/max(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carpent
e
r
math:
w
hite space c
h
an
g
es
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpente
r
d
b: save f
u
n
c
tion pointers saved in arrays of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
D
a
n Carpen
t
er
db/function_ptr: clear the co
r
rect
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan C
a
rpenter
db: remove untrusted t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Ca
r
pente
r
ex
t
ra:
u
n
ops don't norma
l
l
y c
h
ange the valu
e
of a varia
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
D
an
Carpenter
t
iny
w
h
i
t
e sp
a
ce
fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan
C
a
r
p
enter
uncapped
_
a
lloc: del
e
te this che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpen
t
er
helper: remove bogus parens from
g
et_va
r
i
a
ble_from_exp
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carpenter
upd
a
te smatch_data for 3
.
2-
r
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan C
a
rpenter
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 Carp
e
nter
c
o
re: ad
d
-
-file-output
variab
l
e
for m
a
ke -j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
D
an Carpent
e
r
smatch_ext
r
a:
clear
o
ut
s
truct
m
embers
if a
t
he poin
t
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Da
n
Carpen
t
er
extra: fix c
r
ashing bug from
l
a
s
t commit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpenter
e
xtra: expressions are equiv
a
lent even if they are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpe
n
t
er
user_data: use is_
c
a
p
p
e
d(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Ca
r
penter
use
r
_data: handle binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n
C
a
rpenter
*
n
ew* smatch_capped: introduce
is_capp
e
d() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpent
e
r
*ne
w
* check_u
s
er_
d
at
a
: record all the user da
t
a (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf
_
size: the
r
e wa
s
a mi
s
tak
e
in h
a
ndling calls to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
buf_size: rec
o
r
d
the
size o
f
st
r
u
c
t
m
embers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpent
e
r
e
x
t
ra: cleanup: use my_id instead of S
M
A
T
CH_EXTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
penter
d
b
: wrong parameter number in str
u
ct member
callback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
an Car
p
en
t
er
e
xtra: don't print an extra $
$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
Carpenter
db: limit t
h
e number of function pointer
c
alls
w
e check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db,
e
xtra: introduce ad
d
_memb
e
r_i
n
f
o
_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an Ca
r
pente
r
extra
,
db: record a d
u
mmy output for every functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
db: us
e
opt
i
on
_
no_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan
C
a
rpen
t
er
extr
a
,
d
b
: move some
d
b
functions
f
rom s
m
atch_extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpen
t
er
buf_si
z
e
:
ha
n
dle function pointers as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n
Car
p
enter
db: follow cal
l
s
to functions pointer
s
as well as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Ca
r
p
e
n
ter
flow: set pos
i
tion
f
or gl
o
bal variable
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpenter
sig
n
ed: allow ch
e
cks li
k
e: if (foo
< 0 || fo
o
> x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpe
n
te
r
overflo
w
: get rid of "buffer overflow calling %
s
.
p
a
ram
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpenter
g
e
t rid of -
-
print_returns option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan
C
ar
p
enter
extra, db: we h
a
ve
t
o record
e
very
f
unction call
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Ca
r
penter
ranges: i
n
valid ranges d
e
fault
to the whole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
e
nter
s
i
gned: don
'
t wa
r
n
about unsigned
com
p
ariso
n
s to
m
a
c
ros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
ext
r
a, db
:
reco
r
d the struct mem
b
e
r
v
a
lues in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
ext
r
a
:
fix parsing
o
f
values
f
rom db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
f
ill_
d
b
_
u
ntrusted: foll
o
w untrus
t
ed dat
a
down the cal
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carp
e
nter
extra:
don't pri
n
t if the
m
in-
m
ax as
t
he v
a
lu
e
passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rpenter
r
a
n
g
es: introduce is_whole
_
range_rl() and fix is_wh
o
le_range
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpenter
d
b
:
u
se the funct
i
on
_
id correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
fill_db_call
e
r
_
info: calculate function_id cor
r
ect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debug
:
a
d
d
a __s
m
a
t
ch_possible("variable") function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpenter
uncapped_alloc
:
use _complex() versi
o
n of
g
et_v
a
ria
b
le_from_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
extra: db: put sing
l
e
quo
t
es around the functio
n
name
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rp
e
nter
*new*
s
match_scr
i
pts/follow_
p
arams
.
p
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
hooks: remove some commented out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
s
q
l: snp
r
int
f
(
) nul termi
n
ates its
string
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db
:
move buf_si
z
e
to th
e
new add_definition_db_c
a
l
l
bac
k
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
db:
i
n
troduc
e
add_definit
i
o
n_db_callback(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: stor
e
the valu
e
s of parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
p
enter
db: make database
c
ode us
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpent
e
r
*new
*
min_t()
c
a
sting that
t
runc
a
tes the val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
D
an Carpenter
*ne
w
* rosenberg:
check f
o
r
i
nf
o
r
m
at
i
o
n
leaks from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
rpenter
flow: twe
a
k the ->po
s
set
t
ing
for
f
a
ke assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
te
r
flow: w
h
itespa
c
e chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
rpenter
f
l
ow:
pass condition assi
g
n
m
ent
s
t
o cl
i
ents with ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_
e
ffe
c
t: add so
m
e more tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree