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
vim_db: handle older versions of vim
2017-01-12
Da
n
Ca
r
pe
n
t
e
r
v
i
m
_db
:
handle o
l
der v
e
r
s
io
n
s of vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an C
a
rpenter
db/fixu
p
_
k
ernel: h
a
ndle _
_
b
u
i
l
t
in_bsw
a
p64()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
functio
n
_hooks: change order of how db verse implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Ca
r
p
en
t
er
p
a
ra
m
_l
i
mit: don't insert empty stat
e
s int
o
t
h
e db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
rpenter
ranges: use a hac
k
around so
when
m
e
rgi
n
g r
a
nges
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpent
e
r
type
_
v
al: fix a mem
o
ry l
e
ak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpent
e
r
fun
c
t
ion_hoo
k
s,
d
b: handle PARAM_LIMIT for struct
m
ember
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpenter
implied: fix a bug handling parameter implication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
imp
l
ied: add m
o
re debug
i
nf
o
rmation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpente
r
db: sort return_states by file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Ca
r
penter
flow: tiny
c
leanup handling assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpent
e
r
flow: r
e
move an unneed
e
d cond
i
tio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpe
n
ter
flow: rename a
varia
b
le "tmp" -> "
r
ight"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
Dan C
a
rpenter
kernel
.
ignored_macros
:
add
LASSERT() from lustre
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
function_hooks, db: use
INTER
N
AL as
the m
a
r
k
er
f
or
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan
Carpenter
d
b
: handl
e
function po
i
nters better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Da
n
Carpenter
user_da
t
a2: math:
f
unction ca
l
ls sh
o
uld
be h
a
n
d
l
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
D
a
n
C
a
rpenter
math:
f
ix a typ
e
issue
w
ith MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
D
a
n Carpen
t
er
u
ntrac
k
ed_para
m
:
f
u
n
ctions t
h
at
are too hairy are untrackable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
D
an Carpenter
addre
s
s: simplify is_
n
on_
n
ull_array()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Da
n
Carpenter
t
y
pe_val:
u
s
e
the correct ty
p
e in g
e
t_db_type_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
i
mplied
:
fix a
b
ug
w
ith bor
r
ow
e
d implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
fl
o
w: h
a
n
d
l
ed
d
e
cla
r
e
d label
s
bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
ran
g
e
s
: read u64max cor
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
ar
p
enter
smatch:
r
emove tests to see if an array is
NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
extra: handle "if (a + b < a
)
{ "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
an C
a
rpenter
slist: Silence
a
s
match warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Ca
r
pent
e
r
de
b
ug: a
d
d th
e
__smatch_abs
o
l
u
te() hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
buf_size: Using plain i
n
teger as NUL
L
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
C
a
r
p
enter
db: Using
plain int
e
ger
a
s N
U
LL poi
n
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Carpent
e
r
a
s
t-model: Using plain integer as NULL point
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an
Carpenter
debug: add a __
s
match_absolu
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
user_data: short circuit a bunch of cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Car
p
enter
dma
_
mappi
n
g_error: add pci_dma_mapping
_
error() to
t
his
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
continue_vs_b
r
eak: add it che
c
klist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
e
r
smatch_address: don't
crash
on
i
nva
l
id c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
*new* c
o
nti
n
ue_vs_break: complain
i
f c
o
n
t
inue is used
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smat
c
h
.
h: reserve some db
t
yp
e
s
f
or l
a
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
smatch
.
h: shuff
l
e
s
ome d
e
clara
t
i
o
ns around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
smatch
.
h: s
i
le
n
ce a
comp
i
le warni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpe
n
ter
c
apped:
set i
t
to u
n
c
a
p
ped if it's modifie
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/
f
ixup
_
kerne
l
.
s
h
:
work ar
o
u
nd for __to_fd()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Carpenter
db/fi
x
u
p
_kernel
.
sh: work ar
o
und for gfs2_e
a
_find()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
e
nter
db/kern
e
l
.
return_fixes:
spec
i
fy some f
u
nctions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an C
a
r
p
en
t
er
implied: add more
i
nformation to the debug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
d
ebug: print if you give a
b
ad c
h
eck name to
_
_smatch_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
smatch_data/wine: upda
t
e
w
i
ne data files
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
extra: add more parameter dereferen
c
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
m
a
th: don
'
t crash on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
user_d
a
ta2: skb->data
i
s
not user
d
a
ta, skb->data[0] is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
t
ype_value: it doesn't
m
ake sen
s
e to talk abou
t
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
extr
a
: im
p
r
ove how
"
if (foo & ~0x
F
)" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
math
:
i
gnore byte swaps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
f
l
ow:
h
andle w
h
ile (42) {
.
.
.
}
l
oops better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
comparison,
f
unction_hooks: remove i
m
possibl
e
pat
h
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
param_compar
e
_limit:
like param_limit bu
t
for
c
ompar
i
sons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan C
a
rpe
n
t
e
r
comparison:
a
dd
a
F
IXM
E
regard
i
ng
a bu
g
I
n
ot
i
ced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
D
a
n Carp
e
nter
compariso
n
: load/use
retu
r
n
comparis
o
n
s
i
n the cros
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Car
p
enter
compar
i
s
on: load
struct
m
e
mber i
n
fo into the
c
aller_info
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carp
e
nter
com
p
aris
o
n: load the
c
orrect
c
o
m
parison information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan
Carpenter
flo
w
: don'
t
call scope hooks unti
l
after t
h
e END_
F
UNC_HOO
K
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Ca
r
pe
n
t
er
modific
a
t
i
on_h
o
oks:
g
oing out o
f
scope is n
o
t a
m
odific
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
db/fix
u
p
_
kernel
.
sh:
update get_user_p
a
ges(
)
to
m
a
t
ch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan C
a
rpenter
function_hooks: pull is_impossib
l
e_
d
ata() into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
D
an Carpenter
c
o
m
p
arison:
c
leanup ha
n
dle_compari
s
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan C
a
rpenter
c
o
mp
a
rison: export some
f
un
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-09
Dan C
a
rpe
n
ter
s
tate
s
: nullify_path() should do free t
h
e
fake_cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db: handl
e
comparisons that we
k
now are tru
e
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan C
a
rpe
n
t
er
db: mark some true
fa
l
se pa
t
hs impossible based
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Da
n
Carpenter
ranges, db: if
w
e can't filter by
c
omparison the
n
use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
D
an Carpe
n
te
r
db: h
a
ndle
nested
calls bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
Dan Ca
r
p
e
nter
e
xtra
:
re-write handle_AND_c
o
ndition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpen
t
e
r
implied: handle impossible paths fr
o
m c
o
mp
l
icated switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied: get rid
o
f
the
-
>
implied member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpente
r
i
mplied: get rid of a tem
p
orary
v
ariab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
an Carpenter
smatch_data/wine
.
no_return_funcs: add
m
ore function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpente
r
smatc
h
_scr
i
pts/gen_no_return_funcs:
f
ix this for other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
p
re
-
pro
c
ess:
m
ake -nostdinc work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
check_wine:
m
ake 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
C
a
rpen
t
er
validation/sm_Wto
A
:
a
dd sing
l
e quotes in output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
C
arpenter
sm
a
tch_scripts: upd
a
te t
h
e
gen_
*
scripts t
o
t
ake a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
parse: ig
n
ore
_
Pragma(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
s
m
atch_data/wine
.
igno
r
ed_macros: add ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
pente
r
smatch_
d
ata/wine
.
no_return_
f
uncs:
update the list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpente
r
sparse: add /usr/includ
e
/x86_6
4
-linux-gnu/ includ
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Carpenter
wine_WtoA: add singl
e
d quotes in the out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carp
e
nter
db: remove PRAGMA synchronou
s
= OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
avl: make ge
t
_str
e
e_id()
retu
r
n
-1 if
t
he stree
p
oin
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Carpenter
implied:
han
d
le ->implied
states d
i
ff
e
rently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpenter
slist, im
p
lied: preserv
e
the en
t
ire cur_
s
tree
i
n the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpen
t
er
i
m
plied:
f
ix a bug where we imply the wrong t
h
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
nter
impl
i
ed: remove an
i
n
de
n
t level
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n
C
a
rpenter
impli
e
d
:
ch
a
n
ge d
e
bug out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
D
a
n Carpenter
extra: igno
r
e
tr
u
nca
t
e
d limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
f
low
:
ha
n
dle asm gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carp
e
nter
d
b
: split on boolean par
a
meter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
an Carp
e
n
ter
str
u
ct_assign
m
ent: handle point
e
rs bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n Carpenter
function_ho
o
ks: hack
aro
u
nd
i
nvalid input from the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
an
Carpe
n
ter
functi
o
n_hooks: fi
x
the pr
e
vious range
hooks fix
a
g
ain
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpen
t
er
flow
:
set ->pare
n
t for expressio
n
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next