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
flow: handled declared labels better
2016-11-09
Dan Ca
r
pente
r
fl
o
w: hand
l
ed
d
e
clared
l
ab
e
ls bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
D
an Ca
r
p
e
n
ter
ran
g
es
:
read u6
4
ma
x
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
Carpe
n
ter
smat
c
h: remove tests
to see if an
array is NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
e
xtra: ha
n
dle "if (a
+
b < a) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
enter
slist: Silence a sm
a
t
c
h
w
arning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Carpenter
de
b
ug:
add t
h
e
__smatch_a
b
solute() ho
o
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpent
e
r
buf_s
i
ze: Us
i
ng plain
i
nteger
as
NULL p
o
i
n
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Carpenter
db: Using plain integer as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
ast-model:
Using plai
n
integer as NUL
L
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
debug: add a __sm
a
tc
h
_a
b
solute()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
user_data: short
c
ircuit a bunch of code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
dma_
m
appi
n
g_error: ad
d
pc
i
_dma
_
mapping_e
r
ro
r
(
)
to this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
cont
i
nue_vs_
b
rea
k
:
add it ch
e
cklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
smatch
_
address: don't crash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
*new*
c
o
n
t
inue_vs_break: compl
a
i
n
if continue is used
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
sma
t
ch
.
h: re
s
e
r
v
e
som
e
db t
y
pes f
o
r later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
smatch
.
h: shuffle some declarations around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpe
n
ter
sm
a
tc
h
.
h
:
silence a
compile warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
c
a
p
p
ed: set it to uncapp
e
d if it's modified
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
db/fixup
_
kernel
.
sh: wo
r
k around
f
o
r
__to
_
fd()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/fixup_
k
e
r
nel
.
sh: wo
r
k a
r
ound for gfs2_ea_find(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpente
r
db
/
kernel
.
return_fixes: sp
e
cify some
functions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
implied: add more i
n
formation
to
t
he debug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpen
t
er
debug: print
i
f
y
o
u
gi
v
e a
b
ad check name
to __sma
t
ch_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
smatch_data/wi
n
e: update wine data f
i
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Carpenter
extra:
a
d
d
more paramete
r
dereferences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
math: don't crash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
u
s
e
r
_
data2
:
skb->data
i
s n
o
t user data, skb->dat
a
[0] is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
type_v
a
lu
e
: it doesn't make sens
e
to talk
a
b
o
u
t
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carp
e
nter
e
xtra
:
imp
r
ove how "i
f
(foo & ~0xF)" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
math: ignore
b
yte swa
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n C
a
rpenter
flow
:
handle while (42) {
.
.
.
} loops better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpen
t
er
comparison,functio
n
_hooks
:
r
em
o
ve
impossible p
a
th
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
param_compare_limit: like param_limit
b
ut for compariso
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carp
e
n
t
er
comp
a
rison: add a FIXME regarding a
bug I noticed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
D
an Car
p
enter
com
p
a
rison
:
load/use return comp
a
risons in the
cross
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
D
a
n Carpent
e
r
com
p
arison: load struct membe
r
info into the
c
a
l
ler_info
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
c
ompariso
n
:
l
oad the corre
c
t compar
i
s
o
n
information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
D
a
n Carpenter
flow: d
o
n
'
t
c
a
l
l
s
cop
e
hoo
k
s
un
t
il
a
fter t
h
e END
_
FUNC_HOOKs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Da
n
Carpe
n
ter
modification_hooks: going out of scop
e
is not a modi
f
ic
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
db/fi
x
up_kern
e
l
.
sh:
update get_
u
se
r
_pages() to mat
c
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
function_h
o
oks: pull is_im
p
ossible_data() into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
comparis
o
n
: cleanup hand
l
e
_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
comparison: export some functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-09
D
a
n
Carp
e
nter
states: nullif
y
_pat
h
()
s
hould
d
o free the fake_cur_s
t
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan
C
a
rpen
t
er
db: handle comparis
o
ns that we know are tr
u
e bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db
:
mark some true
false
p
a
t
hs impossibl
e
based
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpen
t
e
r
ran
g
es,
d
b: if we
c
an't filter by comparison then u
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Ca
r
penter
d
b
:
handl
e
nested calls better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
Dan
Carpen
t
er
extra:
r
e
-write ha
n
d
l
e
_
AND_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
enter
implied:
h
andle impossible pat
h
s from compli
c
ated switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
imp
l
ied: get
rid o
f
the ->implied
m
ember
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n Carpenter
implied
:
get
rid of a temporary
v
ariable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpen
t
er
smatch_dat
a
/w
i
ne
.
no_return_funcs: add more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
an
Carpenter
smatc
h
_scripts/gen_no_ret
u
r
n
_
f
uncs: fix this for other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpe
n
ter
pre-pr
o
ces
s
:
make -n
o
stdin
c
wor
k
agai
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
check_wine: make
r
eport(R_FATAL,
.
.
.
)
a nullify the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
p
e
n
ter
val
i
dation/sm_WtoA: add
s
i
ngle quotes in
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sma
t
ch
_
scripts: updat
e
the
g
en_* s
c
ri
p
t
s t
o
t
a
ke a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
an Carpent
e
r
pa
r
se: i
g
nore
_
P
r
a
gma
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
s
m
atch_data/wine
.
ig
n
ored_mac
r
os: add ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpente
r
s
match_d
a
ta/w
i
ne
.
no
_
return_
f
uncs: u
p
date the list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sparse
:
add
/usr/include/x86_64-
l
inux-gnu/ incl
u
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
wine_
W
toA: a
d
d singled
quotes in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
D
an
Carpenter
db: remo
v
e PRAGMA synchronou
s
= OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arpent
e
r
av
l
: mak
e
g
e
t
_
stree_id() retur
n
-1
i
f the
s
tree
p
ointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Ca
r
pen
t
er
imp
l
i
e
d: hand
l
e ->im
p
lied states differentl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpenter
s
li
s
t
,
implied: pres
e
rve the
e
ntire cur_stree in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carp
e
nt
e
r
i
mplied: fix a bug wher
e
we imp
l
y the wrong thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rp
e
nter
implied: remove
an inde
n
t l
e
vel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
penter
i
m
p
lied: change debug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan
Car
p
enter
extra:
i
g
nore truncated limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
flow:
handle asm g
o
to
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
e
nter
db: split o
n
b
oolean pa
r
a
meter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
an
Carpe
n
t
er
struct_
a
ssign
m
ent: handl
e
pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
fu
n
c
t
io
n
_h
o
oks: hack
a
round in
v
a
l
i
d
input
f
rom th
e
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function_hooks: fi
x
th
e
previ
o
us ran
g
e hooks fix aga
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpen
t
er
flow
:
set ->
p
arent for expre
s
sion statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carp
e
n
te
r
helper, untracked
_
param: move th
e
i
nt_stack to
s
m
atch_helper
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpent
e
r
ranges: fi
x
casting
t
o bo
o
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
enter
f
low: set pos
i
tio
n
a
t the start of the f
u
nction correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
function
_
h
ook
s
: fix a typo in
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
implied: tweak time
o
ut in s
e
parate_and_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Carpenter
fu
n
ction_
h
ooks:
f
ix a type
i
ssue
(
a
f
fects ranged function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
r
penter
function_hoo
k
s: fix db a
n
d ranged_functi
o
ns i
n
tegration
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
a
r
pen
t
er
db/ker
n
el
.
retu
r
n_fixes: hack around
down_interruptible(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Car
p
en
t
er
db/kern
e
l
.
ret
u
r
n_fixes: add scnprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
an Carpenter
function_hoo
k
s
:
fix locking false positi
v
es w
h
en yo
u
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan C
a
rpenter
extra:
fix memset() handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Ca
r
p
e
n
ter
implied: delete unuse
d
function
sm_state_
i
n
_
slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpenter
ptrlist: use aft
e
r fr
e
e
i
n last_ptr_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Ca
r
penter
flow: type issue handling switch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpenter
ranges: fix type issue in remove_ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Carpenter
conditions
:
silence valgrind warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpe
n
ter
f
low: set final_pa
s
s if we h
a
ve to bail on a fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
t
e
r
e
xtra: ex
p
or
t
get_other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Car
p
enter
impossible: a
d
d is_impossible_
p
a
th
(
)
to smatch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n
C
arpenter
db: don't cras
h
gene
r
ating SQL for invali
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpente
r
extra: fix bug handling untra
c
ked pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpe
n
ter
st
r
uct_a
s
si
g
n
m
e
n
t:
ig
n
o
r
e cert
a
in types of assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next