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
extra: re-write handle_AND_condition()
2016-07-04
Dan Carpenter
e
x
tra: re-
w
rite handle_AND_condit
i
o
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
imp
l
ied: handle
i
mpossible pa
t
hs from complicated switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
an Carpenter
i
m
plied: get rid of
the
-
>implied member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpenter
implied: get rid of a te
m
porary variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpent
e
r
smatch_data/wine
.
no_retu
r
n_
f
uncs: add more fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carp
e
nter
s
m
atch_sc
r
ipts/gen_no
_
return_funcs: fix
this for
other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
an
Ca
r
p
e
nter
pre-p
r
oces
s
: make -nostdinc
w
ork a
g
ain
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
c
heck_wine: mak
e
repor
t
(R_F
A
TAL,
.
.
.
)
a n
u
llif
y
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
valid
a
tion/
s
m
_WtoA: ad
d
s
ing
l
e
quotes in output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
smatc
h
_scripts: update the gen_* scripts to take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
parse
:
ignore _Pragma()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
C
a
rpe
n
t
e
r
smatch_data
/
wine
.
ignored_macros:
a
dd o
k
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
s
m
atch_data/wi
n
e
.
no_r
e
tur
n
_funcs: update the
list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
spa
r
se: add /usr/i
n
clude/x86_
6
4
-l
i
nux-g
n
u/ incl
u
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
n
t
e
r
wine_W
t
o
A
:
add singled quotes in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carpente
r
d
b
: remo
v
e PRAGMA synchronous
= OF
F
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Carpenter
avl: make g
e
t_stre
e
_id(
)
retur
n
-1
i
f the
s
t
ree pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
a
rpenter
impli
e
d: handle ->imp
l
ied states differently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
slist,
imp
l
ied: p
r
eserve the entire cur_st
r
e
e
in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rp
e
nter
implied
:
f
ix
a
b
ug where we i
m
ply
t
h
e wrong
thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied:
r
emove an ind
e
nt l
e
v
e
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpent
e
r
implied: ch
a
nge
d
e
b
ug outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan
C
arpenter
extra: ignore truncated lim
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
flow:
h
andle asm gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n Carpenter
db:
s
plit o
n
boolea
n
pa
r
a
m
e
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
struct_assig
n
ment: handle poi
n
ters be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function
_
hooks: hack arou
n
d i
n
valid input from th
e
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function_hook
s
: f
i
x
the
pr
e
vi
o
us ran
g
e hooks fix again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow:
s
et ->p
a
re
n
t for
expression statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carp
e
nter
helper, unt
r
ack
e
d
_
param: m
o
ve th
e
int_stac
k
to smatc
h
_helper
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Carpenter
ranges: fix cast
i
ng to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
an Carpen
t
e
r
flow: set posit
i
on
a
t the start o
f
t
he fu
n
c
t
i
o
n correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
function_hooks: fi
x
a typo in debu
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
implied: tweak
timeout in separa
t
e_and_fil
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpenter
func
t
io
n
_hooks: fix
a
type iss
u
e (affect
s
ranged functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
u
nction_ho
o
ks: fix db an
d
r
an
g
ed_fun
c
tions i
n
tegra
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Carpen
t
er
db/kernel
.
return_fixes:
hack ar
o
u
nd
d
own_in
t
e
r
ru
p
tib
l
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/k
e
rnel
.
return_fixes:
add
scnpri
n
tf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
an
C
a
rpe
n
ter
function_hooks: fix locking false positives when y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
Carpent
e
r
extra: fi
x
memset() handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
an Ca
r
penter
implied:
dele
t
e
unused function sm_s
t
ate_in_sl
i
st
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpen
t
e
r
ptrlis
t
: us
e
after fr
e
e in last_ptr_
l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpenter
flow: type issue
h
andling
switch s
t
a
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n
Carpen
t
e
r
ranges: fix t
y
pe
i
ssue
i
n
r
emove_ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
an Carpe
n
t
er
c
on
d
itions: s
i
lence v
a
l
grind warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpenter
flow: set f
i
nal_pass i
f
w
e
have to bai
l
o
n
a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carpenter
extra: ex
p
ort get_ot
h
er_
n
am
e
_
s
y
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Carpenter
impossible
:
add is_impossib
l
e_path() to s
m
atch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
e
n
ter
db: don't
c
rash g
e
nera
t
in
g
SQL
for invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
extra: fix bug handling untracked pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
er
struct_as
s
ig
n
ment: ignore certain types of assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpe
n
t
e
r
extra
:
deferences
in
f
a
k
e
a
s
signm
e
nts don
'
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
f
aster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
an Carpenter
implied: impro
v
e
overwrite_states
_
us
i
n
g_p
o
ol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
implied: a
d
d a comment explai
n
ing how implicati
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
function_hooks: check PARA
M
_LIMIT implications all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
D
a
n Car
p
e
n
ter
function_hooks: in
t
egrate call_implies hoo
k
s
with the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
sl
i
st: mangle the li
n
e
number
o
f m
e
r
g
ed st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
sizeof
_
param: remove read_rom() fr
o
m checked f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
create_db: d
e
lete so
m
e
d
u
plicate en
t
rees
from f
u
nction_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
re
a
l
_abs
o
lute: do
n
't
store wh
o
le ran
g
es for no re
a
s
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
struct_as
s
i
g
nment: p
u
ll split_fake_
e
xpr()
i
nto
i
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an
C
ar
p
enter
d
b
:
l
imit the amount of data in typ
e
_value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra:
handle if (IS
_
ERR(foo[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
e
r
db:
intro
d
uce get_param_name_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an C
a
rpent
e
r
implie
d
: handle chunk
s
in swi
t
c
h
s
t
atements
l
ike
switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
pente
r
extra: d
o
n't mark all arrays as dereferenc
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
help
e
r: creat
e
an alloc_s
t
ate_expr()
helper fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
whitespace: remo
v
e
some blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
n
t
er
ex
t
ra:
remove u
n
u
sed function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
lock
i
ng: add more impossible handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
db: remove some extra semi-col
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
rang
e
s: remove an unneeded
initializer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns: provid
e
a spli
t
out list of all th
e
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpen
t
er
re
t
urns: a
d
d get_all_re
t
urns_sta
t
es
(
) functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
move freeing
t
o AFTER_FUNC
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
db: con
s
tify some point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpen
t
er
extra
:
a
dd missing include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arp
e
nter
extra: don't
o
verwrite non-null pointers
b
e
ca
u
s
e of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
extra: f
i
x
handling
o
f "if (fo
o
& 0x3210) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan
C
arpenter
param_set: introduce par
a
m_was_set_var_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpen
t
er
im
p
ossible:
h
andle
switch
s
tatemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Da
n
Carpenter
i
m
possible: don't
o
v
erwri
t
e
t
he impossible st
a
te
b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpent
e
r
implied: handle implic
a
tions for if
(
(
{whateve
r
; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan C
a
rpenter
s
l
ist: cr
e
a
t
e is_
l
eaf() func
t
ion w
h
i
ch
i
s the
opposite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carpente
r
ranges: use signed type for negative ints less
t
han
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Carpenter
db/ke
r
nel
.
return_fi
x
e
s
r
e
gmap_bulk_rea
d
(
) returns negat
i
ves
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Ca
r
penter
ranges: f
i
x
a bug in rl_inve
r
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carp
e
nter
sval, type: mak
e
s
o
me fu
n
ctio
n
s
inline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
D
an
Car
p
enter
i
mpl
i
ed: f
i
x
an old implication bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
impl
i
ed: re
m
ove unuse
d
add_pool() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan C
a
rpenter
implied: pass sm_states ins
t
ead of pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
imp
l
ied: fix
a
type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n C
a
r
p
enter
implied: update some
debug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan C
a
rpent
e
r
imp
l
ied:
create fake implication histor
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan
C
arp
e
nter
states: tweak
d
ebug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n
Carpenter
states: p
r
i
nt
d
ebu
g
o
u
tp
u
t
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: overwrite smatch_ext
r
a
u
si
n
g imp
l
ied states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpente
r
ranges
,
e
xtra: move and ex
p
ort split_com
p
arison
_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
n
t
er
slist:
r
e
move un
u
sed __set_true_false_if_n
o
t
_
alre
a
d
y
_se
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next