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
db: sort return_states by file
2017-01-05
Dan Carpente
r
db: so
r
t ret
u
r
n_states by file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpe
n
ter
flow: tiny clean
u
p
hand
l
ing assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Carpe
n
ter
flow
:
re
m
ove an unneede
d
condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
an
C
arpenter
flow: rename a va
r
i
a
b
l
e
"t
m
p" -> "right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carpenter
k
e
rnel
.
ignored_macr
o
s: add L
A
SSERT() from lust
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
funct
i
o
n_hooks, db: use
INT
E
RNAL as the mar
k
e
r
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db: handle fu
n
ction
p
oint
e
r
s
be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
R
asmus Villemoes
chec
k
_kern
e
l
_printf
.
c: %pj en
d
ed
u
p
being
%pG
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
R
a
smu
s
V
i
llem
o
es
check_kern
e
l_p
r
intf
.
c:
hand
l
e new de
f
inition of KERN_CONT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Ra
s
mus Vill
e
moes
check_kernel_p
r
in
t
f: check that %pg get
s
a block_device
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpen
t
er
user_data2: math
:
f
u
nction
calls should be
handled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Ca
r
p
e
nter
math: fix a type issue with
M
O
D
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
D
a
n Carpente
r
untracked_
p
aram: functions that are too hairy are untrackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Car
p
enter
address: simplify is_non_n
u
l
l_array()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpe
n
ter
type_val: use
t
he correct type in get_db_type_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
implie
d
: fix a b
u
g with
b
orrowed implication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
flow: handled de
c
lare
d
labels bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan
Carpenter
ranges:
read u64max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan C
a
rpenter
smat
c
h
:
remov
e
t
e
s
ts
to s
e
e if an ar
r
ay is NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
Car
p
enter
ex
t
r
a:
h
and
l
e "if (a + b < a) { "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpent
e
r
slist: Sil
e
nce
a smatch warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
debug: ad
d
the __s
m
atch_absolute(
)
ho
o
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
ent
e
r
buf_size: Using pl
a
in integer as NULL poi
n
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpent
e
r
db: Using plain integer as NULL
p
oi
n
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpent
e
r
ast-m
o
del:
U
sing p
l
ain
i
n
teger as NU
L
L p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Ca
r
penter
d
ebug
:
add a
_
_
s
mat
c
h
_a
b
solute()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
penter
user_data: short c
i
rcuit a bunch o
f
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
m
a_mapping_er
r
or: add p
c
i
_dma
_
mapping_error()
t
o this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arp
e
n
t
er
cont
i
nu
e
_vs_br
e
a
k
: add
i
t checklist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch_a
d
d
r
es
s
: don't
crash
o
n invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
*
n
ew*
c
ontinue_vs_break: complain if continu
e
is u
s
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
a
r
penter
s
m
atch
.
h
:
res
e
rve some db types
for later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h: shuffle som
e
declara
t
io
n
s around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h: si
l
en
c
e a
compile warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
capped:
set
it to un
c
a
pped if it's
m
odified
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
db/fixup
_
k
ernel
.
s
h
: work around fo
r
_
_
to_fd()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
r
penter
db/fixup_kernel
.
s
h: work around for gf
s
2
_
ea_find()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
db/ker
n
el
.
return_fixes: speci
f
y
some fu
n
c
tions
th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpent
e
r
imp
l
ied: add more information to the
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debug: pri
n
t if
you give
a b
a
d
check name to __
s
matc
h
_
states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch_data/wine: update wine data files
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
a
rpen
t
er
extra: add
m
ore para
m
eter dereferences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Ca
r
p
enter
m
ath: don't crash o
n
inva
l
id co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Carpente
r
user_data2: skb->data is n
o
t u
s
er data, skb->d
a
ta[0] is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpe
n
t
er
type_
v
alue:
it
d
oesn't ma
k
e
sense to talk
about
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carp
e
nt
e
r
extr
a
:
improve how "if (foo & ~
0
xF
)
" is
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
m
a
th: i
g
nore byte swaps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
flow:
h
andle
while (42) {
.
.
.
} loops
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
comparison,
f
unction_hooks
:
remove imposs
i
ble
p
a
t
hs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
p
a
r
am
_
compar
e
_limit: like pa
r
am_limit but for comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan C
a
rpe
n
t
er
comparison: add a FIXME regarding a b
u
g I noticed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
D
an Carpe
n
ter
com
p
ar
i
son
:
load/
u
se
r
eturn com
p
arisons
i
n
t
he c
r
oss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Da
n
Ca
r
pen
t
e
r
comparison: load stru
c
t me
m
ber info into the
c
aller_i
n
f
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Ca
r
penter
comparison: load the cor
r
ect comparison info
r
mati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
D
a
n Car
p
enter
flow: don't
cal
l
scope hooks until after the
END_FUNC_HOOKs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpent
e
r
m
odif
i
c
ation_hooks: going
o
u
t of scope is
not a modific
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpent
e
r
db
/
fixup_kernel
.
sh: update g
e
t
_user_pages() to match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
function_h
o
o
ks:
pull i
s
_impossible_data()
into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Ca
r
p
enter
com
p
arison: cl
e
anup handl
e
_compari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
comparis
o
n: ex
p
ort some
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
Dan Carpenter
states: nullify
_
path() should
d
o fr
e
e th
e
f
a
k
e_cur_str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Car
p
e
nt
e
r
d
b: ha
n
dle comparison
s
tha
t
we
k
n
ow are t
r
u
e better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db: mark some
t
rue fal
s
e
paths im
p
ossible based on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
ranges, db:
if we can't
filte
r
b
y
compariso
n
then use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan
C
ar
p
ent
e
r
db: handle neste
d
calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Dan Carp
e
nte
r
extra: re-w
r
i
te handle_AND_conditi
o
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpente
r
implied
:
h
a
ndle impossible pa
t
hs from compli
c
ated switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
impl
i
ed: get rid of the ->implied
memb
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied:
get r
i
d
of a tempo
r
ary variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Ca
r
pent
e
r
s
m
atch_data/wine
.
no_return_
f
u
ncs: add more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
smatc
h
_scr
i
pts/g
e
n_no_return_funcs: fix this for o
t
her
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Car
p
enter
pre-
p
rocess: make
-
nostdinc work aga
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
en
t
er
chec
k
_wine: ma
k
e report(R_FATAL,
.
.
.
)
a
n
u
l
l
ify the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
Carp
e
n
t
er
valid
a
tion/sm_WtoA: add
s
i
n
gle quotes i
n
o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
C
arpenter
smatch_script
s
: update the
gen_
*
scripts to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpen
t
er
parse: ignore _Prag
m
a
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpen
t
er
smatch_dat
a
/
wine
.
ignore
d
_mac
r
o
s: add ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
p
e
nter
smatch_data/wine
.
no
_
r
e
turn_funcs: up
d
ate t
h
e list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
ent
e
r
sparse: add /usr/include/x86_64-
l
inux-gnu/
in
c
l
ude
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
wine_WtoA: add
s
ingled quotes in
t
he output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
D
a
n Carpenter
db
:
remove
P
R
A
GMA s
y
nchrono
u
s = OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpenter
avl: make get_stree_id
(
)
r
etu
r
n -1 if
the st
r
e
e
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Ca
r
penter
implied: ha
n
dl
e
->im
p
li
e
d s
t
a
t
e
s dif
f
erently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpente
r
slist, implied: p
r
eserve t
h
e entire cur_stree
i
n the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
i
mpli
e
d: fix a bug where we i
m
ply the wrong
t
h
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
im
p
lied: remove an indent level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
i
mplied:
c
hange debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carp
e
nter
extra: ignore
truncated l
i
mits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n Ca
r
penter
f
low: ha
n
dle asm go
t
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
rpenter
db: split on boolean pa
r
ameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n
C
arpenter
st
r
u
c
t_assi
g
nment
:
handl
e
pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
Carpenter
f
unction_
h
ooks: hack ar
o
und invalid i
n
p
u
t fr
o
m the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
an Carpen
t
er
functio
n
_
hooks: fix the previou
s
range hooks fix agai
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Carpe
n
ter
flow:
s
et
->parent for expression s
t
atement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpent
e
r
helper,
u
ntr
a
cked_par
a
m: move
the int_stack to smatc
h
_
help
e
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
ranges: fix casti
n
g
to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow: set position at
the start o
f
the
func
t
ion
c
o
r
rec
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpe
n
ter
f
u
nction_hooks:
fix a typ
o
in d
e
b
u
g output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Carpenter
implied: tweak timeout
in separate_and_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an
C
arpenter
func
t
ion_h
o
oks: fix
a typ
e
i
ssue (affects r
a
n
g
ed f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next