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
type_val: handle |= type assignments
2016-07-08
Da
n
Car
p
enter
d
b: handle nested call
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
Dan Car
p
enter
extra: re-write h
a
ndl
e
_AND_conditio
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n Carp
e
nter
implie
d
: handle impos
s
ible paths from complic
a
t
e
d switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Ca
r
penter
i
mp
l
ied
:
get rid of the
-
>implied member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
enter
implied: get ri
d
of a
t
emporary
v
ariable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
smatch_data/wine
.
no_retur
n
_
f
un
c
s: add
more functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
Carpenter
smatch_scr
i
pts/gen_no_return_funcs: f
i
x
thi
s
for ot
h
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Carpenter
pre-proces
s
: make
-
no
s
tdinc work
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
an
Carpent
e
r
chec
k
_wine: make
r
eport(R_FAT
A
L,
.
.
.
)
a nullify
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Carpen
t
er
vali
d
ation/sm_WtoA: add sing
l
e quotes in outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpen
t
e
r
smatch_scripts:
upda
t
e
t
h
e
g
en_* s
c
ripts to take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpe
n
ter
p
a
rs
e
:
i
gno
r
e
_P
r
agma()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
Carpent
e
r
s
match_d
a
ta/
w
ine
.
ignored_macros: add
ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
an
Ca
r
penter
s
m
at
c
h_
d
ata/wine
.
no_return_funcs:
update the
l
ist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpen
t
er
sparse: add /usr/include/x86
_
64-
l
inux-gnu/ include
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
wine_WtoA: add
sing
l
ed quot
e
s
in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carpenter
db: re
m
ove PRAG
M
A synchronous = OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
avl: make get
_
str
e
e_i
d
()
r
eturn -1 if t
h
e stre
e
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
i
m
plied:
h
andle ->im
p
lied st
a
te
s
different
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Carpenter
slist, im
p
lied: pres
e
rve t
h
e entire cu
r
_stree
i
n the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
an Car
p
ente
r
implied: f
i
x a
b
ug whe
r
e
we imply the wrong thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
p
ent
e
r
implied: remo
v
e an inde
n
t level
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
im
p
lied: c
h
ange
d
e
bug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
D
a
n Carpenter
e
xt
r
a: ignore
truncated lim
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carp
e
nter
f
low: handle asm gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arpenter
db:
sp
l
it
o
n boolean paramete
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
struct_a
s
sig
n
ment: h
a
n
d
l
e
pointe
r
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
Carpenter
func
t
io
n
_
h
ooks: hack around invalid
i
n
put from the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arpenter
function_hooks: fix
t
he previous range hooks fix again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpenter
flow: set
->
p
ar
e
nt for e
x
pression statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
helper, untrack
e
d_pa
r
am: mov
e
the int_st
a
ck to smat
c
h_helper
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Carpenter
r
an
g
es: f
i
x casting to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
low: set
p
osition at th
e
start of
the functi
o
n
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n C
a
rpenter
functio
n
_hoo
k
s: fix a typo in debug ou
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpen
t
er
im
p
lie
d
: tweak timeout
i
n separate_and_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpen
t
er
function
_
h
o
o
ks: fix a type
i
s
sue (
a
ffects rang
e
d function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpe
n
ter
fun
c
t
i
o
n_ho
o
k
s: f
i
x db a
n
d
ra
n
ged_functi
o
ns integratio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carp
e
n
te
r
d
b
/kernel
.
return_fixes: hack around do
w
n_interruptible
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n Carpenter
db/kerne
l
.
return_
f
i
x
es: add scnp
r
intf
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
functi
o
n_hook
s
: fix locking fals
e
positives wh
e
n you
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpent
e
r
e
xtra: f
i
x memset() h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpenter
implied: delete unu
s
e
d f
u
nct
i
on sm_s
t
a
te_in_slist(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpenter
ptrli
s
t:
u
se after fr
e
e in last_p
t
r_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carpe
n
ter
fl
o
w
:
type issue handling switch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
an Carp
e
nter
ra
n
ges: fix type
i
ss
u
e in re
m
ove_range(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carp
e
nte
r
conditions: s
i
lence valgri
n
d warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
D
an Carpe
n
ter
flow: set f
i
na
l
_pass if we have to bail on a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
er
extra
:
expo
r
t ge
t
_other_nam
e
_
s
ym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
imposs
i
ble: add is_impossible_
p
a
t
h() t
o
s
match
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
db:
d
o
n
't crash
genera
t
ing
S
QL for i
n
valid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpente
r
extra: fix bug h
a
n
dling unt
r
acked poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
stru
c
t
_as
s
ignm
e
nt: igno
r
e cert
a
i
n
typ
e
s of a
s
signm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
enter
e
xtra: deferences in fak
e
assi
g
nment
s
don't count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Car
p
enter
extra
:
handl
e
fak
e
a
s
s
ign
m
ents faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
C
arpen
t
er
implied:
i
mprove
o
verwrite_states_u
s
ing_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
implied: add a com
m
e
nt explaining how implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
an Carpenter
functio
n
_hooks: c
h
eck
PA
R
AM
_
LIMIT implication
s
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpe
n
t
er
f
unction_
h
ooks: integrate
call_implies hooks
with
t
he
d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
slist: mangle the line number
o
f
m
e
rged states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
si
z
eof_param: rem
o
ve
r
e
ad_rom(
)
from
c
h
ecked
fu
n
c
t
ion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
c
r
eate_db: delete some
d
uplicate entree
s
fro
m
functio
n
_p
t
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpen
t
er
real_
a
bsolute: don't
store whole
r
a
nge
s
for
n
o
r
ea
s
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpent
e
r
struct_assignment: pull
split_fake_
e
xpr() into
i
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpen
t
er
db
:
limit the amount
of data in type
_
v
alue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra:
h
andle if (IS_ERR(
f
oo[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
C
arpenter
db:
i
nt
r
o
d
u
ce g
e
t_param_name
_
var_sym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n C
a
rpenter
imp
l
i
ed:
handle chunk
s
in switch statements like switc
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
ex
t
r
a: don't mar
k
all arra
y
s a
s
dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
helpe
r
: creat
e
an alloc_state
_
e
x
pr
(
) helper function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Carpenter
whit
e
space: remove som
e
blank
l
i
nes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n
Carpenter
e
x
tra:
r
emove unus
e
d
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
l
o
c
k
ing: add
more
i
mpossibl
e
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arp
e
nt
e
r
db: remove
some extra semi-colons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
r
a
nge
s
: remove an un
n
eeded initia
l
i
zer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
r
eturns: prov
i
de a split ou
t
list
o
f all the return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns: add get_all_returns_states
(
) fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
m
o
ve freeing to AFTER
_
FUNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpenter
db: constify some point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpent
e
r
extr
a
: add missing include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpe
n
ter
extra: don't overwrite
n
on-null pointers bec
a
u
se of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
extra:
f
ix
h
a
n
dling
of "if (foo & 0x3210) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan
C
arpenter
param_set: intr
o
duce
param
_
w
a
s_set_var_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Ca
r
pe
n
ter
impossib
l
e: handle switch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
impossible: don't o
v
erwrite the imp
o
s
s
ible state by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpe
n
t
er
implied:
h
an
d
le i
m
plications for if
(({whatever; fo
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Da
n
Carpenter
slis
t
: creat
e
is_leaf() function
which is th
e
oppos
i
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
D
a
n Carpenter
ranges
:
use signed type for neg
a
t
i
ve ints less tha
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan C
a
rpenter
d
b/kernel
.
re
t
urn_fixes regm
a
p_bulk_read() r
e
t
u
r
n
s negative
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan
Carp
e
nter
ranges: f
i
x
a
b
u
g in rl_invert(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan C
a
rpent
e
r
sval, type: make
s
o
m
e function
s
inline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan
Carp
e
nter
implied: fi
x
an old impli
c
ation bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied
:
rem
o
ve unused add
_
p
ool() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied: pass s
m
_states
instead o
f
pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan
C
arpenter
i
m
plied
:
fix
a
t
y
pe bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n Carp
e
nter
impl
i
e
d:
upda
t
e
some de
b
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n C
a
r
p
en
t
er
i
mplied: create
fake implication h
i
story
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n Carpenter
s
tates: t
w
eak debug outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
stat
e
s:
print
debug output in _
_
set_tr
u
e_fals
e
_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carp
e
nter
implied: overwrite s
m
a
t
ch_
e
xtr
a
us
i
ng implied
s
t
a
tes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nter
ranges, extra:
m
ov
e
a
nd export
s
plit_comparison
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next