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: add more parameter dereferences
2016-07-16
Dan Carpenter
extra: add more
p
ar
a
met
e
r deref
e
rence
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
math: don't
c
rash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
penter
u
ser
_
data2: skb
-
>
d
ata is not user da
t
a,
skb->dat
a
[0] is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpen
t
er
type_value: it does
n
't make sense
t
o tal
k
about the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
extra:
improve how
"
i
f
(foo &
~
0xF)" i
s
ha
n
dled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Ca
r
pen
t
er
ma
t
h: ignor
e
byte swaps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
flow: handle whil
e
(42)
{
.
.
.
}
l
oop
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
compari
s
o
n
,
function_hooks: rem
o
ve impossible paths
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
param_compa
r
e_limi
t
:
like
p
a
r
am_limit but for comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Car
p
e
nter
comparis
o
n
:
a
d
d a FIXME reg
a
rding a bug I noticed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carp
e
nter
compar
i
son: load/use r
e
turn comparisons
in
t
he cross
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpen
t
er
comparison: l
o
ad struc
t
memb
e
r info
into the caller_info
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Car
p
e
n
ter
comparison:
l
oad th
e
correct comparison informat
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan
C
a
r
pent
e
r
f
l
ow: d
o
n't call scope hooks until after the END_FUNC_HOO
K
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Da
n
Carp
e
n
t
er
modification_hooks: going
o
ut of sc
o
pe
i
s
not a
modificatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Da
n
Carpente
r
db/fixup_kern
e
l
.
sh:
update get_use
r
_pages() to match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpente
r
function_hooks: pull
i
s_imp
o
ssible_data() into i
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
D
an
Car
p
enter
c
o
m
p
a
r
is
o
n
:
cleanu
p
handle_comparison(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carp
e
n
t
er
comparison: export some function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
D
a
n Carpente
r
s
t
a
tes: nullify
_
path() should do free the
f
ake_cur_
s
t
r
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carp
e
nter
db
:
h
a
ndle comparisons
that we know are true better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db:
m
ark
s
ome true f
a
lse
paths impossible b
a
sed
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Car
p
e
n
ter
ranges, db: if w
e
can't f
i
lter by co
m
p
a
r
i
s
on then use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db: handle
nest
e
d
calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Dan
Carp
e
nter
ex
t
ra: r
e
-writ
e
handle_A
N
D
_
conditio
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n Carpenter
impl
i
ed: handle imposs
i
ble path
s
from
complicated sw
i
tch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
ente
r
i
m
pl
i
ed: g
e
t
r
id of th
e
->impl
i
e
d member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied: get rid of
a
temp
o
rary variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Ca
r
penter
smat
c
h_data/wine
.
no_ret
u
r
n_
f
u
n
cs: a
d
d
m
o
re functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
s
m
atch_scripts/
g
en_no
_
ret
u
rn_funcs:
fix this fo
r
other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Carpenter
pre
-
process:
m
a
ke -nostdinc
wo
r
k again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
check_w
i
ne: make
re
p
ort(
R
_F
A
TAL,
.
.
.
)
a
nullify the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
penter
validation/sm_
W
t
oA: add single qu
o
tes in o
u
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n C
a
rpenter
sm
a
tch_
s
crip
t
s:
update
the ge
n
_* script
s
to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
an
C
ar
p
en
t
er
parse
:
i
g
no
r
e _Pragma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
r
p
enter
smatch_data/wine
.
ignored_macros: add ok
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
Carpen
t
er
s
match_data/wine
.
no
_
retur
n
_f
u
ncs: update the
list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
sparse: a
d
d /usr/inclu
d
e
/x86_64
-
li
n
ux-gnu
/
include
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpen
t
e
r
wine_WtoA: add sing
l
ed quo
t
e
s in the output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Dan Car
p
enter
db: rem
o
ve PRAGMA synchronous = OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpente
r
avl: make get_stree_id() retu
r
n -1 if the str
e
e
p
oi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
i
m
p
lied: handle
-
>implied
s
t
ates differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rpenter
slist, implied: p
r
eserve th
e
entire
cur_str
e
e in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
an
C
arp
e
nter
implied: fix a bug where we imply th
e
wrong
t
hin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
nter
implied: remove an indent level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpente
r
i
m
plied: change debug o
u
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Car
p
ente
r
extra
:
ign
o
re truncated li
m
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
flow: handle asm gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
Ca
r
penter
db: split on
boolean parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
s
t
ruc
t
_
a
ssignment
:
handle pointers
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
rp
e
nter
f
u
nction_hook
s
:
hack
ar
o
un
d
invalid input from the
DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
a
rpenter
f
u
n
ct
i
on_hoo
k
s: fix the previous range
h
ooks
f
i
x ag
a
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an Carpe
n
ter
flow:
set ->parent
for
expression statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carp
e
nte
r
helper, un
t
racked_par
a
m
: move the int_sta
c
k to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
e
n
ter
ranges: fix
casting to boo
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Carpent
e
r
flow:
s
et posi
t
ion at the s
t
art of
the fun
c
tion
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carp
e
n
ter
f
unction_hooks: fix a ty
p
o in debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
i
m
p
l
i
ed: tweak time
o
ut in separate_and_fi
l
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
C
ar
p
enter
fun
c
tion_hooks: fix
a type issue (affects ranged func
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
functi
o
n_hooks
:
fix db and ranged_functions integration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carp
e
nt
e
r
db/
k
e
r
nel
.
re
t
urn
_
fixe
s
: hack
a
round down_interruptible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpe
n
ter
db/ker
n
el
.
r
e
turn_fixes: add s
c
nprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
Carpent
e
r
fun
c
tion_hooks: fix locking fa
l
s
e
positive
s
when
you
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carp
e
nte
r
extra: fix mem
s
et
(
) hand
l
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
r
p
enter
implie
d
: delete unused function sm_s
t
ate_in_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ptrlist:
u
se after free in l
a
st_ptr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpenter
flow: type issue handling
s
wit
c
h statem
e
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpenter
ran
g
es
:
fix type
iss
u
e in
remove_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpen
t
e
r
conditions: si
l
e
n
c
e v
a
l
g
rind warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan C
a
rpenter
f
l
ow:
s
et final_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
Ca
r
p
e
nter
e
x
t
r
a:
e
xport get_other_n
a
me
_
s
y
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Car
p
e
nter
impo
s
sible: add is_impossible_path() to sm
a
tch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
db: don't
c
rash generating SQL for inv
a
l
i
d
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
e
xtra: fix bug handling untracked poi
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Ca
r
penter
stru
c
t
_
a
s
signme
n
t: ignore certain types
o
f
assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpenter
extra
:
defer
e
nces
in fake assignments
d
on't co
u
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpenter
extra: handle fake assign
m
ents
f
a
ster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan C
a
rp
e
n
t
er
implied: improve overw
r
ite_states_usin
g
_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan C
a
rpent
e
r
i
mplied:
a
dd a
comment expl
a
ining
how impl
i
c
ations
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
func
t
ion_hooks
:
check PARAM_LIMIT implications al
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
f
u
nc
t
i
on_hook
s
: integrate call_impli
e
s hooks
w
ith the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
s
l
ist: mangle the line
n
umber of me
r
ged states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
s
i
zeof_pa
r
am: re
m
ove
r
ead_rom() from checked fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpe
n
ter
cre
a
t
e
_
db: delete som
e
du
p
l
icate entrees from
f
unct
i
on_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
real_absolute: d
o
n't store whole ranges for no reas
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
enter
struct_assi
g
n
m
ent: pu
l
l spli
t
_fake_expr() int
o
its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
d
b: limit
the a
m
ount of d
a
t
a
i
n
type_va
l
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
pen
t
er
e
xtra: hand
l
e
i
f
(IS_ERR(foo[
b
ar])) {
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
db: introduce get_param_name_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
implied
:
h
a
n
d
le chu
n
k
s
i
n
s
w
i
t
ch statements like switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
ex
t
ra: don't m
a
rk all arrays a
s
dereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
helper: creat
e
a
n
alloc_state_ex
p
r() helper
fun
c
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
whitespace: remove
some bl
a
nk lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
e
x
tra
:
re
m
ove unused fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
lo
c
ki
n
g: add more impossible handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
er
db: remove some e
x
tra
s
e
mi-colons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
C
arpenter
ranges: remove an unneeded i
n
itializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
ret
u
rns:
p
rovid
e
a split out
list of al
l
the return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpente
r
returns: add get
_
a
l
l
_return
s
_states() fu
n
c
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
mov
e
fre
e
ing to AFTER_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next