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
check_wine: make report(R_FATAL, ...) a nullify the path
2016-06-30
Dan
C
arpe
n
ter
check
_
wine: m
a
ke re
p
ort(R_FATAL,
.
.
.
) a nullify the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
val
i
dat
i
on/sm_WtoA: a
d
d single quotes in output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
rpenter
s
m
a
t
ch_script
s
: upd
a
te the gen_*
script
s
to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carp
e
nter
p
arse: ignore _Pragma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
e
n
ter
smatch_data/wine
.
i
gnored_m
a
cros: add ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
penter
smatch
_
data/wine
.
no_
r
eturn
_
funcs: update the list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
spars
e
: add /usr/include/x86
_
6
4
-
linux-gnu/
i
n
c
lude
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
rpenter
wine_WtoA: add singled quotes in t
h
e
out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Dan
C
arpenter
db: r
e
move PRAGMA synchronous = OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
avl: make get_st
r
ee_id() r
e
turn -1
i
f
t
he stree
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpen
t
er
i
m
plied:
handle ->implied states d
i
fferentl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Car
p
en
t
e
r
sli
s
t
, implied
:
preserve th
e
entire c
u
r_stre
e
in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpe
n
ter
implied: 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 Ca
r
p
e
nter
implied:
r
emove an inden
t
level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arpente
r
implied: change
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Car
p
enter
ex
t
ra: ignore truncated limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
fl
o
w:
h
andle asm gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arpente
r
db: sp
l
it
on boolea
n
p
a
ramete
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Ca
r
pent
e
r
struc
t
_ass
i
gnm
e
nt
:
handle
pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpe
n
ter
funct
i
o
n
_h
o
oks: hack aroun
d
invalid in
p
ut
f
rom the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
an Ca
r
penter
function_hoo
k
s: fix the previous range hooks f
i
x agai
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
low: set ->pare
n
t for
e
xpre
s
sion statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Ca
r
p
e
nter
he
l
per, untracked
_
p
a
ram:
m
ove the
int_stack to smat
c
h_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
rang
e
s: fix casting to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow
:
set posi
t
ion at t
h
e start
of the function correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
function_h
o
oks: f
i
x a typo in deb
u
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpente
r
implie
d
: tweak tim
e
out in separat
e
_
a
n
d_filte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
func
t
ion_hooks: fix
a
type
i
ssue
(
affe
c
t
s
ranged functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Ca
r
penter
functi
o
n_
h
ooks: fix db
a
nd ranged_functions inte
g
r
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
an
Carpenter
db/kerne
l
.
r
e
turn
_
fix
e
s: hack ar
o
u
n
d down_interrup
t
ible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan C
a
rpenter
db
/
kernel
.
return_fixes: add scnprintf
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
arpen
t
e
r
fun
c
t
i
o
n
_hoo
k
s: fix
locki
n
g false
p
ositives wh
e
n
you
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n
C
arpente
r
extra:
fi
x
mem
s
et() handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Carpe
n
t
er
implied: del
e
t
e
unused
f
u
n
c
tion sm_st
a
te_
i
n_sl
i
s
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n
C
ar
p
enter
p
trlist: use after free in
last_
p
tr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
fl
o
w: t
y
pe issu
e
handling switch state
m
en
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carpenter
ra
n
ges: fix type
i
ssue in r
e
move_r
a
nge()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Car
p
enter
c
o
n
ditions: silence
v
algrind warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpenter
flow: set final_pass if
w
e ha
v
e to bail on a fu
n
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Carpenter
ext
r
a: expo
r
t ge
t
_other
_
n
a
me_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
er
i
m
poss
i
b
l
e:
add is
_
i
mpo
s
sible_pat
h
() 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
f
o
r
inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
ex
t
ra: fix bug handling untracked po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
st
r
uct_a
s
si
g
nment:
i
g
no
r
e
certain types of assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
e
xtra: deferenc
e
s in fake
a
s
signmen
t
s do
n
't
count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: han
d
le fake assignments faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan
Carpenter
im
p
lied: i
m
p
r
ove ove
r
write_states_using_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpent
e
r
implie
d
: ad
d
a
c
o
mment explaining how implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carp
e
nter
f
unct
i
on_hooks: check PARAM_LIMIT
i
mpl
i
cations all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
function_hoo
k
s
: int
e
grate
c
a
l
l_impli
e
s ho
o
ks with the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
s
list: m
a
ngle the line number
o
f
merg
e
d s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
e
n
ter
s
i
zeof_pa
r
am: remove read_rom() fro
m
checked functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
e
nter
create_db: delete s
o
me d
u
pli
c
ate
entree
s
from
f
unct
i
on_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
real
_
ab
s
o
l
ute: don't store whole ranges
for no reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
en
t
er
str
u
ct_a
s
si
g
nment: pu
l
l split_fak
e
_expr() into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
db: limit
the amount of data in
t
ype_value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpenter
extra:
h
a
n
d
le if
(IS_
E
RR(foo[bar])
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
d
b: introduce get_param_
n
a
m
e_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpe
n
t
er
implied:
h
a
n
dle chunks in sw
i
tch stateme
n
t
s
like
switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
n
t
er
extra:
don'
t
mark all arrays as derefere
n
c
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
C
a
rpenter
h
e
lper: creat
e
a
n
alloc_st
a
te_expr() helper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
a
rpenter
white
s
pac
e
: remove some
bl
a
nk lin
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
extra: remov
e
unused func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
p
enter
locking: add more impossi
b
le handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Car
p
e
n
t
er
db:
remove
s
ome ex
t
ra s
e
mi-colo
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
p
e
nter
ranges: remove an
u
n
needed initi
a
l
iz
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
returns: provi
d
e a split ou
t
list of all the return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
r
eturns: add get
_
all_returns_states() functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
move
freeing to AFTER_FUNC
_
HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
rp
e
nter
db:
constify so
m
e pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
ext
r
a: add mi
s
sing include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
er
ex
t
ra: do
n
'
t
o
verwrit
e
non-nul
l
pointers because of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
extra: fix handling of
"
i
f
(
foo & 0x3
2
10) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpen
t
er
para
m
_s
e
t:
introduce
p
aram_was_set_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
C
arpenter
impossi
b
l
e: ha
n
d
l
e switch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
impossible: don
'
t
ove
r
w
r
ite
t
he i
m
p
o
ssible state by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Da
n
C
ar
p
enter
implie
d
: handle imp
l
i
c
ation
s
for if (
(
{
w
h
atev
e
r; foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
D
an Carpen
t
er
slist: cre
a
te is_l
e
af() fu
n
ction wh
i
ch is the opp
o
site
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan
Carpe
n
ter
ranges:
u
se s
i
gned type for neg
a
tiv
e
i
nts less than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Carpen
t
er
db/kern
e
l
.
r
e
turn
_
fixes regm
a
p_bulk_read() return
s
negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpent
e
r
ran
g
es
:
f
i
x a bug in rl_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Carpenter
sv
a
l,
type: mak
e
s
o
me functions inline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
D
an Carp
e
nter
im
p
l
ied: fix an old implication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpen
t
er
implied: remo
v
e unuse
d
ad
d
_poo
l
() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
i
m
pli
e
d: pass sm
_
states inste
a
d of
p
ools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
i
m
p
l
i
ed: fix a
t
y
pe bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
impli
e
d
:
up
d
a
t
e so
m
e debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
an
Carpenter
implie
d
: create fak
e
im
p
lication history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Ca
r
p
e
nter
s
t
a
tes: tweak debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan
C
arpe
n
ter
states: print d
e
bug output in __set_tr
u
e_false_sm
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Ca
r
penter
impl
i
ed: overwrite s
m
atch_extra usin
g
implied st
a
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carp
e
nt
e
r
r
anges, ext
r
a: move and expor
t
split_comparison
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
slist
:
re
m
o
v
e unused __set_true_false
_
if_not_alr
e
ad
y
_set
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carp
e
nter
db
:
make a file kern
e
l
.
return_fixes for up
d
a
ting return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
flow:
m
erge mu
l
t
i
pl
e
c
a
se
sta
t
e
ments in a row together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
helpe
r
: use
.
in
s
tead o
f
-> f
o
r more variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
param_s
e
t: re
m
ove a
n
unnneeded variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
extr
a
:
p++
should clear the st
a
tes for *p or p->
f
oo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpen
t
e
r
math: ha
n
d
le __builtin_types_co
m
pa
t
ibl
e
_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow:
s
plit case
s
ta
t
eme
n
t
h
and
l
ing int
o
its own funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next