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
db: split on boolean parameter
2016-06-15
Dan
Carpenter
db: split
on bo
o
le
a
n param
e
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
ente
r
stru
c
t_
a
ssig
n
ment: handle pointe
r
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpen
t
e
r
function
_
hooks
:
hac
k
aro
u
n
d i
n
v
a
lid input from the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
r
penter
function_h
o
o
ks
:
fix t
h
e
pr
e
vious
range hooks
f
ix again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpent
e
r
f
low:
set ->p
a
re
n
t for expres
s
ion
s
tatement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
helper, untracke
d
_param:
m
o
ve th
e
int_s
t
a
ck to smatch
_
h
elper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
Ca
r
pen
t
er
ra
n
ges: fix casting to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
C
a
r
pen
t
er
flo
w
: set position at the s
t
art
of the fu
n
ction correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpe
n
ter
function_hooks: fix
a typo in debug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Carpenter
implied: tweak timeo
u
t i
n
sepa
r
at
e
_and_
f
ilter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
function_h
o
oks: fix
a type
i
ssue (affe
c
ts ranged func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
fun
c
t
i
on_hooks: fix db a
n
d
ranged
_
functions integration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/kernel
.
ret
u
rn_fixes: hack a
r
ound
d
o
wn_interruptible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Carpent
e
r
d
b
/
k
e
rnel
.
return_fixes:
add scnprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
function_hooks: fix locking
false positives
w
h
e
n you
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n
C
ar
p
en
t
e
r
extra: fix
m
emset() handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
C
a
r
p
enter
implied: delete unuse
d
functio
n
sm_st
a
te_in_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ptrlist: use aft
e
r
f
ree i
n
last_ptr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
a
r
p
enter
flow: type issue
h
andling
s
w
i
tch
statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Car
p
enter
ranges: fix type issue in
r
emove_r
a
nge()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpe
n
ter
condi
t
i
ons:
silence valgrind warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan Ca
r
penter
flow: set final_pass if w
e
ha
v
e to bail on a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carpenter
extra
:
export ge
t
_
o
t
her_name_sy
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpenter
impossi
b
l
e
: add is
_
impossible
_
path() to
s
match
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
d
b:
d
on't crash generat
i
ng SQL for in
v
alid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Ca
r
penter
extra: fix
b
ug handling u
n
tracke
d
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpe
n
ter
s
truct_assignment:
ig
n
o
r
e certain
t
ypes of as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
extra: def
e
rences in fake assi
g
nments don't
c
ount
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an Ca
r
pen
t
er
extra: handle
fake assignments fas
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Da
n
Carpen
t
er
imp
l
ied: i
m
p
r
o
v
e
o
verwri
t
e_states_u
s
ing_
p
ool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
i
mplied: ad
d
a comment expl
a
inin
g
how
implicatio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
function_hooks: check PARAM_LIMIT implicati
o
ns all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
function_hooks: integrate call_i
m
plies hoo
k
s with t
h
e db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
slist: mangle t
h
e line number of merged states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
sizeo
f
_param: remove read_r
o
m() from
checked functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
C
arpenter
create_db: delete some
d
up
l
ic
a
te entree
s
fr
o
m f
u
nction
_
ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Ca
r
penter
r
ea
l
_
a
bs
o
lute: don't s
t
ore whole ranges for
no reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
st
r
u
c
t_assignm
e
nt
:
p
u
l
l
split_fa
k
e
_ex
p
r(
)
i
nto its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
d
b
: limit t
h
e am
o
unt of d
a
ta in
t
ype_value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpenter
extra
:
handle if
(IS_ERR(foo[bar])) {
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
ter
db: introduce get_param_nam
e
_var_sy
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n C
a
rpenter
impl
i
e
d: handle c
h
unks in
s
witch
s
tateme
n
t
s
like switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
a
rpenter
extra:
d
on
'
t mark all ar
r
a
ys as derefere
n
ced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
helper: c
r
eate an a
l
loc_state_expr() help
e
r fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
ter
whi
t
espace: r
e
move some blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
r
p
e
nter
extr
a
: re
m
o
v
e
u
nused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
l
ocking: ad
d
m
ore i
m
poss
i
ble handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n
C
arpenter
db: remove some
e
xtra semi-colons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
range
s
: remov
e
an un
n
eeded i
n
itializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpenter
r
eturns: prov
i
de a split out list of all t
h
e retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
ret
u
rns: add
get_all_retur
n
s_state
s
(
)
func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nter
move freein
g
t
o
AFTER_F
U
NC
_
HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db: consti
f
y some pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: add mi
s
s
ing i
n
clude
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
extra:
d
o
n't ove
r
writ
e
non-nul
l
point
e
rs because of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nte
r
extra: fix ha
n
dling of
"if (foo & 0x321
0
)
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Car
p
enter
param_set:
introduce param_w
a
s_
s
et_var_s
y
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
im
p
oss
i
ble: ha
n
d
le
s
wi
t
ch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
an
Carpenter
impossibl
e
: don't overwrite the impossibl
e
sta
t
e
b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpent
e
r
implie
d
:
han
d
le implications fo
r
if (({
w
hatever; foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
D
an Car
p
enter
slist: create
i
s_le
a
f() function which is the opposit
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carp
e
nte
r
r
a
nges: use signed type for n
e
gative ints
l
e
ss than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpente
r
db/ker
n
e
l
.
return_fixes
re
g
map_bulk_read(
)
retu
r
ns negative
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
ranges: fix a bu
g
in rl_invert(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
s
va
l
,
type: make some functions i
n
lin
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan C
a
r
p
en
t
er
implied: f
i
x a
n
ol
d
implication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpente
r
implied:
r
emove unu
s
ed
a
dd_poo
l
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
C
arpenter
implied: pass sm_stat
e
s
instead o
f
po
o
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan
Ca
r
p
e
nter
im
p
lied:
fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
i
m
plied:
u
p
d
ate some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan C
a
rpe
n
t
e
r
im
p
lied:
create fak
e
implicat
i
o
n history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Car
p
enter
states: t
w
eak de
b
ug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
state
s
: print debug out
p
ut in __set_true_false_
s
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpente
r
implie
d
: overwrite smatc
h
_extra usin
g
implied st
a
tes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
ter
ranges
,
extra
:
move and
expor
t
spli
t
_
comparis
o
n_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
slist: remove unus
e
d __s
e
t_true_false_if_not_already_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
ter
db: ma
k
e a
f
ile
k
ernel
.
r
eturn_fix
e
s
f
or updating return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
flow:
m
e
rge multiple c
a
se
s
t
atements in
a
r
o
w
t
oge
t
her
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpenter
helper: use
.
instead of -> for more v
a
riable
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpe
n
ter
param_set: remo
v
e an unnneed
e
d variabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
extra: p++ should clear
t
he states
f
o
r *p o
r
p->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
pente
r
m
a
t
h
: h
a
ndle __builtin_types_com
p
a
t
i
b
le_p
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
fl
o
w:
split case statement handling into its own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
C
arpenter
implied: replace __g
e
t_implied_value
s
() with get_ab
s
olute
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
Car
p
enter
flow
:
fix
b
ug i just introduced
w
i
th
known s
w
i
t
ch s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
p
e
nte
r
de
b
ug: pr
i
nt the ma
x
size for __smatch_buf
_
size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
pen
t
er
de
b
ug:
includ
e
->p
o
ssible and absolute in
__smatch_about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Ca
r
pen
t
er
implied: re
m
ove unnec
e
ssary initialization
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
param_clear
e
d: strip
a
w
a
y
casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpente
r
rang
e
s: make
f
ilte
r
_top_rl() take
a
ra
n
ge_list filter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an C
a
rpenter
fl
o
w: shuff
l
e cas
e
statement handling around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
ent
e
r
implied
:
split
the _
_
i
mplie
d
_case_str
e
e
(
) int
o
two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
enter
extra: white
s
pace cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n C
a
rpent
e
r
imaginary_absolute: it
'
s like smatch_
e
xtra
.
c
for impos
s
i
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
penter
implied: remov
e
some duplica
t
e lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan C
a
rpenter
extra:
r
emove an o
b
so
l
ete comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra:
spli
t
handle_compariso
n
() i
n
to t
w
o functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n
Carpenter
db: ignore unreachabl
e
re
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
an
Ca
r
penter
db: split r
e
t
u
rns
in to
N
ULL and non
-
NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
d
b
:
remove pointless return
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next