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
user_data2: remove some debug printfs
2017-01-18
Dan
C
arpen
t
e
r
use
r
_data2: remove some debug
p
rintfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: don't s
e
t
the function
i
t
self to
user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpent
e
r
user_data2: improve h
a
n
d
ling when we return user d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpen
t
er
function_h
o
oks: d
o
n't mark it as imp
o
ssib
l
e if
a
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpente
r
compa
r
is
o
n: mod
i
fy
t
he li
n
ks a
t
at start
o
f
a
n assignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan
Carpenter
db: cleanup g
e
t_row_cou
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
i
m
plied: ren
a
m
e a functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
enter
e
state:
add an estate_is_emp
t
y()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/kernel
.
no_inline: don't parse the bite swap func
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
enter
kern
e
l: parse ATOMIC_SET() manually
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/kernel
.
return_fixes
:
add some mor
e
fi
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
p
e
nt
e
r
db/fixup_
k
ernel
.
sh: han
d
le __kernel_write() a
bit be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
an Carpenter
vim_
d
b: ha
n
dle
o
lder versio
n
s o
f
vim
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/fixup_kernel: han
d
le
_
_builtin_
b
swa
p
64()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
Carpenter
function_hooks:
change o
r
d
e
r of how db verse implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n Carpenter
param_limit: don't insert
empty
stat
e
s
into the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
Carpent
e
r
ranges: use a hack around so
wh
e
n m
e
rging ranges of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Ca
r
p
e
n
t
er
type_val: fix a me
m
ory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_ho
o
ks, d
b
: hand
l
e PAR
A
M_LIMIT
f
or struct
m
emb
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Carpenter
impli
e
d: f
i
x a bug handling parameter implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
an Ca
r
p
enter
implied: add more debug infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan
Carp
e
n
t
er
db: sort return
_
states by file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan C
a
rp
e
nter
flow: tin
y
cleanup handling a
s
si
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n
C
a
rpenter
fl
o
w: remove an unneeded condi
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Ca
r
pente
r
f
low: rename a vari
a
ble "tmp" -
>
"right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carpenter
kernel
.
i
g
nored_macros
:
add LAS
S
E
R
T()
f
rom lustr
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan C
a
r
pe
n
ter
fu
n
c
tion
_
hooks, db: u
s
e
I
NTERNAL
as the mar
k
e
r fo
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db
:
handle fun
c
tion pointer
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Vill
e
m
oes
c
h
eck_kernel_pri
n
tf
.
c: %p
j
ended up being %pG
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Vill
e
moes
c
h
eck_kern
e
l
_
p
rin
t
f
.
c: handle new d
e
finitio
n
of KERN_
C
ONT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Ra
s
mus Villemoe
s
c
h
eck_
k
e
r
nel_printf: c
h
eck tha
t
%pg gets a bl
o
c
k
_
d
evice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan C
a
rp
e
nter
u
s
er_d
a
t
a2
:
math:
function calls shoul
d
b
e
handled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Car
p
e
n
ter
math: fix a type issue with MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Da
n
Carpen
t
er
u
n
t
r
acked_pa
r
am: fu
n
ctio
n
s that are too hairy are untrackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
addres
s
:
s
implify is_non_null_array()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
D
a
n
C
arpenter
t
y
pe_val: use the corr
e
ct
type in
g
et_db_type_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpen
t
e
r
implie
d
: fix a bug with
b
o
rrowed
i
m
p
l
ic
a
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpente
r
f
l
ow: handled declared l
a
bel
s
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan
C
arpenter
range
s
:
read u6
4
max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
s
m
atch:
r
emov
e
tests
t
o
s
e
e i
f
an array is NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
arpenter
extra: han
d
l
e
"if (a +
b
< a) { "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
s
l
ist:
S
i
lence
a
sm
a
t
c
h
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpente
r
debug: add the __smatch_a
b
so
l
u
t
e() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carp
e
nter
buf_size: Using pl
a
in i
n
t
e
g
e
r as
NULL pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carp
e
nter
db
:
U
sing
p
lain int
e
ge
r
a
s NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpente
r
a
st-mod
e
l: Using plain integer as NULL po
i
n
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debug:
add
a
_
_smatch_absolute()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
user_da
t
a
:
short ci
r
cuit a
bunch of
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Car
p
e
n
ter
dma_mapping_error: add pci_d
m
a
_m
a
pping_error() to this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
p
e
nter
continue_vs
_
break
:
add
i
t
checklist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
smatch
_
address: don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
*n
e
w
*
continue_vs
_
b
reak
:
comp
l
ain if contin
u
e is used
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
penter
smatch
.
h
:
reserve some db types
for lat
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Car
p
enter
smatch
.
h: shuffl
e
some de
c
l
a
rations around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
s
m
a
t
ch
.
h: silenc
e
a
compile warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
capped:
se
t
it to uncapped if
i
t's modified
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
d
b/fixu
p
_kernel
.
sh: work ar
o
und
f
or __to_
f
d(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
db/fixup_kern
e
l
.
s
h: work arou
n
d for gfs2_ea_find()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
b/kernel
.
r
e
tu
r
n_fixes:
specify so
m
e
functio
n
s that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
implied: add mor
e
info
r
mation to th
e
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debug: prin
t
i
f
you
giv
e
a bad
che
c
k
name to __smatch_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
smat
c
h
_
data/wine:
u
p
d
ate wine data files
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Ca
r
penter
extra: add more parameter
derefer
e
nce
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
math:
d
on't cr
a
sh on inval
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
u
s
e
r_data2: s
k
b->data is not user d
a
ta, skb->d
a
ta[0]
i
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
e
nter
type_value: i
t
doesn't make sense to talk about the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
extra:
improv
e
how "if (foo & ~0xF)"
i
s handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
math: ignore by
t
e
swaps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
f
l
o
w: ha
n
dle
while (42) {
.
.
.
}
l
oops b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
compa
r
ison,function
_
hooks: r
e
m
o
ve
i
mpossib
l
e path
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Car
p
enter
param_compare_limit: like param_limit
b
u
t
for comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan C
a
r
penter
compari
s
o
n: add a
FIX
M
E regard
i
ng a bug I no
t
iced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
comparison: load
/
u
s
e
ret
u
rn
comparisons in the cross
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
D
a
n
C
a
r
penter
comparison: load
s
truct member info into the calle
r
_info
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Da
n
Carpente
r
comparison: l
o
a
d
the c
o
r
rect comparison informat
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
fl
o
w: do
n
't call
scope h
o
oks until a
f
te
r
th
e
END_FUN
C
_HOOKs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
modification_hoo
k
s: g
o
ing
o
ut o
f
s
cope is not a m
o
dificatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Da
n
Carpenter
db/
f
i
xup_kernel
.
sh
:
updat
e
get_user
_
p
a
ges() to
matc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
functio
n
_hoo
k
s: pull
is_impossib
l
e_data() into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan
Ca
r
penter
comparison: clea
n
up handle_c
o
mparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpent
e
r
compariso
n
:
export so
m
e
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
Dan Carpente
r
states: nullify_path() should
d
o free
the fake_cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
d
b
: h
a
ndle comp
a
riso
n
s that we kno
w
a
r
e true be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
D
a
n
C
arpenter
db: m
a
rk some
t
rue false pat
h
s im
p
o
s
sible
b
ased
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
ranges, db: if we can't filter by comparison then use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan
C
arpe
n
ter
db: handle nested calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Da
n
Carpenter
extra: re-write handle_AND
_
condition(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
C
a
r
penter
im
p
lied: handle impossible paths fro
m
complicate
d
swit
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carp
e
n
t
er
imp
l
ied: get
r
i
d
o
f
t
h
e
-
>implied mem
b
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
C
a
rpenter
i
m
plied
:
get
r
i
d of a te
m
porary variabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpente
r
smatch_data/
w
ine
.
no_return_fun
c
s
:
add more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
smatch_scrip
t
s/gen_no_return_funcs: fi
x
thi
s
for ot
h
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n
Car
p
enter
pr
e
-proc
e
ss: make
-
nostdinc work
a
gain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
an Carpenter
check_wine: make report(R_F
A
TAL,
.
.
.
) a nullify the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
va
l
idat
i
on/sm_WtoA: add
s
ingle qu
o
t
e
s in
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpent
e
r
s
match_s
c
ripts: 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
pa
r
se
:
ignore _Pragma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Carpenter
smatch_data/wi
n
e
.
ignored_macros: add ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n
Carpenter
smatch_
d
a
t
a/wine
.
no_return_
f
uncs: up
d
ate the
l
ist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
spars
e
: add
/
usr/inc
l
ude/x
8
6
_64-linux-gnu/ include
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next