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
show_unreachable: format changes fixup
2012-02-01
Dan Carpe
n
ter
show_un
r
e
a
chab
l
e: format changes fixup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpente
r
db: remov
e
an unneede
d
#i
n
clude
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpe
n
t
er
t
ree wid
e
: change output
f
ormat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-01
Dan C
a
rpenter
redund
a
nt_null
_
check:
mak
e
some var
i
a
b
les static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-26
Dan Carpen
t
er
extra: uninitialized variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Dan Carpente
r
co
n
ditions:
a
d
d
a __pass_t
o
_
client
(
expr, LOGIC_HOOK)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-25
Dan Carpenter
o
v
e
r
flow:
d
on
'
t co
m
plain abou
t
checks after use, inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpenter
db:
don't increment the func_id to
o
m
u
ch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Ca
r
pe
n
ter
d
b
:
t
urn synchro
n
i
zati
o
n off an
d
u
se a
b
igger cach
e
_s
i
ze
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-19
Dan Car
p
e
n
t
e
r
*new* logical_instead_o
f
_bitwise: places that use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
D
a
n Carpenter
smatch*: checkp
a
tch
.
pl
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan
Carpenter
err_ptr_
d
eref: handle PTR_RET(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Carp
e
nter
validation: remove out of
d
a
t
e sm
_
lock
i
ng5
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
D
an Carpe
n
ter
co
r
e: handle foo += bar
?
1 : 0;
expr
e
ssions
dif
f
ere
n
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Carpenter
extr
a
: d
o
n't discard cast
.
st
r
ip_expr() => strip_p
a
rens()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
ext
r
a
: cleanup: shuf
f
le code around
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
extra: do
n
't
r
emove c
a
s
ts, t
h
ose a
r
e
im
p
ortant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
d
ebug: fix so
m
e
smal
l
memory l
e
aks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
C
arpente
r
locki
n
g: remove some f
a
lse posit
i
ve-y fu
n
ctions withou
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpe
n
t
e
r
locking: add some more
l
ock name
variatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpent
e
r
db: caller info nee
d
s to record the
-
1
pa
r
ameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Da
n
Carp
e
nter
math:
f
ix
t
yp
o
i
n
c
omment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Dan
C
a
rpenter
*
n
ew* bogus_irqresto
r
e:
d
on't restore ir
q
state before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan C
a
rpenter
*ne
w
* check_wait_fo
r
_com
m
o
n: make sure t
h
e
ret
u
rn i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
t
ype: add
e
xpr_u
n
signed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
enter
db:
p
as
s
&foo type parameter information
to called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n
Carpenter
math: do math
f
or get_implied_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
h
e
lpe
r
: when
displaying sizeof()
i
n
f
ormation use bytes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
C
a
rpenter
capped:
track capped variables across
f
u
nction boun
d
aries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
an C
a
rpente
r
debug: add
__smat
c
h_implied_min/max
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Dan Ca
r
p
e
nt
e
r
math: white s
p
ace ch
a
n
g
e
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan
Carpente
r
db: save fu
n
ction pointe
r
s saved in
a
r
rays of s
t
ructs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Car
p
enter
d
b
/functi
o
n_ptr
:
c
le
a
r th
e
correct
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db:
remove
untrusted table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Da
n
Carpenter
e
xtra: unop
s
don't normally
change
t
he
val
u
e of a vari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carp
e
nt
e
r
tiny white space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
uncapped_all
o
c:
d
elete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Car
p
ente
r
h
elper: r
e
move bogus parens f
r
o
m
get_variable_from_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan C
a
rpenter
update smatch_data for 3
.
2-rc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan Car
p
e
nter
Allow check_debug
.
h to be
i
n
clud
e
d
m
o
re than once
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
core: add --fil
e
-outpu
t
variable for make -j8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smatch_ex
t
ra:
c
lear out str
u
ct members if a the pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpen
t
er
extra:
fix
crashing bug
f
r
o
m
l
a
st commit
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpen
t
e
r
e
xtra: ex
p
ressions a
r
e equi
v
alen
t
even if t
h
ey are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Car
p
enter
user_data:
use is_capped() func
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_data: hand
l
e b
i
n
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
*new* smatch_cap
p
ed: in
t
rodu
c
e is_
c
apped() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpenter
*new* check_user_da
t
a: re
c
ord all the
user
d
a
t
a (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
an
C
arpente
r
buf_size: there was a mis
t
ake in handling cal
l
s
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
b
uf_size: reco
r
d the size
o
f
s
t
ruct
m
embers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
ext
r
a: cleanu
p
: use my_id instead
o
f
SM
A
TCH_
E
XTRA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
d
b: wrong paramet
e
r number
in
st
r
uct member
c
allback
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
extra: d
o
n'
t
p
rint an extra
$$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
penter
d
b: limit the numb
e
r of fu
n
ction poin
t
er cal
l
s we che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Ca
r
penter
db, extra:
intr
o
duce add_member_
i
nfo_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpen
t
er
ex
t
ra, db: r
e
co
r
d a dummy o
u
tput for ev
e
ry f
u
nction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Car
p
enter
db:
u
se opti
o
n
_
n
o
_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpenter
extra, d
b
: move some db
f
unctions from smatch_extr
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
buf_siz
e
: handl
e
functi
o
n pointers
a
s well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carp
e
nt
e
r
db: follow calls to
functions poin
t
e
rs
a
s well
as normal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpent
e
r
flow
:
set position f
o
r global variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
signed: a
l
low checks like
:
if (foo < 0 || foo > x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n Ca
r
penter
overflow:
get rid of "buffer overflow ca
l
ling %s
.
param
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
penter
g
e
t rid of --print_returns option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpent
e
r
extra,
d
b: w
e
h
a
ve to
r
eco
r
d every function call
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan
C
arpenter
ran
g
es: invalid ranges
d
efault
to the whole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
signed:
don'
t
wa
r
n about unsigned comparisons to macro
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
enter
extra, db: record the
struct me
m
ber valu
e
s in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
ex
t
ra: fix
parsi
n
g of valu
e
s from db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arp
e
nte
r
fil
l
_db_u
n
trusted: foll
o
w untrusted data down t
h
e call
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpe
n
ter
extra: d
o
n't print if the min-max as
the v
a
lue p
a
s
s
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpente
r
ranges: introduce
i
s_who
l
e_rang
e
_r
l
()
and fix is_w
h
ole_rang
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
C
arpe
n
ter
db: use the func
t
i
o
n_i
d
corre
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db_caller
_
info: calculate function
_
id correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
an Ca
r
penter
de
b
u
g
: add a __
s
match_possible
(
"variable
"
) functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
uncapped_alloc: use _comp
l
ex() version of ge
t
_
v
ariab
l
e_f
r
om_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Ca
r
p
e
nter
extra: db: put single quotes around the function na
m
e
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*new* smatch_scripts/fo
l
low_
p
a
r
a
ms
.
p
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
h
o
oks: remov
e
some
commented
out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
sq
l
: snpri
n
tf(
)
nul terminates its strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: move buf_siz
e
t
o
th
e
n
e
w add_definition_db_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
d
b: intro
d
u
c
e
a
d
d_definition_db
_
callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
d
b: store the v
a
l
u
es of
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
db: make
d
a
tabase code usable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*
new* m
i
n_t() cast
i
ng that truncates the values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carp
e
nter
*n
e
w* rosenberg: ch
e
ck for information leaks from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
flow: twe
a
k th
e
->pos setting fo
r
fake assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
f
low:
whitespace ch
a
nge
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
rp
e
n
t
e
r
flow:
p
a
ss con
d
it
i
on assignments to cli
e
nt
s
with
ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpen
t
er
no_effect: add
some more
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree