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
extra: dereferencing a pointer means it is valid
2012-05-16
Dan
C
ar
p
enter
extra:
d
eref
e
renc
i
ng a pointer means it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
implie
d
: cleanu
p
debug output a litt
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist
:
pull
sh
o
w_s
m
(
)
into a se
p
ara
t
e f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
check_k
e
rnel:
ERR_P
T
R()
r
e
t
urns non-
N
U
LL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
C
arpente
r
d
e
r
eference check
s
: use the c
r
oss functi
o
n
info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
C
a
r
penter
*new* che
c
k_d
e
refer
e
n
c
es_param: list functions
t
h
a
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
*
new* returns: merge all sl
i
sts from
a
ll retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpente
r
d
b
:
add ca
l
l_implies ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow: p
r
i
nt a d
i
f
f
ere
n
t
filenam
e
when --info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
dere
f
: fix a t
y
po
i
n the error messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
us
e
r_data: tr
a
c
k
user dat
a
that is ret
u
rne
d
to oth
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpe
n
ter
bool_im
p
lications: remove
debu
g
ging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix c
o
mpile on Ub
u
ntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n Carpent
e
r
generisize
.
p
l: strip
a
ll st
r
ings
not just the
f
i
r
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
a
r
penter
buf_size: Add a
NUL
L
check t
o
get
_
array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* sizeo
f
_pointer
:
u
s
ing size
o
f(p)
where siz
e
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
ove
r
f
l
o
w: check memcpy() to see if we'r
e
c
o
mp
a
ring
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Car
p
e
n
ter
extr
a
: do
n
't reset
&
ar
g
u
m
ents unti
l
the oth
e
r
checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpe
n
ter
flow: cha
n
ge h
o
w "for (
i
= 0; ; i++
)
{
.
.
.
" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
Carp
e
nte
r
*new* or
_
vs_and: c
o
mplain about if (x !=
3
|| x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Da
n
C
a
rpen
t
er
s
p
arse: introduce g
e
t_expression_v
a
lue_nomod(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: i
n
tr
o
d
uce
i
s_pointer(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
ex
t
r
a: f
r
ob(foo)
resets th
e
value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Car
p
ent
e
r
extra: f
o
o
(
(void
*)&x) writes to
x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges: intr
o
d
u
ce invert_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpente
r
math:
h
andle __smatch_implied(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpent
e
r
ra
n
ges:
commit range_li
s
ts_e
q
u
iv
(
)
s
o
t
hat
b
ool_implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpenter
s
m
db_param_buf_
s
ize
.
sh: as
k
db what s
i
ze buffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
extra: get
_
implie
d
_
r
ange_list() shoul
d
handle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bu
f
_
s
i
z
e:
stor
e
buffer sizes in db (turned o
f
f by default)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpenter
db: d
o
n't
d
ie on SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Car
p
enter
bool_imp
l
ica
t
ions:
m
a
k
e a list of imp
l
ications for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
D
a
n
C
a
r
penter
math: handl
e
log
i
cal expre
s
sions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpenter
core:
print
s
m_msg()s before parsi
n
g star
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpente
r
parameter_i
m
plications: generate list of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
d
b
: match_return() shouldn't re-implem
e
nt get_im
p
lied_
r
a
n
g
e
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpe
n
t
er
math: sort of hand
l
e cond
i
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpe
n
t
er
math: simpli
f
y im
p
lied_condition
_
tru
e
/f
a
lse()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
nter
ma
t
h: simplify known_condition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Ca
r
p
e
nter
math: ha
n
d
le __s
m
atch_im
p
lied(({
f
rob(); 2;
}
)
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Car
p
enter
ma
t
h: handle foo =
!
2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
r
p
enter
extra, math: move known_conditon_true/false() etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpente
r
project: fix parame
t
er
im
p
lica
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n
Car
p
enter
help
e
r: introduce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
db:
pr
i
n
t al
l
return val
u
e
s
at end of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan
C
arp
e
nter
db: add some s
m
db_ scr
i
pts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
f
i
ll_db_r
e
t
u
rn_
i
n
f
o:
fix o
u
t dated parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
nter
extra: a
l
ways initialize the
r
a
ng
e
in g
e
t
_implied
_
range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fix get_implied_range
(
) for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
check_
m
acros: cleanup:
use
positions_
e
q()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpente
r
macro: take a str
u
ct position, not
a
p
o
inter to a stru
c
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
p
ent
e
r
implied: cleanup: move dubug print
f
s to their own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
penter
ran
g
es: get rid of pos
s
i
b
ly_
(
tru
e
/f
a
lse)_range_list
_
l
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpe
n
te
r
ranges:
c
leanup
:
m
ove
t
rue_com
p
aris
o
n
_
range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
extra: add
parameter
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
a
rpenter
rang
e
s: intr
o
duce
clon
e
_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
r
anges: initiali
z
e the pointer in get_value_
r
anges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
db: ignore functions which a
r
e ca
l
led
a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
typ
e
:
e
x
p
o
r
t
g
et_real_base_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpenter
db: add code to
h
a
c
k up
the d
a
t
abase
w
ith project specif
i
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditions: prese
r
ve |= as t
h
e
assign
op in foo
|
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpe
n
t
e
r
t
ype:
s
i
z
e
o
f() is unsigned
lo
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n
C
a
rpenter
conditions: sparse n
e
ver seems to
u
se SPECIAL_U
N
SIGNED
_
GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpente
r
helper:
intro
d
u
c
e
p
ositions
_
eq(pos1, pos2) f
u
nct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carp
e
nte
r
bui
l
d_kernel_data
.
sh: m
a
ke it executable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
macro
_
side_
e
ffects: silence false positives insi
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpente
r
t
est_kernel
.
sh: crea
t
e a ba
k
.
smatch at
t
he beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
an Carpenter
*new* check_macro_side_effects:
m
acros which eva
l
uate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpent
e
r
flow: ignore
_
_
builtin_constan
t
_
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
nter
sparse: set the
s
c
ope->token member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n Carpenter
cal
l
_tree
.
p
l: T
h
is
w
as
s
till
u
si
n
g the old format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpen
t
e
r
build_ker
n
e
l_dat
a
.
sh: add --call-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
penter
locking: ignore unr
e
achabl
e
unl
o
cks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
loc
k
ing: white
space
c
h
a
ng
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
a
rpen
t
er
new
_
bugs
.
sh: fix it
f
o
r
g
c
c and spar
s
e
warning
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
p
enter
lock
i
ng: ton
s
of
locks
w
ere ignored because of chang
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpe
n
t
e
r
t
o
ken_stor
e
: creates a pos
i
tion -> to
k
en
m
apping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan
Car
p
ent
e
r
M
er
g
e branch
'devel2'
commit
|
commitdiff
|
tree
2012-03-08
D
a
n
Carpenter
*
new* check
_
bit
_
s
h
ift
.
c: (foo & BAR) vs (foo &
(1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*new* p
o
inter_math: complain a
b
o
u
t ptr
+
sizeo
f
() wh
e
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
D
a
n Carpenter
type: exp
o
rt
g
e
t
_
p
ointer_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
D
an Carpenter
t
y
pe: e
x
port ge
t
_
p
ointer_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
fl
o
w: fi
x
segfault on parse
e
rror
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Ca
r
pent
e
r
h
o
oks:
add CAST
_
H
O
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
a
n Carp
e
nter
t
y
p
e
: add nr_
b
its(struct expressio
n
*
e
xpr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
ext
r
a: delete the ge
t
_range_list() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan C
a
rpente
r
new: smatch_scripts/build_kernel_
d
ata
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpente
r
new: smatc
h
_scripts/test_k
e
rnel
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
arpenter
ranges:
m
a
k
e possibly_true/
f
alse() take expression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
D
an Carpenter
expre
s
sions
:
n
ew file
smatch_expressions
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpe
n
ter
tree
wide: do
n
't print offset into
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan
Carpenter
generize
.
pl
:
make it
w
o
r
k for spars
e
warnings
a
s
well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
estate: do
n
't reuse
ex
t
ra_undefine
d
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan C
a
rpe
n
t
er
contraints: a
d
d o
p
tion --debug-related
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpent
e
r
constraints: make
s
e
t
_equiv()
t
ake a
n
expressio
n
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
extra
,
constraints: move set_eq
u
iv()
f
r
om extra
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nte
r
debug: add __smatch_du
m
p_related
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
i
m
plied: use add_ra
n
g
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
estate, rang
e
s: mo
v
e wh
o
l
e_range from
est
a
te to ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Car
p
enter
extra: cle
a
nup
is_whole_
r
ange()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next