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
err_ptr_deref: handle PTR_RET()
2012-01-12
Dan Carpente
r
err_ptr_der
e
f
:
handle P
T
R_RET
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Car
p
e
n
te
r
validati
o
n: remove o
u
t of date sm
_
locking5
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
r
p
enter
core: handle foo += bar ? 1 : 0; express
i
ons differently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
extr
a
: don't disc
a
rd cast
.
strip
_
expr() => strip_par
e
ns
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpen
t
er
extra: cleanup: shuff
l
e
code aro
u
nd
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
extra: don't
r
emove c
a
sts, those
a
re importan
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Carpente
r
debug: f
i
x so
m
e
small m
e
mory leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpent
e
r
locki
n
g:
r
emove some
f
alse positive-y functio
n
s
w
ithout
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n Carpenter
l
ockin
g
:
add some
m
o
re lock name vari
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Da
n
Carpenter
d
b
:
call
e
r
info needs to record the
-1 par
a
m
eters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
math: f
i
x typo i
n
com
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan Car
p
enter
*ne
w
* bogus_ir
q
restor
e
: don't restore irq
s
t
a
te
b
efore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
*
n
e
w* check_wait_for_common:
make sure the return is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan
Carpenter
type: add e
x
p
r
_
u
nsign
e
d(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
an Ca
r
penter
d
b: pa
s
s
&foo
type p
a
ra
m
eter information to c
a
l
l
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Carpenter
math: do math for get_i
m
plied
_
min/
m
ax
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
h
e
lper: when dis
p
laying sizeof() infor
m
ation use bytes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n
Carp
e
nter
capped: track capped variables
across
fun
c
tion
b
oundar
i
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carp
e
nter
debug: add __sma
t
ch_im
p
lied_min
/
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carpe
n
ter
math: whi
t
e space changes
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan
Carpenter
db: save function pointers saved
in arrays of structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpent
e
r
db/function_ptr:
c
l
e
ar the correct
ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Car
p
enter
d
b: r
e
move untrust
e
d table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Dan
C
a
rp
e
nter
extra:
uno
p
s don't normally chang
e
the value of a
v
a
riab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpen
t
er
tiny whi
t
e space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Da
n
Carpenter
uncapped_allo
c
:
delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan
C
arpenter
helper: remove bogus parens f
r
om g
e
t_variable_from_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan
Carpenter
up
d
a
te 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_debug
.
h to b
e
include
d
more than once
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan C
a
rpenter
c
o
re: a
d
d --f
i
le-output variable fo
r
make -j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
D
a
n
C
arpenter
s
m
atch
_
extr
a
:
clear out struct m
e
mbe
r
s i
f
a the po
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan C
a
r
penter
ex
t
ra: fix cr
a
shing
b
ug fr
o
m l
a
st commit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carp
e
nter
extra: expressio
n
s are
e
q
uiva
l
ent ev
e
n if t
h
ey are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n Carpenter
user
_
data: use is_capped() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
enter
u
ser_data: handle binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carp
e
nter
*new*
sm
a
tch_capped: introduc
e
is_capped() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan Ca
r
penter
*n
e
w* check_user_data: record al
l
the u
s
er
da
t
a (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpent
e
r
buf_size: there was
a mistake in handling calls
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
buf_siz
e
:
record the size o
f
struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
an
C
arpenter
extra: cle
a
nup: use m
y
_id ins
t
ead of SMATCH_EXTR
A
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: wrong paramete
r
num
b
e
r
in
s
tr
u
ct
m
ember callb
a
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
a
r
pe
n
ter
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 C
a
rpenter
db:
l
i
mit
the
number of
function po
i
n
te
r
ca
l
ls
we c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
d
b
,
e
xtra: intr
o
duce add_member_info_call
b
ack
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan
C
arp
e
nter
extra,
db:
r
ec
o
rd a dummy
o
ut
p
ut for every
fun
c
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
db:
use o
p
tion_no_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra, d
b
: mov
e
some db functions from smatch_ext
r
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Ca
r
pent
e
r
buf_size:
h
andle funct
i
o
n poi
n
ters as
wel
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan
C
arpe
n
ter
db: follow
c
a
l
l
s
to f
u
ncti
o
n
s
po
i
nters as well as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
flow: se
t
position
for global var
i
a
b
le
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Carpenter
signed
:
allow checks like: if (foo < 0 || foo > x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpe
n
t
e
r
overflow: get
rid
o
f "buffer ove
r
fl
o
w calling
%s
.
pa
r
a
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n Carpenter
get rid of --print_ret
u
rns opt
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan
C
a
r
penter
extra, db: we h
a
ve to reco
r
d eve
r
y funct
i
on ca
l
l in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpe
n
ter
ranges: in
v
a
lid ranges default
to the whole r
a
nge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Ca
r
penter
signed: d
o
n't
w
arn about unsi
g
ne
d
comparisons to macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
C
arpenter
e
x
tr
a
, db: record the struct membe
r
values in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan C
a
rpenter
e
xt
r
a: fix
parsing of values
from db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carp
e
nter
fill_db_untrusted: foll
o
w untrusted data down th
e
call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
extra: don't print if
t
he
m
in
-
m
ax as th
e
value passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arpenter
ra
n
g
e
s:
i
n
troduce is_w
h
ole_rang
e
_
r
l()
a
nd f
i
x is_whole_
r
ange
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carp
e
nte
r
db: use the func
t
ion_id correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_d
b
_call
e
r_i
n
fo:
calcula
t
e funct
i
o
n_i
d
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
ent
e
r
debug: add a __smatch_possible("var
i
a
b
le") functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
an
Carpe
n
t
e
r
uncapped_alloc: use
_
comple
x
(
)
version of get_variable_from_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
extra:
db:
put singl
e
qu
o
tes ar
o
und the fun
c
tion nam
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*new* smatch_scr
i
pts/follo
w
_par
a
ms
.
p
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
h
ooks:
remov
e
s
o
me
co
m
m
ented out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
sq
l
: snpri
n
t
f()
n
ul t
e
rmina
t
es
i
ts stri
n
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpent
e
r
db: mov
e
buf
_
s
i
z
e
t
o the new
add_definiti
o
n_d
b
_
ca
l
l
back()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carp
e
nte
r
db: in
t
rodu
c
e add_definition_db
_
c
a
llba
c
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
ent
e
r
db
:
store the values o
f
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: make databa
s
e code usable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan
C
arpenter
*
n
ew*
m
in_t() casting that tru
n
cates the
value
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*new* rosenberg: che
c
k fo
r
informatio
n
leak
s
f
r
o
m the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
penter
f
l
ow: twe
a
k the ->pos setting
for fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
t
e
r
f
low: whitespa
c
e changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: pass condition as
s
ig
n
ments to client
s
w
i
th ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
an Car
p
enter
no_effect: add som
e
more tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree