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
ranges, db: if we can't filter by comparison then use the whole range
2016-07-08
Dan Carpenter
ranges,
d
b: if we
c
an't
filte
r
by comparison then use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
D
a
n
Carpente
r
d
b
:
han
d
le
n
este
d
c
alls bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Dan
C
arpenter
extra: re-wr
i
t
e
handle_AND_condit
i
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Ca
r
pente
r
implie
d
: hand
l
e
impossible
paths fro
m
c
o
mplic
a
ted switc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied:
g
et rid of the
-
>
i
m
plied member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
Carp
e
nter
i
m
plied: get rid of a temporary
varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
smatch_data/w
i
n
e
.
no_return_funcs: add more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpen
t
e
r
s
mat
c
h_sc
r
ipts/gen_n
o
_ret
u
rn_
f
uncs: f
i
x th
i
s for other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Carpenter
pre-process: make
-
nostdinc w
o
rk agai
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpent
e
r
check_wine
:
make
r
e
port(R_FATAL,
.
.
.
) a nullify the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
C
arpenter
val
i
dat
i
o
n
/
sm_Wt
o
A: add
s
i
ngle quot
e
s in ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smatch_scrip
t
s: update the gen_* scripts to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
penter
parse: ig
n
or
e
_Pragma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smatch_data/w
i
ne
.
i
gnored_macro
s
: add
o
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smatch_d
a
t
a
/wine
.
no_
r
eturn_funcs: u
p
d
a
te the list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpente
r
sparse: ad
d
/
u
sr/includ
e
/x86_6
4
-linux-gnu/ include
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
w
ine_WtoA: add s
i
n
g
l
ed quotes
i
n th
e
ou
t
pu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Dan
C
a
r
penter
db: remove PRA
G
MA s
y
nchronous
=
OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
avl: make get_stree_id() retur
n
-1 if the
s
tre
e
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied: handle ->i
m
p
l
ied st
a
tes differen
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
nter
slist, impl
i
ed: p
r
eserve
t
he entire cur_stree in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Carpen
t
er
impl
i
e
d
:
fix
a
bug where we imply the wrong thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied:
remove an
i
ndent level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Carpenter
implied: change debu
g
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpen
t
er
extra: ign
o
re truncated limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpent
e
r
f
low:
handle asm gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpent
e
r
db: s
p
lit on boole
a
n paramet
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
struct_assi
g
nment: handle
poin
t
ers bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpen
t
er
function_hooks: hack around invalid inp
u
t fro
m
the
D
B
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpe
n
ter
function_
h
ooks: fix the previous
range hooks
f
ix again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpente
r
flow: set
->parent
f
or expre
s
sion statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
enter
helper, unt
r
acke
d
_
p
aram: move the
i
nt_sta
c
k to s
m
atch_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
ranges: f
i
x ca
s
ting to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow:
s
e
t
posi
t
ion at the star
t
of the fu
n
ct
i
on correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
r
p
enter
function_hook
s
: fix a typo i
n
d
eb
u
g output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
a
rpenter
implied: tweak ti
m
eout in sep
a
rate_and_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
function
_
h
o
o
k
s: f
i
x a type issue (affect
s
ra
n
ged func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Car
p
e
n
ter
function_hooks:
fix db and ran
g
ed_function
s
integration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
Carpen
t
er
db/k
e
rnel
.
return_fixes: hack
arou
n
d down_i
n
terruptible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carp
e
nter
db/
k
ernel
.
retur
n
_fixes: add scnprintf(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
function_hooks: fi
x
loc
k
in
g
false po
s
itives when y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
ar
p
ent
e
r
ext
r
a: fix mem
s
e
t
(
) handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpenter
implied: delete
unu
s
ed function sm_
s
tate_in_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpen
t
er
ptrlis
t
: us
e
a
f
ter free in last_ptr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
flow
:
t
ype issue handling switch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Ca
r
penter
ranges: fix t
y
pe iss
u
e in
r
e
m
ove_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
conditions: silence valgr
i
n
d
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan
Carpente
r
flo
w
:
s
et final_pass if w
e
have to bail on a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carp
e
nte
r
extra: e
x
port get_other_
n
ame_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
ente
r
im
p
os
s
ible: add is_imp
o
ssible_path
(
) to
s
m
at
c
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
db: don't crash gene
r
ati
n
g SQL for inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
extr
a
: fix bug handling untracked pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Carpente
r
struct_assig
n
ment: igno
r
e c
e
rtain types o
f
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
enter
extra:
d
eferen
c
es in fake assignme
n
ts don'
t
coun
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
ext
r
a: handle fake
as
s
ignmen
t
s faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carp
e
nter
implied: impro
v
e ov
e
rw
r
ite_
s
t
ates_us
i
ng_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpe
n
ter
implied: add a com
m
en
t
explaining how impli
c
atio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
D
a
n
Carpe
n
ter
func
t
ion_hooks: check PARAM_LIMIT implicatio
n
s
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
function_hooks: integrate call_implie
s
hooks
w
ith
the d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpenter
s
list: m
a
ngle the line nu
m
ber of merged states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpen
t
er
size
o
f_para
m
: remove read_r
o
m() from checked func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpenter
create_db: dele
t
e som
e
duplicate entrees f
r
o
m
fu
n
ction_p
t
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
real_a
b
sol
u
te: don't
s
t
ore wh
o
le ranges for n
o
reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carp
e
nter
struct
_
assignment: pull spl
i
t_fak
e
_expr() in
t
o its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
C
arpenter
db:
limit the amount of data in type_val
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
ex
t
ra: h
a
ndle
i
f
(
IS_E
R
R
(
foo[bar]
)
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
d
b
:
introd
u
c
e
get_param_nam
e
_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpe
n
t
er
i
mplied: handle chu
n
k
s in sw
i
tch
s
tatem
e
nts like switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Carpen
t
er
extra: don't mark all arrays as dere
f
e
r
enced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpe
n
ter
helper: create an alloc_state_expr
(
) helper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
whitespace
:
remove so
m
e
bl
a
nk lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
ent
e
r
extra: remove un
u
se
d
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
lo
c
king:
a
dd more imposs
i
ble
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
db: remove s
o
me e
x
tra
s
emi-col
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n
Carpenter
ranges
:
remove
a
n
unneede
d
initializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
returns
:
p
r
ovide a split
o
ut lis
t
of
a
ll the
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n
Car
p
enter
r
eturns:
a
dd
get_all_retur
n
s_states() funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
move freeing to
A
FT
E
R_FUNC_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Car
p
ente
r
db: constify some
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
r
p
enter
extra: add missing
i
nclu
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an Car
p
en
t
er
extra: don't overwrite non-null po
i
nters because o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extr
a
:
fix han
d
ling
o
f "if (f
o
o &
0x3
2
10)
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan C
a
rpenter
p
aram_set:
i
ntroduce
para
m
_was_set_v
a
r
_
sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Ca
r
penter
impo
s
sible: handle swit
c
h statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
C
arpenter
impossi
b
le: don't overwr
i
te the impossibl
e
state by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
implied: handle implicati
o
n
s
f
o
r
if (({whatever;
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carpenter
slist: c
r
eate is_
l
eaf() funct
i
on wh
i
c
h
is the opposite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan
C
a
rpenter
ran
g
es
:
use signed t
y
pe for
n
egative ints less than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n Carpe
n
ter
db/kern
e
l
.
return_fi
x
e
s
re
g
map
_
bulk_read() returns ne
g
atives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan
C
a
r
pen
t
er
ranges: fix a bug in r
l
_in
v
ert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpente
r
sval,
type: ma
k
e some
f
u
n
ctions i
n
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Car
p
enter
implied: fix an ol
d
implication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied: rem
o
ve u
n
used add_
p
ool(
)
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
D
a
n Ca
r
pent
e
r
impl
i
ed:
p
ass
s
m_st
a
te
s
ins
t
e
ad of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpen
t
e
r
implied:
f
ix a
type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpente
r
i
mplied: update
some
d
e
b
ug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
imp
l
ied: cr
e
ate fake implication his
t
o
r
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states: tweak debug
o
u
t
pu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpente
r
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
t
e
r
implied
:
over
w
rite
sm
a
tch_extra
u
sing i
m
plied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next