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: fix a bug where we imply the wrong thing
2016-06-24
Da
n
Carpenter
i
mplied: f
i
x a bug where we imply the wrong
t
hin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
imp
l
ied:
remove an
indent level
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
penter
impl
i
ed: change debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpenter
ex
t
r
a: ignore truncate
d
limit
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
flow: handle
a
sm gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
C
a
rpenter
db: split on boolean par
a
m
e
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
s
tr
u
ct_assi
g
nment: h
a
ndle pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
an
C
arpenter
fu
n
ction_hooks:
h
a
c
k
around
inva
l
i
d
inp
u
t from t
h
e DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n
Car
p
enter
function_
h
o
oks: fix the
p
r
e
viou
s
range hooks fix again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
Car
p
e
n
ter
flow: set -
>
parent for
e
x
pression
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpent
e
r
he
l
per, untracked_param: move the int_sta
c
k
to smatch_helpe
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n C
a
rpenter
range
s
: fi
x
cast
i
ng to
b
ool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpenter
flow: set p
o
sition at
t
he st
a
rt o
f
the function
correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpenter
function_hooks:
f
i
x a typo
in de
b
ug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
im
p
lie
d
: tweak ti
m
eout in
s
e
par
a
t
e
_
and
_
filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpen
t
er
funct
i
o
n
_
hooks: fix
a
type issue (aff
e
cts
r
anged
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
unctio
n
_hooks: fi
x
db and ranged_functions inte
g
r
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
Carpenter
db/ker
n
el
.
r
e
turn
_
fixes: h
a
ck around down_interruptible()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Carpenter
db/k
e
rnel
.
return
_
fixe
s
:
add scnpr
i
ntf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
Car
p
enter
function
_
h
o
oks: fix
lock
i
ng fa
l
se positives w
h
en yo
u
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
arpenter
extra: fix memset(
)
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Carpenter
i
mpl
i
e
d
: de
l
ete unused
func
t
i
o
n sm_state_in
_
s
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
p
t
rlist: use after free
i
n last_ptr_
l
ist
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
flow
:
type issue handling switch state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Car
p
e
nter
ranges: fix type is
s
ue in remove
_
range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpenter
conditions:
s
ilence valgrind warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpe
n
t
e
r
f
l
o
w: set final_pass
if we have to
b
ai
l
on a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: export get_
o
the
r
_name_sy
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carp
e
nter
i
mpo
s
sible: add is_impossible_pa
t
h() to
s
match
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpente
r
db: don't crash
g
en
e
rating
SQ
L
for invali
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Carpenter
extra: fix bug
h
andli
n
g untracked pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
ar
p
enter
struct
_
assig
n
ment: ignore certain types of assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carpenter
ext
r
a: de
f
e
rences in fa
k
e assignments don'
t
count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an
C
arpenter
extra:
h
andle fake assignments faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carp
e
nte
r
i
m
plied: impr
o
ve
o
verwrit
e
_st
a
tes_u
s
in
g
_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan C
a
r
pente
r
implied: add
a com
m
ent ex
p
laining how i
m
plications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
Carpenter
f
u
nction_hooks: check PARAM_L
I
MIT impl
i
cati
o
ns all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
D
a
n Carpenter
functi
o
n_
h
oo
k
s: integrate call
_
implies hooks with th
e
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpen
t
er
slist: mangle
the line num
b
e
r o
f
m
erged
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
size
o
f_par
a
m: remove
r
ead_rom()
from checked functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nte
r
crea
t
e
_db: delete some d
u
plicate e
n
trees from function_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
real_absolute: do
n
'
t
store whol
e
r
a
n
g
es
f
or n
o
reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
C
a
r
penter
st
r
uct_assignment: pull split
_
fake_expr() into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an
Ca
r
penter
db:
limit the amount of d
a
ta in t
y
pe_
v
alue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpenter
extra: ha
n
dle
if (IS_ERR(
f
oo[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
a
r
pente
r
db: introduce get_para
m
_n
a
m
e
_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
implied:
handle ch
u
nks in s
w
itch statements li
k
e swi
t
c
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra: don't m
a
rk all ar
r
ays as
d
erefe
r
ence
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
helper: create an all
o
c
_
s
tate_expr()
h
elper function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
pente
r
w
hitespace: remove s
o
me
blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpenter
ext
r
a: remove un
u
s
e
d
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
t
e
r
lock
i
n
g: add mo
r
e impossible handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an C
a
rpenter
db: remove some e
x
t
r
a semi-c
o
lons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
ra
n
ges: remove an
u
nneeded initializer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
return
s
:
provide
a
split out list of all the
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
r
p
ent
e
r
returns:
a
dd get_all_returns_sta
t
e
s
()
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
mov
e
f
re
e
ing to AF
T
ER_FUNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nter
db: con
s
tif
y
som
e
point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
t
er
extra: add
missing include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
extra:
don't
o
verwrite non-null pointe
r
s becaus
e
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpenter
extra: fix
handli
n
g
of "if (foo & 0x321
0
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpenter
param_set: i
n
trod
u
ce
pa
r
am_was_se
t
_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpent
e
r
imposs
i
ble: handle switch
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
an
Carpenter
impossible:
d
on't o
v
erwrite
t
he imp
o
s
sib
l
e state b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
an Car
p
enter
implied: han
d
l
e implications
for
i
f (
(
{whatev
e
r
; f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carpe
n
ter
sli
s
t: cr
e
ate is_leaf() function which
i
s
the op
p
os
i
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carpenter
ranges: use signed type for negat
i
ve ints less
t
han
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
D
an Carpenter
db/kern
e
l
.
r
e
turn_fi
x
es regmap_bulk_read() returns nega
t
i
ves
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
ranges: fix a bug in rl_inve
r
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Carpe
n
ter
sval, type: make some
functions
in
l
ine
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan C
a
rpent
e
r
implied: fix an old implication bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpe
n
t
e
r
implied: rem
o
ve unused
ad
d
_pool() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan C
a
r
p
e
nt
e
r
i
m
plied: pa
s
s sm_sta
t
es instead of
pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan
C
a
rpe
n
ter
i
m
p
l
ied: fi
x
a typ
e
bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan
Ca
r
p
e
n
ter
implied: u
p
d
ate some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carp
e
nter
impli
e
d: c
r
eate fake implication h
i
story
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n Carpe
n
ter
states: t
w
eak de
b
ug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan
C
arpenter
states: print debug output
in
_
_set_true_false_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n Carp
e
n
ter
i
mp
l
ie
d
: o
v
e
rwri
t
e smatch_extra usi
n
g
imp
l
ied states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpent
e
r
ranges
,
extra: mo
v
e and expo
r
t sp
l
it_comparison_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
slist: remove u
n
u
sed
__s
e
t_tru
e
_fa
l
se_if_not_al
r
eady_se
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
C
ar
p
enter
db: make
a file
ke
r
nel
.
return_f
i
xes for u
p
d
ating return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
r
p
e
nt
e
r
flow
:
me
r
ge mul
t
ip
l
e case
s
tatements i
n
a row togethe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
helper: use
.
instead of ->
f
or more variabl
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpenter
param_set: remove
a
n unnneed
e
d variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpenter
ext
r
a
:
p++ should cl
e
ar
t
he states for *
p
or p->fo
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpenter
math: handle
_
_builtin_types
_
c
ompatible_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow:
s
pli
t
case st
a
tem
e
nt han
d
ling into its
own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carp
e
n
ter
implied: replace __ge
t
_implied_values() with get_absolute_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpent
e
r
f
low: f
i
x
bug
i just introd
u
ced
w
ith
known swit
c
h stateme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Ca
r
penter
de
b
u
g
: p
r
i
n
t the max size for _
_
smatch_buf_siz
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debug: include ->possibl
e
and absolute in __smatch_about
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpenter
i
mplied: rem
o
v
e unnecessary in
i
tializa
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpenter
param_cl
e
a
r
ed:
s
t
r
ip away casti
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpe
n
ter
r
ang
e
s: m
a
ke filt
e
r
_t
o
p_
r
l() take a range_list f
i
l
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
flo
w
: shuf
f
le case statement handl
i
ng a
r
oun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied:
s
plit the __i
m
plied_case_s
t
ree() into two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
extra
:
white spa
c
e cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an
Carpen
t
er
i
maginary_absol
u
te: it
'
s
l
ik
e
smatch_extra
.
c for impos
s
ib
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpe
n
ter
im
p
lied: remove some
duplicate l
i
nes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next