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
Dan Carp
e
n
t
e
r
es
t
a
t
es: reuse
sa
m
e estate
for extra_undefi
n
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpenter
constraints: get
ri
d
o
f
add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Car
p
enter
constraints
:
r
e
move some dead
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpe
n
ter
constrai
n
ts: f
i
x set_equi
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpente
r
c
onst
r
ain
t
s: add_related(
)
should take a r
e
lated
_
list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpenter
co
n
straints: sort the
-
>related li
s
t properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n Carpenter
constraints:
replace get_common_relationship() w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slis
t
:
move add
_
pool() to
smatch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpe
n
ter
bit_shift: add test_bit() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
D
a
n
Carpenter
f
l
ow: s
i
le
n
c
e
false positi
v
es
caused by hair
y
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
impli
e
d:
r
e
n
ame ->m
y
_pool to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an
Carpenter
sl
i
st
:
rename add_poss
i
ble() => copy_possibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpe
n
t
er
or_vs_and: ignore *p
+
+ ||
*
p
+
+
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpenter
tracker: fix a small memor
y
l
eak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
rpen
t
er
mo
d
ification: remove calls t
o
delete_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpe
n
ter
c
h
eck
_
dereference
:
enable this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
db: store w
h
ether functions a
r
e global
o
r stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpe
n
ter
t
r
a
cker: remove unused c
l
o
n
e_tracke
r
_l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
slist: buffer o
v
erfl
o
w i
n
debugging
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carp
e
nter
user_da
t
a: f
i
x
NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
d
b: white spa
c
e c
l
e
an
u
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: move par
a
mete
r
_im
p
li
c
a
t
i
o
ns into the da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ranges: add poss
i
bly_true/false
_
range_lists_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpent
e
r
overflow: automaticall
y
list functions that take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Car
p
enter
m
o
dification_hooks
:
complete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Car
p
en
t
er
d
b: print th
e
SQL
q
u
eries when
-
-debug
i
s on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Car
p
enter
cleanup:
u
se valid_
p
tr_mi
n
/max
.
get
rid
o
f
P
OINTER_
M
AX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Car
p
ente
r
extra:
d
erefe
r
encing a
pointer me
a
ns i
t
i
s
v
a
lid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
i
mp
l
i
ed: cleanup
d
ebu
g
output a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Carp
e
nter
slist: pull sh
o
w_
s
m() into
a sep
a
r
ate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpen
t
er
c
h
e
ck_kernel:
ERR_PTR() returns
non-NULL (mostly
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
t
e
r
d
ereferen
c
e checks:
use the cross f
u
nction
i
nf
o
from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
r
pent
e
r
*n
e
w* ch
e
c
k_dereferences_param: list functi
o
ns that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpe
n
ter
*new* re
t
urns: merge all slists from al
l
retu
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpe
n
t
e
r
d
b
:
a
d
d
call_implies table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: prin
t
a different filename when --info option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
t
er
dere
f
: fix
a
t
y
po
in the err
o
r me
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Carpenter
use
r
_data: track u
s
er
data that is returned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpe
n
ter
bool_imp
l
i
cations: r
e
move debugging ou
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix com
p
il
e
on Ubu
n
tu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n
Carpen
t
e
r
ge
n
eris
i
ze
.
pl: strip a
l
l strings not just t
h
e firs
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
buf_size: Add a NULL check t
o
get_arr
a
y_si
z
e_
b
ytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* sizeof_pointer: using sizeof(p)
w
h
e
re sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpenter
overflow
:
check memcpy() to
s
ee
i
f we're
co
m
pa
r
in
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
extra: don't reset &arg
u
ments until the other checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nt
e
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
Dan Car
p
enter
*new* or_vs_and
:
compl
a
in ab
o
ut
i
f (x
!
=
3
|
|
x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpe
n
ter
s
p
ar
s
e: introduce get_expression_
v
alue_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: introduc
e
i
s_pointer() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan C
a
rpenter
extra
:
f
r
o
b(foo) re
s
ets t
h
e value
o
f
*
f
oo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpen
t
er
extra:
f
o
o((vo
i
d *)&x) wri
t
es t
o
x probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
D
a
n Carpe
n
t
e
r
ranges: intro
d
u
c
e invert_
r
ange_list
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpent
e
r
m
a
th: handle __sm
a
tch_impl
i
ed(&x
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
e
nte
r
r
anges: commit range_lists_equiv()
so that bool_
i
mplication
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
C
a
rpenter
s
m
db_param_buf_si
z
e
.
sh: ask db what
s
ize bu
f
fers a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpent
e
r
extra:
g
e
t
_
implied_range_list() sh
o
uld han
d
le conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpe
n
t
e
r
buf_size: store buffer sizes i
n
d
b (turned off
by
d
e
faul
t
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
enter
d
b
: do
n
't die
o
n SQL e
r
ror
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
an
Carpen
t
er
boo
l
_imp
l
ic
a
tions: make
a
list
of impl
i
c
a
t
ions for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
D
a
n Carp
e
nter
math
:
handl
e
l
ogical
e
xpressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n Car
p
enter
c
ore: print sm_ms
g
(
)
s
b
e
fore parsing star
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Car
p
enter
parame
t
er_im
p
l
ications
:
generat
e
list of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
db: mat
c
h
_
re
t
urn() shoul
d
n't re-implement get_implied_rang
e
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
nter
math
:
s
o
rt o
f
handle conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpe
n
ter
math: simplify impl
i
ed_condition_
t
rue/f
a
ls
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: si
m
plif
y
known
_
c
ondition_true
/
fals
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Car
p
enter
math:
h
a
ndle __smatch_im
p
lie
d
(({fro
b
(); 2;}
)
);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
math:
h
a
ndle foo = !
2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
nt
e
r
e
xtr
a
, math:
move known_co
n
d
i
ton_t
r
ue/false() etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
D
an
C
a
rpenter
project: fix
p
arameter
impl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: introduce get_membe
r
_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
pen
t
er
db: print all return
va
l
ues at end of
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db:
a
dd s
o
me smd
b
_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpe
n
t
er
fill_db_retu
r
n_info:
f
ix
out
d
a
t
ed parsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
penter
ex
t
ra:
always in
i
t
i
alize th
e
range i
n
get_
i
mplied_rang
e
_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
pe
n
ter
extra:
f
ix get_
i
mplied_rang
e
()
f
or
f
unction calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpenter
chec
k
_macros:
c
leanup: use positions_
e
q()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
mac
r
o: take a
s
tr
u
ct position, not a pointer to a
struc
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
C
arpente
r
imp
l
i
ed:
c
l
e
an
u
p: move dubug
p
rint
f
s to their
o
wn funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
r
anges: get
r
id
of possibly_
(
tr
u
e/false
)
_range_
l
i
s
t_ls(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
r
a
n
ges: cleanup: move true_comparis
o
n
_
range_l
r
() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
Carpenter
extra: add para
m
eter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges:
introduce
c
lone_pe
r
m
anent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
ranges: initialize the point
e
r in
g
e
t
_value_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
d
b: ignore functions which a
r
e called a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type: export get_real_base_t
y
p
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: add
code to hack up the datab
a
s
e
with
project s
p
ecific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpenter
conditions:
p
r
e
ser
v
e |= as th
e
assign op
i
n
f
o
o
|=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan
Ca
r
penter
type: sizeof() is
u
nsig
n
ed long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditio
n
s: sparse never seems to use SPECIA
L
_U
N
SIGNED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
helper: introduce positio
n
s_e
q
(po
s
1, pos2) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpen
t
er
bui
l
d_kernel_
d
ata
.
sh: mak
e
i
t
executab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
m
a
cro_side_effects: si
l
ence false pos
i
ti
v
es
ins
i
de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
t
est_
k
ernel
.
sh: c
r
e
a
te a
b
ak
.
smatch
a
t the beginnin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
nter
*new* check_macro_side_effects: macr
o
s which evaluate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
fl
o
w: ignore __builtin_co
n
sta
n
t_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Ca
r
pe
n
ter
sp
a
r
se: set the sc
o
p
e->token me
m
ber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n Carp
e
nter
call_tree
.
pl: This
was still using the o
l
d f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
b
u
ild_ker
n
el_data
.
sh: add --c
a
l
l
-t
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpen
t
er
locking: ignore unreachable unlocks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next