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
estates: reuse same estate for extra_undefined()
2012-05-26
Da
n
C
a
rpenter
estat
e
s
: reuse same estate for extra_unde
f
ined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carp
e
nter
c
o
nstrain
t
s
: get rid
of
a
dd_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constra
i
n
ts: remove some dead
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
p
enter
co
n
s
t
raints: fix set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpente
r
cons
t
raints:
ad
d
_
r
elated() should take
a rel
a
ted_l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
co
n
strain
t
s: sort the -
>
r
e
lated
l
ist proper
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constra
i
n
ts: replace get_co
m
mon_relatio
n
ship()
with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
sli
s
t: move add_p
o
ol() to smatc
h
_
imp
l
i
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan
C
arpenter
bit_
s
hif
t
:
add te
s
t_bit
(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
an Carpenter
flow
:
si
l
ence false positives caused
by
h
airy fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpent
e
r
im
p
lied: re
n
ame ->m
y
_pool to
->po
o
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
slist: rena
m
e a
d
d_p
o
s
s
ible() => copy_
p
ossib
l
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpen
t
er
o
r_
v
s_and: ig
n
ore
*
p++
|
|
*p+
+
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
t
racker: fix a sm
a
ll
memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpen
t
er
m
o
dification: remove c
a
l
ls to delete_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
c
h
eck
_
derefe
r
en
c
e: enab
l
e
t
his
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
d
b: st
o
re w
h
ethe
r
fu
n
c
t
ions
a
re glob
a
l or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
track
e
r: remo
v
e unuse
d
clone
_
t
racker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
slist: buffer ov
e
rfl
o
w
i
n
debugging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_d
a
ta: f
i
x NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
Ca
r
pent
e
r
db: white sp
a
ce cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
Carpenter
db: m
o
ve pa
r
am
e
t
e
r
_
im
p
licatio
n
s into the
d
a
t
aba
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpent
e
r
ranges: a
d
d possibly_true/false_range_lists_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n Carpenter
overflow: au
t
omaticall
y
lis
t
functions that
t
ake a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
m
odification_hooks: complete rew
r
i
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpente
r
db:
print
t
he SQL queries
w
hen --debug
is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n
C
a
rpe
n
ter
cleanup: us
e
vali
d
_ptr_min/max
.
get rid
o
f POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carp
e
n
t
er
extra: derefe
r
e
n
cing a pointer
m
eans it is va
l
id
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
implied
:
cl
e
anup de
b
ug output a litt
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
arpenter
slist: pull show
_
sm() into a
separ
a
t
e fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
check_
k
erne
l
: ERR_PTR() returns
n
on-NULL (mo
s
tly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
dere
f
erence
checks: use
t
he cro
s
s functio
n
info
f
r
om
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rp
e
nter
*new* check_
d
erefer
e
nce
s
_pa
r
am:
l
ist functions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
*new* re
t
urns: merg
e
all slists fr
o
m all r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
db:
ad
d
call_im
p
lies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
flow: print a different filen
a
m
e
w
h
en --info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpen
t
er
deref: fi
x
a typo in the error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Ca
r
penter
user_data: track user data
that is returned to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
b
o
ol
_
implications: remo
v
e debugg
i
n
g out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix comp
i
le on
U
b
unt
u
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
gen
e
risize
.
pl: stri
p
all strings not
j
u
st the first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpen
t
er
buf_size: Add a
N
ULL c
h
eck to get_a
r
r
a
y_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
*new* siz
e
o
f_
p
oint
e
r: using sizeof(p) where siz
e
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
ov
e
rflo
w
: check memc
p
y() to
s
e
e
if
we're compar
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
extra: don't rese
t
&arguments until
the other checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
flow: change how "for (i = 0;
; i++
)
{
.
.
.
"
is h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
Carpen
t
er
*
new* or_
v
s_and: co
m
plain about if (x
!
= 3 ||
x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Car
p
enter
sparse: introduce get_e
x
pressi
o
n_
v
alue_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan
C
arpen
t
er
type: introdu
c
e is_poin
t
er() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Ca
r
p
en
t
er
e
xt
r
a: frob(foo
)
res
e
ts the value of *
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
C
arpenter
extra: foo
(
(void *)&x
)
wr
i
tes t
o
x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Ca
r
penter
ranges: introduce invert_ra
n
g
e_
l
i
s
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan
Carpe
n
ter
math: hand
l
e __smat
c
h_im
p
lied(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpe
n
t
e
r
ranges: co
m
mit range_lists_equiv()
so that bo
o
l_impl
i
ca
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpente
r
smd
b
_param_buf_size
.
sh
:
as
k
db what size
buffers a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
extra:
get_implied_range_list()
s
hould handle co
n
ditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_size: store
buffer si
z
es in db (turned off b
y
def
a
ult)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
db:
don'
t
die on
S
QL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool_implications: make a list of implications
f
or
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan
C
a
r
p
enter
math: handle logical
expr
e
ss
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
core: print sm_m
s
g()
s
bef
o
re parsin
g
star
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n
Carpent
e
r
pa
r
ameter_implications: gen
e
rat
e
list
of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
db: ma
t
ch_return() sho
u
ldn't re
-
implement
get_
i
mpl
i
ed_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpenter
m
a
th: sort of hand
l
e
c
ondition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
sim
p
li
f
y implied_condition_tr
u
e/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpenter
m
a
th: si
m
plify known_conditio
n
_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: handle
_
_
smatch_im
p
lied(
(
{frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an
C
arpenter
math:
h
a
n
d
le foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpent
e
r
extra, math: mo
v
e known_c
o
n
diton_true/false(
)
etc
f
rom
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan C
a
rpenter
proj
e
ct: fix para
m
et
e
r implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n Carp
e
nte
r
helpe
r
: introduce get_member_name(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n
Carpent
e
r
db
:
pri
n
t
all r
e
turn v
a
lues at end o
f
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpent
e
r
d
b
: add some smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpen
t
er
fill
_
db
_
r
eturn_info
:
fix ou
t
dated parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
e
xt
r
a
:
always initialize
t
h
e range in
g
et_impli
e
d_
r
an
g
e
_
l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpenter
ex
t
ra: fix
g
e
t
_impli
e
d
_range() for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
c
heck_macr
o
s:
c
leanup: use position
s
_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
rpenter
mac
r
o: take a st
r
uct po
s
i
tion,
n
ot a poi
n
t
e
r to a st
r
uct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
implied: cleanup
:
mo
v
e
d
ubu
g
printfs to the
i
r
own
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpe
n
ter
ranges
:
get rid of p
o
ssibly_(true/false)_range_l
i
st_l
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpent
e
r
ra
n
ges: cleanup: move true_comparison_range_lr()
int
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpenter
extra: add
p
arameter impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpente
r
rang
e
s: int
r
oduce clone_perman
e
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
ranges: initial
i
ze the poi
n
ter
i
n get
_
value_ra
n
ges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: ig
n
ore functi
o
ns which are called a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type: export
get_real_ba
s
e_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
db: add code to hack
u
p
the data
b
ase with projec
t
s
p
ecifi
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Car
p
enter
con
d
iti
o
ns:
p
reserve |= as the assig
n
op i
n
foo |
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpenter
type:
siz
e
o
f
() is
u
nsi
g
ned
long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
condit
i
ons:
s
parse nev
e
r
seems to us
e
SPECIAL_UNSIGNE
D
_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Car
p
ent
e
r
helper: int
r
oduce p
o
s
itio
n
s_eq(pos1,
p
o
s
2) f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
build_ker
n
el_
d
at
a
.
sh: make it ex
e
cut
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
Carpent
e
r
macro_side_effe
c
ts: silence false po
s
itives i
n
side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Car
p
enter
test_kernel
.
sh: creat
e
a bak
.
smatch at the beginni
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Ca
r
pe
n
t
e
r
*
n
ew* chec
k
_macro
_
s
ide_effects: mac
r
os which evaluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
C
arpente
r
flo
w
:
ignore __builtin
_
constan
t
_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
spar
s
e
: se
t
the s
c
ope
-
>token member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
call_tree
.
pl: This wa
s
still using t
h
e old format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n Carpenter
b
u
ild_kernel_da
t
a
.
sh: add --cal
l
-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
l
ocking: ignore unreach
a
ble unlocks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next