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
flow: set position at the start of the function correctly
2016-06-14
Dan Carpenter
flo
w
: se
t
position at the start of the
f
unction cor
r
ectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Car
p
ente
r
fun
c
t
ion_hooks:
f
i
x a t
y
po
i
n d
e
bug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
enter
i
mplied: tweak timeout in
s
eparate_and
_
filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rp
e
nter
fu
n
c
t
ion_ho
o
k
s
:
f
ix a ty
p
e
i
s
sue (affects
r
anged function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
C
a
r
pente
r
fun
c
tion_hook
s
: fix db and
r
ang
e
d
_
functions integratio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Car
p
ente
r
db/kernel
.
r
e
turn
_
fixes: h
a
ck aroun
d
down_interrup
t
i
b
le(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpent
e
r
db/ker
n
el
.
return_fixes
:
add
s
cn
p
rin
t
f()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
function_hook
s
:
fi
x
locking
f
a
l
se pos
i
tives
when you
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
a
rpenter
extra: fix
m
e
mset()
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Carpenter
impli
e
d:
d
e
lete unused function sm_state_in
_
sli
s
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpen
t
er
p
t
rlist:
u
se after free in las
t
_
p
tr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
flow: type
issue handling swit
c
h st
a
t
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carpente
r
r
a
n
ge
s
: f
i
x type is
s
ue in r
e
m
o
ve_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n
C
a
rpente
r
c
o
nditions: silence v
a
lgrind warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan Ca
r
pen
t
er
flow: set final_pass if
we have to bail
on a funct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: export get_
o
the
r
_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Carpenter
impossible: add is_impossible_
p
ath() to smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
db
:
don't
c
rash gen
e
r
a
t
i
ng SQL for invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
e
xtra:
f
i
x bug handling untracked point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
r
p
en
t
e
r
struct_assignment: ignore cert
a
in types
o
f
assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Ca
r
penter
ext
r
a
: deferences in fak
e
as
s
i
g
nments don't
c
ount
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
er
extra:
h
an
d
l
e fake assi
g
n
m
ent
s
faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Da
n
C
arpenter
im
p
lied: improv
e
overwrite_st
a
tes_
u
sing_pool(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan C
a
rpenter
implied: add a comment explai
n
i
n
g ho
w
i
m
plicatio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan
C
arpenter
f
u
n
ction_
h
ooks: chec
k
PARAM_LIMIT im
p
lications all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan C
a
rpent
e
r
fun
c
t
i
on_hooks: i
n
teg
r
a
t
e call_implies hooks wi
t
h
t
he db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
s
l
i
s
t: m
a
ngle t
h
e lin
e
number of me
r
g
e
d states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
siz
e
o
f_param: remove read_rom() from checked funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
create_db:
d
e
l
ete some duplicate entrees from fu
n
ction
_
ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
real_abso
l
ute: don't
s
t
ore whole ra
n
ges
f
or no
reaso
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
p
e
nter
struct_assign
m
ent: pull split_fake_expr
(
) into it
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
db: l
i
mit the amount of data in type_val
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpenter
extra: han
d
le if (IS_ERR(foo[bar])) {
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
d
b: int
r
oduce
g
et_
p
a
r
a
m_name_var
_
s
ym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
implie
d
: handle chunks in
s
witch statements
l
ike switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
extr
a
: don't mark all arrays
as
dereferenc
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
a
rpe
n
ter
helpe
r
:
crea
t
e an allo
c
_state_e
x
pr() helpe
r
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
whitespace: rem
o
ve s
o
me
b
l
ank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpent
e
r
extra: remove unused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
C
a
rpenter
loc
k
ing: add more impo
s
sible handli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
db: r
e
move
s
ome ex
t
ra semi-colons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
rang
e
s: remove an un
n
e
e
d
e
d initial
i
zer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carp
e
nter
return
s
:
p
r
ovi
d
e a split out list
o
f all the return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nter
ret
u
rns: add get_
a
ll_returns
_
states() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an
Carpen
t
er
move f
r
eeing to AFTER_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpent
e
r
db: constify some poin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an
C
a
r
penter
extra: add m
i
ss
i
ng incl
u
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
e
n
ter
e
x
tra: don't
o
ve
r
w
r
ite non-n
u
ll poin
t
e
r
s because o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpe
n
t
er
ex
t
ra: f
i
x hand
l
i
n
g o
f
"if (
f
oo & 0x3210)
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpenter
param
_
set
:
i
nt
r
od
u
c
e
param_was_set_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carp
e
n
t
e
r
imp
o
s
sible: handle switch sta
t
ement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
an Ca
r
penter
i
mpos
s
ib
l
e
:
don't ov
e
rwri
t
e the impossi
b
le
s
tat
e
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Ca
r
penter
i
mplied: handle implicati
o
ns for
i
f
(
({whatever;
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
D
a
n
Carpe
n
ter
slist: create
is_leaf() function which
i
s the opposite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carpenter
ran
g
es: u
s
e
signed t
y
pe fo
r
negat
i
ve ints less t
h
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
d
b
/ke
r
n
e
l
.
retu
r
n_fixes regmap_bulk_read() retur
n
s ne
g
atives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Ca
r
pe
n
ter
ranges: fix a
bug in rl_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan
Carpen
t
er
sval, type: make
s
o
m
e fun
c
tions i
n
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Car
p
enter
implied: fi
x
an old implication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Da
n
Carpenter
i
mplied:
remove
unused add_pool() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carp
e
nte
r
implied:
p
a
ss sm_states ins
t
ead of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carp
e
nter
i
m
p
lied
:
fix
a
t
ype bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
an Carpenter
implied: upd
a
te
s
ome de
b
ug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
implied: create fake im
p
lication history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Carpe
n
ter
sta
t
es: twea
k
debug
ou
t
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Ca
r
penter
states: print debug output in __
s
et_true_fals
e
_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Car
p
enter
imp
l
ied: overwrite sma
t
ch_extra using implied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
range
s
, extra: move
a
nd exp
o
r
t
split_comparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
slist
:
remove un
u
sed
_
_se
t
_true_fals
e
_if_not_alread
y
_
s
et()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpenter
db: make a file kernel
.
r
e
turn_fixes for updat
i
ng
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
a
rp
e
n
te
r
flow: merge multiple case
statements in a row tog
e
ther
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
helper:
use
.
i
nste
a
d of -> for mor
e
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
C
arpe
n
ter
p
aram_
s
et: remove an unnneed
e
d variabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpenter
extra: p++ should clear the states for *p
or p->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpen
t
er
math: handle __builtin
_
typ
e
s_co
m
pa
t
ible_p(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
flow:
split cas
e
statement handling into its
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
r
p
ent
e
r
im
p
l
ie
d
: r
e
place __get_i
m
plied_va
l
ues(
)
with g
e
t_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow:
f
ix
bug i
j
us
t
int
r
odu
c
ed with known
s
w
itch s
t
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
debug: print the max size for __s
m
atch_
b
uf
_
size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpen
t
er
debug: include ->possible and absolute in __smatch_about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
i
m
plied:
r
emove u
n
necess
a
ry init
i
alization
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
t
er
param_cleared: strip away ca
s
t
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpe
n
ter
range
s
:
m
ake filter_t
o
p_rl() take a
r
ange_li
s
t filter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
ar
p
enter
flo
w
:
s
h
uffle cas
e
stat
e
m
ent handling arou
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Ca
r
p
e
nter
implied:
s
plit t
h
e
_
_
implied_case_stree() into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
C
a
r
pent
e
r
e
x
tra: white spa
c
e clea
n
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpente
r
im
a
ginary_a
b
solute: it's like smatch_e
x
t
r
a
.
c for
i
mpossible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Carpenter
imp
l
ied:
r
emove some d
u
p
l
icate lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
enter
e
xtra:
remov
e
an obso
l
ete comm
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
arpenter
extra:
split h
a
ndle_comp
a
r
ison() into two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: ignore unr
e
achable returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: split re
t
u
r
ns in to NULL an
d
non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
pen
t
e
r
d
b:
r
e
move po
i
ntless
return
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
db
:
small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
hooks: rena
m
e CALL_HOO
K
_
AFTER to CALL_HOOK_AFTER
_
DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
untrac
k
ed
_
p
aram: hand
l
e inline calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Da
n
Carpenter
flow:
doe
n
't
reset loop_cou
n
t for inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
D
an Ca
r
penter
im
p
l
i
ed: use the correct type for conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan
Carpent
e
r
scope: de
l
ete out of sco
p
e variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
va
l
ida
t
ion
/
sm_c
h
unk2
.
c: upd
a
t
e validation
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next