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
proc_create: fix a whitespace issue
2012-05-27
Dan Carpenter
slist: put the sm_state its
e
lf int
o
->pos
s
ible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist
:
cleanup
merge_
h
o
oks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpent
e
r
extra:
d
on
'
t create a new
m
e
rged estate if ->ri
g
ht
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
D
an
C
arpenter
estates:
r
e
use same e
s
tate for extra_undefined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: get
r
id
of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
co
n
strain
t
s
:
remov
e
so
m
e dead c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
a
r
p
enter
c
onstraints:
fix set_eq
u
iv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpenter
c
o
ns
t
rain
t
s
:
add_re
l
ated() should take
a relate
d
_
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constr
a
ints
:
sor
t
the ->related list properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
constraints: r
e
place get_common_relat
i
onshi
p
() with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slist: move add_p
o
ol() to smatch_implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit_shift: add
t
est_bit() func
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpe
n
ter
flow
:
silence f
a
l
se positives
c
aused by hairy
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
i
m
plied: ren
a
me ->my_pool to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
p
enter
slist: rena
m
e ad
d
_possi
b
le() =
>
copy_possibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
e
n
ter
or_vs_and: ignore *p
+
+ || *p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
arpenter
tracke
r
: fi
x
a small memo
r
y
l
eak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
m
o
dification: remove
c
alls
to delet
e
_
state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpent
e
r
check_dereferen
c
e
: ena
b
le this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db: store w
h
ether func
t
i
ons are glob
a
l or static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an
C
arpenter
tra
c
ker: re
m
ove u
n
u
sed
c
lone_tra
c
ker_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slis
t
:
b
uf
f
er
overflow
in debuggin
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
an Car
p
e
n
te
r
user_da
t
a: fix NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Da
n
C
a
r
p
e
n
t
er
db
:
white sp
a
ce cle
a
nups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
nter
db: mov
e
pa
r
amete
r
_implicat
i
ons
i
n
to the databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ranges: add poss
i
b
l
y
_true/false_rang
e
_l
i
sts_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan C
a
r
p
enter
overfl
o
w: a
u
tomatically list functions
t
h
at take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n
C
a
r
penter
modifi
c
ation_hooks: complete r
e
w
r
i
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
D
an Carpenter
db: print the SQL
q
ueries w
h
en --debug
i
s on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
cleanup: use valid_pt
r
_min/max
.
ge
t
r
id of POINTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpent
e
r
ex
t
ra: dereferencing a pointer means it is va
l
id
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rp
e
nter
impl
i
ed: c
l
eanup d
e
bug output
a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
s
l
ist: pull show_sm() into a separate function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
check_k
e
rnel: ERR_PTR()
r
e
t
urns non-
N
ULL (mo
s
tly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
e
r
efer
e
nce checks: use the cross
funct
i
on
i
nfo from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* check_dereferences_pa
r
am: list function
s
that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nt
e
r
*new* r
e
tu
r
ns: merge all slis
t
s from
a
ll return
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
db: a
d
d
c
a
l
l_imp
l
ies
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Ca
r
p
e
nter
fl
o
w: print a
differ
e
nt filename when --info o
p
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref:
f
ix a t
y
po in the error messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan C
a
rpent
e
r
user_data: tr
a
ck
u
ser data that is ret
u
rned to
o
th
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan C
a
rp
e
nter
b
o
o
l
_implicatio
n
s: r
e
move debug
g
i
n
g
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan C
a
rpenter
fix compil
e
on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
g
e
n
erisize
.
pl: strip
all strings not just the firs
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpenter
buf_siz
e
: Add a NULL
c
heck to get_arr
a
y_s
i
z
e
_
b
ytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
ar
p
enter
*new*
s
iz
e
of_po
i
nter:
us
i
ng
s
izeof(p
)
w
h
ere
s
izeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
overfl
o
w: check memcpy() to see if we'r
e
comparin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
extra
:
d
o
n't res
e
t &argumen
t
s until the o
t
her checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nter
flow: change
how "for (i = 0; ;
i++)
{
.
.
.
"
is
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* or_vs_and:
c
omp
l
ai
n
about if (
x
!= 3
|
| x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
D
a
n Car
p
ente
r
sparse:
introduce get_expressi
o
n
_value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: intro
d
uce
i
s_pointer() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: frob(foo)
resets the value of
*
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Car
p
e
n
ter
extra: foo((void *)&x
)
wri
t
es to x prob
a
b
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges:
i
ntro
d
u
c
e
invert_range_l
i
s
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
m
a
th: handle _
_
s
m
atc
h
_implied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpente
r
r
an
g
es: comm
i
t r
a
n
ge_
l
ists_equiv() so
that bool_implica
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
smd
b
_param_buf
_
size
.
sh:
ask db what s
i
ze b
u
ffers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arp
e
nter
extra
:
get_impli
e
d_range_list() shou
l
d
h
a
ndle con
d
itions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf
_
siz
e
:
st
o
re buffer s
i
z
e
s in db (turned
o
ff by default)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
db: don't die on SQL error
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
b
ool_i
m
pl
i
cations: make a list of implic
a
tio
n
s for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math:
h
andle lo
g
ical expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n Carpenter
core: pr
i
nt sm_msg()s before parsin
g
starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpenter
parameter_i
m
plicat
i
o
ns: gener
a
t
e
list of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Ca
r
penter
db: ma
t
c
h_return(
)
shouldn
'
t
r
e-im
p
lement ge
t
_
implied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: sort
of
ha
n
dle cond
i
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpent
e
r
m
a
t
h: si
m
p
l
ify implied_condition_t
r
ue
/
f
a
lse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
math: simp
l
ify known_conditi
o
n_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
e
n
ter
math:
ha
n
dle _
_
smatch
_
im
p
lied((
{
frob();
2
;}))
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Car
p
enter
math: hand
l
e
f
oo = !2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carp
e
nt
e
r
extra, math:
move
k
n
ow
n
_c
o
n
diton_tr
u
e/f
a
lse() et
c
from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Car
p
e
nte
r
project: fix
p
arameter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carp
e
n
t
er
helper:
i
ntro
d
uce get_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan C
a
rpenter
d
b: prin
t
all return values at end
of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Da
n
Carpen
t
er
db: a
d
d some smdb_ s
c
ripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpent
e
r
fil
l
_db_r
e
turn_info:
f
i
x out
d
a
t
e
d
p
arsing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
C
arpenter
extra
:
always init
i
al
i
ze the range
i
n
g
et_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() f
o
r fu
n
ction call
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Car
p
e
nter
c
h
eck_macros: clea
n
u
p
: use
pos
i
t
ions_eq(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macr
o
: take a str
u
ct positi
o
n
,
not a pointer to a s
t
ruc
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
Carpe
n
ter
i
m
p
l
ied: cleanup: move dubu
g
printfs to t
h
eir own f
u
nctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arp
e
nter
ranges:
g
et
rid of possibly_(
t
rue/false)_range_list_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Ca
r
pen
t
er
ranges:
clea
n
up: move true_comparison_range_lr
(
)
i
nto
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
Carpe
n
ter
ex
t
ra: add paramete
r
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Ca
r
penter
ranges: i
n
tr
o
du
c
e clone_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
te
r
ranges:
i
nitialize the pointer in g
e
t_val
u
e_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Ca
r
pente
r
db: ignore functions whic
h
are called a l
o
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type:
expor
t
get_re
a
l_base_t
y
pe(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nter
db: add cod
e
to hack up the database
w
ith proj
e
ct
s
peci
f
ic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpe
n
ter
conditi
o
ns: pres
e
rve
|
= as the assign op in foo
|=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Da
n
Carpenter
t
y
pe: sizeof() is unsigned long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpenter
con
d
itions: sparse
never seems to use SP
E
CIAL_UNSIGNE
D
_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
helper:
introduce po
s
iti
o
n
s
_eq(p
o
s1, p
o
s2) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
build_ker
n
el_data
.
sh: make i
t
e
x
ecutable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Ca
r
penter
macro_
s
ide_
e
ffe
c
ts
:
sil
e
nc
e
f
alse positives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
t
e
st_k
e
rne
l
.
sh: c
r
e
a
te
a bak
.
smatch
at the
b
e
g
i
nning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
C
arpen
t
e
r
*new* check_ma
c
ro_side_e
f
fects: macros which
evaluate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
a
rpenter
f
l
o
w
:
i
gn
o
re
__builti
n
_constant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
sparse: set the scope->
t
oken member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next