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
deref: fix a typo in the error message
2012-05-15
Dan
C
arpente
r
deref: fix
a typo in the er
r
or message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
use
r
_data: track user
data
t
hat is returned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
bool_implicati
o
ns: remove
d
ebugging
o
utpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan
C
a
r
p
en
t
er
fix
comp
i
le o
n
Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
gen
e
ri
s
ize
.
pl: stri
p
al
l
strings
n
ot ju
s
t the f
i
rst
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpe
n
ter
buf_size
:
Add a
N
U
L
L chec
k
to
get_
a
rray_
s
ize_byt
e
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
*n
e
w* sizeof_pointe
r
:
using sizeof(p) where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
C
arpenter
ov
e
rflow: chec
k
memcpy()
t
o see if w
e
're comparing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
n
t
er
ex
t
ra: do
n
't reset &ar
g
ume
n
ts u
n
t
il
t
he othe
r
checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
e
nte
r
flow: change how
"
for (i
= 0; ; i
+
+) {
.
.
.
" is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpenter
*new* or_vs_and:
complain
a
bout if (x
!
=
3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
sparse: introduce get_ex
p
ressi
o
n_value
_
n
omod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpe
n
ter
t
ype:
introduce
i
s_pointer() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
ext
r
a: frob(foo) r
e
s
e
ts the value of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpe
n
ter
e
x
t
r
a
: foo((
v
oid *)&x) w
r
ites to x probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan C
a
r
p
enter
ranges: in
t
roduce invert_range_list(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math:
h
a
n
d
l
e
__sma
t
ch_implied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ranges: c
o
m
mit range_lis
t
s_equiv(
)
so that bool_implicatio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
s
mdb_para
m
_buf_size
.
sh: ask
d
b what size buffers
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpe
n
ter
extra:
g
et_
i
mplied_range_
l
i
s
t() should handle conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpenter
b
u
f
_size:
s
tore
buffer
sizes in d
b
(turned
o
ff by default)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpe
n
te
r
d
b: d
o
n't
die on
S
QL error
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
bool
_
implicati
o
ns:
m
ake a list of implications
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan
C
arpenter
math: handle lo
g
ical expre
s
sions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n Carp
e
nte
r
core: print sm_msg()s befor
e
pars
i
ng starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpe
n
t
e
r
para
m
eter_implica
t
ions:
gene
r
ate list
o
f func
t
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpenter
db: matc
h
_return(
)
shouldn't
r
e-im
p
lement get_i
m
plied_ran
g
e_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
m
ath: sort of hand
l
e
c
onditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
m
ath: simpli
f
y im
p
l
ie
d
_
c
o
nditio
n
_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Carpe
n
t
er
math
:
simpli
f
y k
n
ow
n
_
con
d
ition_tru
e
/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpe
n
ter
m
a
t
h: handle __smatch_im
p
lied
(
({frob(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: han
d
l
e f
o
o =
!
2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ex
t
ra, math: move known_conditon_true/false() etc fr
o
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
pr
o
j
e
ct: fix param
e
t
e
r
imp
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: introd
u
ce get_memb
e
r_n
a
m
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
d
b
:
print all return values at
e
nd of
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Da
n
C
arpenter
db
:
add s
o
me
s
m
db_ scr
i
p
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
ar
p
ent
e
r
fill_db_return_info: fix out dated
p
arsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
extra: always i
n
itialize th
e
range in get_i
m
plied_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extr
a
: fix get_impl
i
ed_range()
for function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
check_macros
:
c
l
ean
u
p: use p
o
sitions_eq(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
an C
a
rp
e
nter
ma
c
ro: take a
s
t
ruct po
s
ition,
not
a p
o
inter
to
a struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpenter
implied: cleanup: move dubug
p
r
i
ntfs to th
e
ir
o
wn function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
ranges: get rid of poss
i
bly_(true/false)
_
range
_
list_
l
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Ca
r
penter
range
s
: cleanup:
m
ove true_com
p
ari
s
on_range_lr() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpenter
extra: add parame
t
er i
m
p
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nter
ra
n
ges: introduce clone_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an C
a
r
p
e
nter
ranges: initialize the pointer in get
_
value
_
ra
n
g
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: ignore fu
n
ct
i
o
n
s wh
i
ch are called a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
typ
e
:
export g
e
t_real_b
a
se
_
ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db:
a
dd code to hack up the
d
atabase with projec
t
specific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
an Carpenter
condit
i
ons: pre
s
e
r
ve
|=
as the assign op in
foo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Car
p
e
nter
type:
s
izeof()
is
u
nsig
n
e
d
long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Ca
r
penter
conditi
o
ns: s
p
a
r
se never s
e
ems t
o
use
S
PECIA
L
_UNSIGNE
D
_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpe
n
ter
helpe
r
: introduce
positions_eq(pos1, p
o
s2) functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpent
e
r
build_kernel
_
data
.
s
h
: make it executa
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
D
an
C
arpen
t
er
macr
o
_
s
ide_e
f
f
e
cts:
s
ilence false pos
i
t
ives
in
s
ide
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_kernel
.
sh: create a
b
ak
.
smatc
h
at the be
g
inning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
nter
*new* check_macr
o
_sid
e
_effects: mac
r
os which
evaluate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
C
a
rpent
e
r
flow:
ignore __built
i
n_cons
t
ant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
sparse: set the
scope
-
>t
o
ken member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpen
t
er
cal
l
_tree
.
p
l: This was still
using the ol
d
forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpen
t
e
r
bu
i
ld_kernel_data
.
sh: add --call-
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
a
r
p
enter
locking: ignore unre
a
chable unl
o
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking
:
white spac
e
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan C
a
rpenter
new_bugs
.
sh: fix it for
g
c
c
a
n
d
s
p
arse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan C
a
rpen
t
er
locking: t
o
ns of locks were ignored because o
f
changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
D
an Carpenter
token_st
o
r
e
: creates a po
s
itio
n
-> token mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
D
a
n Carpen
t
er
Merge bran
c
h 'd
e
vel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Carp
e
nter
*n
e
w
*
check_bit_sh
i
ft
.
c
: (foo & BAR)
vs (foo & (
1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
D
an Carp
e
nter
*new* pointer_
m
ath: c
o
mplain about ptr + sizeo
f
() wh
e
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Da
n
Carpenter
type
:
expor
t
get_
p
ointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan Carpenter
type: export get_pointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carpen
t
er
flow: fix s
e
g
fault on pa
r
se e
r
ro
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carpenter
hooks: add CAST_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
Car
p
enter
ty
p
e
: add nr_bits(
s
t
ruct
exp
r
ession
*
expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Carpenter
extr
a
: dele
t
e th
e
get_ran
g
e_list(
)
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
D
a
n Carpenter
new: sm
a
tch_scripts/bu
i
ld
_
ke
r
nel_data
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
n
e
w: smatch_scripts/test_ker
n
e
l
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
D
an
Carpent
e
r
ranges: make
possi
b
ly_
t
rue/false() take expressi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Ca
r
penter
e
x
pressio
n
s: new file smatch
_
expressions
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Da
n
Carpenter
tree
w
ide: don't print o
f
f
set into functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Da
n
Carp
e
nter
generize
.
p
l
: ma
k
e i
t
work for sparse wa
r
nings as
w
ell
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Da
n
Carpenter
estate:
d
o
n
't reus
e
ex
t
ra_unde
f
ined
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
contraints: add o
p
tion --debug-related
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
constraints: make
set_equiv() t
a
ke an
e
x
p
r
e
ssi
o
n
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpente
r
extra, constraints: move set_e
q
uiv() from
extra to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
er
debug: add __smatch_dump_relat
e
d(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
en
t
er
i
mplied: use add_range(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
er
estate, ranges: move whole_range from estate to ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
ext
r
a
:
c
l
e
a
nup is_wh
o
l
e
_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an
Carpenter
r
anges: make p
o
ssibly
_
tr
u
e_range
_
list_rl
(
) take an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
an Car
p
e
n
ter
ran
g
es: rename
g
e
t_single_value
_
fr
o
m_din
f
o() =>
e
state_get_s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpen
t
er
implied: us
e
new e
s
tate_
r
e
lat
e
d() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
co
n
str
a
ints
:
use new estate_relate
d
() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan
C
a
rpe
n
ter
constraints: make
get
_
co
m
mo
n
_relatio
n
ship() t
a
ke an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpent
e
r
e
state: i
n
troduce estate_min/m
a
x
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan C
a
rpenter
estate: introduce est
a
te_r
e
l
at
e
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estat
e
:
introduce es
t
ate_r
a
nges() helper
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-21
D
a
n Car
p
enter
dinfo, estate: mv smatch_dinf
o
.
c
smat
c
h_esta
t
e
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next