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
implied: remove an indent level
2016-06-24
Dan
C
arpe
n
ter
implied: re
m
ove an indent level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpe
n
t
er
i
m
plied: change debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpenter
ext
r
a: igno
r
e trun
c
at
e
d
l
imits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
an Carpenter
flow: handle asm
gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
db: split on bo
o
lean paramete
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n
Carpenter
struct_assignment
:
h
a
ndle point
e
rs
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
Carpenter
fun
c
tion_hooks: hack aroun
d
invalid input from the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function_hooks: fix the previous range hooks fix
a
ga
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpenter
flow: set
-
>
p
arent for expressio
n
s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Carpenter
helper, untr
a
ck
e
d_
p
ar
a
m: move the
i
n
t
_st
a
ck to sm
a
tch_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpente
r
ra
n
ges: f
i
x casting to b
o
ol
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow
:
set pos
i
tion at
the start of the
fun
c
tion cor
r
ec
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an Carpenter
func
t
ion_hooks: fix
a
typo
i
n
de
b
ug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
impli
e
d: tweak timeout in separate_and
_
filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpent
e
r
f
u
nction_hoo
k
s
: fix a type
iss
u
e (
a
ffects range
d
f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an
C
a
rpenter
f
unction_hooks:
f
i
x
db and ra
n
ged_functions int
e
g
ration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
an Ca
r
penter
d
b
/
ke
r
nel
.
r
e
turn_fi
x
es: hack
a
r
ound
d
own_interrupti
b
le()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
d
b
/
kernel
.
return_fixes: add sc
n
printf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpe
n
ter
function_
h
ook
s
: f
i
x locking false posi
t
ives when yo
u
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
extr
a
: fix m
e
m
s
et()
ha
n
dling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpenter
implied: delete unused function sm_state_in
_
slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ptrlist: u
s
e after free in last_ptr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpe
n
ter
flow: type issue handling switch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Carpenter
ranges: fix
type issue in
r
emove_ran
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Ca
r
penter
con
d
itions
:
silence valgr
i
nd warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpen
t
er
f
l
ow: set final_
p
as
s
if we have to
bail on a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
ar
p
ent
e
r
e
x
tr
a
: expor
t
ge
t
_other_name_
s
y
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
enter
imposs
i
ble: add is_impossible_path()
to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
db: don
'
t crash generating SQL for invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carpente
r
e
xtr
a
: fix bug handling untracked pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
struct_as
s
ignment: ignore
c
ertain types of a
s
sig
n
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
extra: deferences in f
a
ke assignments don
'
t count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extr
a
: h
a
ndle fake
a
s
signments fas
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Da
n
Carpent
e
r
impli
e
d: improve over
w
ri
t
e_stat
e
s_using_poo
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
implied: add
a com
m
ent
e
x
plaining
h
ow implication
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
fun
c
tion_hooks: check
P
A
RAM_LI
M
IT i
m
p
l
ications
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
f
unction_hooks:
integrate cal
l
_implies h
o
oks with the d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpen
t
er
slist
:
m
a
ngle the line
n
um
b
e
r o
f
merged states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpente
r
si
z
eof_p
a
ram: remove
r
ead_ro
m
(
)
f
rom che
c
ked functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Ca
r
penter
create_db
:
delete s
o
me duplicate en
t
rees f
r
o
m
f
un
c
tio
n
_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
real_absolute: don't store
wh
o
le
ranges for no reas
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
stru
c
t_assi
g
nment:
p
ull spli
t
_f
a
k
e_expr() i
n
to its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpenter
db: limit the amount
of data in type_value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arp
e
n
t
er
e
x
tra: han
d
l
e
i
f
(
I
S_E
R
R
(
f
o
o[bar])) {
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
pe
n
ter
db
:
in
t
roduce get_param_name_var_sy
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
implied: handle chu
n
k
s in switc
h
statements like
switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpen
t
er
e
xtra: don't mar
k
a
l
l arrays as de
r
ef
e
renced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpenter
help
e
r: creat
e
an alloc_sta
t
e_exp
r
(
)
he
l
per function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Car
p
ent
e
r
w
h
itespace
:
remove so
m
e blank
l
i
n
e
s
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: remo
v
e un
u
s
e
d f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
e
r
loc
k
ing: add more im
p
ossible h
a
ndling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
n
ter
db:
remove
s
ome ex
t
ra semi
-
colo
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
r
a
ng
e
s: remove an
u
nneeded initia
l
iz
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
er
returns: provi
d
e a s
p
lit out list
o
f all the
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
t
er
returns: add
get_all_returns_states(
)
functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
move freeing to
AFTER_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
e
n
ter
db: constify some pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpe
n
t
er
extra: add mi
s
sing include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
er
extr
a
: don't overwrite n
o
n
-null
p
oint
e
rs
b
ecause of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
extra: fix han
d
ling of "if
(
fo
o
&
0
x3210) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpen
t
er
param_se
t
: introd
u
ce para
m
_
wa
s
_set_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carpenter
i
m
p
os
s
ible:
han
d
le s
w
itch stat
e
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpen
t
er
impossible
:
do
n
't overwrite the imposs
i
ble sta
t
e by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
an Carpenter
impli
e
d
: h
a
n
dl
e
implications
f
or if (({whatever; foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
Dan
Carpe
n
ter
s
list: create is_leaf() fu
n
c
t
io
n
which is the oppo
s
ite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
D
a
n
C
arpenter
ranges:
use signed type for negati
v
e ints less than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
an Carpenter
db/kernel
.
return_fixes regma
p
_bulk_
r
ea
d
()
r
eturn
s
negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
an
C
arpenter
r
a
nges: fix
a
bug in rl_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
s
val, typ
e
: mak
e
som
e
functions inl
i
ne
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
D
an Ca
r
p
e
nter
i
mpli
e
d: fix an o
l
d implication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carp
e
nter
implied: remo
v
e unused add_pool() fu
n
c
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
impl
i
ed: pas
s
sm_st
a
tes
inste
a
d of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpent
e
r
impli
e
d
:
fix a type b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Da
n
Carpenter
implied: update
s
o
me debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpente
r
i
mplied
:
cre
a
te fake i
m
pl
i
cation history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
st
a
tes: tweak debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Ca
r
penter
stat
e
s: print debug output i
n
_
_
set_tru
e
_false_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Carp
e
n
t
e
r
i
m
plied: overwrite s
m
atch_extra
us
i
ng impli
e
d st
a
t
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
ra
n
g
es, extr
a
: move an
d
exp
o
rt split_comparison
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
s
l
i
s
t: r
e
move unus
e
d __set_
t
rue_fal
s
e_if_not_a
l
r
eady_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carp
e
nte
r
db:
m
a
k
e a file k
e
rnel
.
retu
r
n_fixes for updatin
g
retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
flow: m
e
rge mu
l
tiple case sta
t
ements in a row togethe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
help
e
r: use
.
instead of -> for mo
r
e variab
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
p
a
r
am_set: r
e
move
an un
n
ne
e
ded var
i
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nter
extra: p+
+
should clear the states for *p
o
r p->f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpenter
ma
t
h: han
d
le __b
u
il
t
in_ty
p
es_compatible_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
C
arpenter
flow: split case sta
t
ement h
a
n
dling
i
nto
its own
f
uncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an
C
a
r
penter
implied: replace
_
_
get_implied_values()
w
ith get_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
fl
o
w: fix bug i just intro
d
uced with
kn
o
wn switch st
a
t
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debug: print
the max si
z
e for __smatch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpenter
debug: incl
u
de
->possible an
d
absolute in __
s
matc
h
_
a
bout
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied: remove unneces
s
ary init
i
alization
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
enter
p
a
ra
m
_cleared: strip a
w
ay casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
C
arpenter
r
a
n
g
e
s: make filt
e
r_top
_
rl()
t
ake a
r
ange_list
filter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
enter
flow:
shuffl
e
case stateme
n
t handli
n
g aro
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an
C
a
r
penter
i
m
pl
i
ed: split the __implied_case_stree() into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
extra: white spac
e
c
l
eanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carp
e
n
t
e
r
imaginary_absolute: i
t
's like smatch_extra
.
c for imp
o
ssib
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
im
p
li
e
d
: remove some duplicate lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra: remove an obsolete c
o
mment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next