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
buf_size: fix type_bytes()
2017-02-10
Dan Carp
e
nte
r
b
u
f
_size: fi
x
type_
b
ytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpente
r
db: filter p
o
in
t
er cal
l
s b
y
functio
n
signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
i
m
plied: revert "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
assig
n
_
v
s
_
compare: warn
a
bou
t
"if
(foo
= &bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
C
a
rpe
n
t
e
r
t
ype: fix ty
p
e_bi
t
s() f
o
r arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
s
h
i
f
t_to_ze
r
o: d
o
a smal
l
c
l
ean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smat
c
h
.
c: re
m
ove a bl
a
n
k line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
db: split re
t
urn states by null
vs non-null pa
r
amete
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpente
r
extra: f
i
lt
e
r
PARAM_VALU
E
s with bot
h
extra and
r
eal_absolut
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nt
e
r
math:
ha
n
dle -f
o
o better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
helper:
i
ntrod
u
ce ge
t
struct and
member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpenter
implied: tiny speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
implied: small
cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpe
n
t
er
r
anges:
h
andle
bitwise AND operations better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Ca
r
penter
real_abs
o
lute: in
t
roduce get_real_absolute_var_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpent
e
r
a
vl
:
add a short cu
t
for wh
e
n
t
her
e
are no states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
ar
p
enter
type_val:
handle
|
=
type assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
D
a
n Ca
r
pent
e
r
db
:
rename "function_type_info" table
t
o "function
_
type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
user_d
a
ta2:
i
f
a
u
ser_data is
equa
l
to non-
u
ser data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
enter
pre-process: try find any include that looks like it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an C
a
rpen
t
er
compa
r
iso
n
:
remo
v
e some
local_debug informat
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db/fixu
p
_
kernel
.
sh: write to the
temporary DB instea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
ext
r
a: f
i
x
t
ype issue handling ++= and
--= o
p
er
a
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
math: rem
o
ve unc
o
m
m
itt
e
d
f
unct
i
on call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpe
n
ter
m
ath: f
i
x handli
n
g o
f
sizeof
(
) __le16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
ent
e
r
math: handle real_abs
o
lute
v
ariables more acc
u
rat
e
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real_
a
b
s
olute: ignore iterat
o
r pre statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpenter
h
elper:
In e
x
pr_to_st
r
()
remo
v
e extra
p
a
re
n
thesis around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db: introduce sql_insert_dat
a
_info_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Ca
r
penter
db: u
s
e "extern" i
n
s
t
ead o
f
the file name for globals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
sparse: i
n
t
r
od
u
ce
parse
_
error
vari
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_d
a
ta2: h
a
ndle
f
unctions that merely return pas
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
D
a
n
Carpenter
hooks: introduce ASSIGN
M
ENT_HOOK_AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan
Ca
r
penter
db:
give
up handling function
pointer
s
i
f
there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carp
e
nter
user_data
2
: remove some debug printfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpe
n
ter
u
s
e
r_data2: do
n
't
s
et the function itself
to
user_
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
arpenter
u
s
er_dat
a
2: improve hand
l
ing when we re
t
urn user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpenter
func
t
ion_hoo
k
s:
don't mark
it as imposs
i
ble if a func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpenter
comparison: modify t
h
e links at
at st
a
rt of an assignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpenter
db: clea
n
up get_ro
w
_count
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
i
m
plied: rename a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
a
r
penter
est
a
te: add an estate_is_
e
mpty() function
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 s
w
ap func
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carp
e
nter
kernel: p
a
rs
e
ATOMIC_SET() manually
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
enter
d
b/k
e
rnel
.
r
e
turn_fixes: add some m
o
re
f
ixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/fixup_kernel
.
sh:
handle __ker
n
el_wr
i
te(
)
a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
v
i
m
_db
:
handl
e
older versions
o
f vim
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arp
e
n
ter
d
b/fixup_k
e
rnel: handle
_
_
builti
n
_bswap64()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
Carpente
r
funct
i
on_hooks: c
h
a
nge order of
h
ow db ver
s
e implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
te
r
par
a
m
_
limit: don't insert
e
mpty state
s
i
n
to the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carp
e
nter
ranges: use a
hack
aroun
d
so when
m
erg
i
ng
r
anges
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
type_
v
al: fix a memory lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_hooks, db: handle PARAM
_
LIMI
T
for
struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carpenter
impl
i
ed: fix a bug hand
l
ing parameter
i
mplications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
implied: add more
debug
info
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpent
e
r
db:
s
ort retur
n
_s
t
ates by f
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Da
n
C
arpent
e
r
flo
w
: tiny cleanup
han
d
ling assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n
Ca
r
p
e
n
ter
f
low: remove an unne
e
ded co
n
diti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan
C
arpenter
flow: rename a vari
a
ble "tmp" -> "right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan Ca
r
pent
e
r
kernel
.
ignored_macros:
a
dd LASSERT() fr
o
m lust
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
D
an C
a
rpenter
function_hooks, db: use INTE
R
NAL as the m
a
rker for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db
:
ha
n
dle
f
unction pointers bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
c
h
eck_kernel_printf
.
c: %pj ended
u
p bei
n
g
%p
G
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Ra
s
m
u
s Villemoes
c
h
eck
_
kernel_printf
.
c: hand
l
e new defin
i
ti
o
n o
f
KERN_CONT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
che
c
k_kernel_printf: check that %pg g
e
ts a block_device
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
D
an
C
arpenter
u
s
er_data2
:
m
ath
:
f
u
nctio
n
calls sh
o
uld
be
handled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
m
a
th: fix a
t
yp
e
iss
u
e with
MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan
C
a
rpenter
untrack
e
d_param: f
u
nctions that are to
o
hairy are untr
a
ckable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
arpenter
address: simplify
i
s_non_n
u
ll_array()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Car
p
enter
type_va
l
: use the corre
c
t type i
n
get_db
_
type_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan C
a
rpen
t
er
implied:
fix
a bug wit
h
b
orr
o
wed implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
flo
w
: handled dec
l
ared labels b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
ran
g
es:
r
ead u64max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carp
e
nter
smatch:
r
e
mo
v
e tests to see if an arra
y
is NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
C
a
rpenter
extra: han
d
l
e
"i
f
(a + b < a) { "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
slist: S
i
le
n
ce a smatch warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpe
n
ter
de
b
ug: add the __sm
a
tch_absolu
t
e() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpen
t
er
buf_
s
ize: Usin
g
plain
i
nteger
a
s NULL p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpen
t
er
db: Using plain in
t
ege
r
as NULL po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
an
Ca
r
penter
ast-model: U
s
ing plain integer as NULL poin
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Ca
r
pen
t
e
r
d
e
bug: add a __sm
a
tch_abs
o
l
u
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
us
e
r
_
data: short
c
i
r
cuit a bunch of code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpent
e
r
dma_ma
p
p
i
n
g
_
er
r
or: add pc
i
_dma_mapping_erro
r
() to
t
his
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
continue_vs_break:
a
dd it c
h
ecklist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch_address: don't crash
o
n
i
nvalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
*new
*
co
n
tinue_vs_
b
reak: complain if
continue 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 types for l
a
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smat
c
h
.
h: shuffle some
decl
a
ratio
n
s around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
smatch
.
h:
silenc
e
a compile wa
r
n
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
c
appe
d
: s
e
t it
t
o uncappe
d
i
f it
'
s modified
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
b/fixup_kerne
l
.
s
h
: work aroun
d
f
o
r
__to_fd()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
b/fi
x
up_kernel
.
sh: work around
fo
r
gfs2_ea_find()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Carpenter
db/k
e
rnel
.
ret
u
rn_fix
e
s: spe
c
i
fy some functions
that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
im
p
lied: add m
o
re i
n
f
o
rmat
i
on to
the debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
debug: pri
n
t if
you gi
v
e a bad check na
m
e to
__smatch
_
states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an C
a
r
p
ente
r
smatch_data/wine: update wine data files
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
extra: add more
p
arameter de
r
eferences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an
C
a
rpent
e
r
math: don
'
t cras
h
on inva
l
id code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
user_d
a
ta2: skb->data is not user data, skb
-
>data[
0
] is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpen
t
er
type_valu
e
: it doesn't make sense to talk
about
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next