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
extra: handle indirection like "p = &foo; *p = 42;"
2017-04-11
D
an Carpenter
extra: ha
n
dle indirection like "p = &foo; *p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Ca
r
p
e
nter
e
x
tra:
h
andle MOD conditions l
i
ke "if (a
% 4
)
{" bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
mod
i
fication_hooks:
remove un
u
sed indirect mo
d
ification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
validation/skb3: dele
t
e
s
o
m
e
accidental debu
g
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
rpenter
use
r
_data2: don't set parameters to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpenter
user_data2
:
handle
s
kb->data math a little
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Da
n
Carp
e
nter
user_data2: re-work handling of s
k
b->da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
C
a
rpenter
parse_call_
m
ath:
w
ork
aroun
d
f
or loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
leaks: don't co
m
pl
a
in if we overwrite NUL
L
p
oint
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpent
e
r
free: ignore impo
s
sib
l
e code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
shift_to_zero: make the er
r
o
r
messa
g
e more
i
nformat
i
ve
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Car
p
enter
test_bit: a
d
d
tes
t
_and
_
c
le
a
r_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carp
e
nter
smdb
.
p
y
: print the return_implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db/fixup_kernel
.
s
h: ignore do_lo
o
p_
r
eadv
_
w
r
it
e
v
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
extra: set hard max if a
functio
n
is ca
l
led with
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
te
r
ext
r
a: fi
x
h
a
ndling of known c
o
nditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
par
a
m
_limit: d
o
n
't
s
et
some unchange
d
l
i
mits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
db: preven
t
slow
d
owns s
p
litting return
s
a
p
a
r
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Car
p
enter
db:
s
et parse_error if the SQL fa
i
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Car
p
enter
pa
r
am_set: h
a
nd
l
e if the parent was se
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
buf_size: fix type_b
y
tes(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Ca
r
penter
db:
filter pointer calls by function si
g
natures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: re
v
ert "
t
iny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
assign_vs_c
o
mpare: warn
ab
o
ut "i
f
(
f
oo = &ba
r
) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Car
p
e
n
t
e
r
type: fix type_bits()
fo
r
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
shift_to_zero: d
o
a small clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c: r
e
move a bla
n
k li
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db: spli
t
re
t
urn states by null
vs non-null
para
m
ete
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
ext
r
a: filter PARAM_VALUEs wit
h
both extra and real_ab
s
olute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
math: handle
-
foo better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
he
l
per: intro
d
u
c
e
g
e
t stru
c
t and member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
implied: tiny s
p
eed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
im
p
lie
d
: small cle
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
ranges:
handle bit
w
ise AND
operations better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
pen
t
e
r
real_abs
o
lute: int
r
oduce get_real_
a
bsolute_va
r
_
s
ym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
a
v
l: add
a
short cut for wh
e
n there are no states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
type_val: handle |= t
y
pe ass
i
g
n
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpent
e
r
db: rename "f
u
nction_t
y
pe_info"
t
a
b
l
e
to "function_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Ca
r
penter
user_data2: i
f
a user_d
a
ta is
e
qual to non-user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpe
n
t
er
pre-
p
rocess: try f
i
nd any inc
l
ude that looks like it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
comparison
:
re
m
ove s
o
me local_debug information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpenter
db/fi
x
up_kernel
.
sh: write
to the
temporary DB ins
t
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpent
e
r
extra: fix type issue handling ++
=
and --= opera
t
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: r
e
move uncommitted function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpe
n
ter
m
ath:
f
ix
h
andling
o
f sizeof() __le1
6
ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Ca
r
penter
math: handle
r
e
a
l_absolute variabl
e
s more accu
r
ately
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
real_absol
u
t
e:
ignore iterator
pr
e
s
tateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
C
arpenter
he
l
pe
r
: In exp
r
_
to_str() remove
e
xt
r
a parenth
e
s
i
s
around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nt
e
r
db: intro
d
uce sql_in
s
ert_
d
ata_info_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
db:
use
"exter
n
" ins
t
ead of
t
he file
n
ame for g
l
obal
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
spa
r
se: introduce parse_error variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
user
_
data2
:
handle functions t
h
at
m
erely return passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpen
t
er
h
o
oks: introduce ASSIGNMENT_HOOK_AFT
E
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
arpen
t
er
db: giv
e
up handling
function
pointe
r
s if
ther
e
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
D
an Carpe
n
t
er
user_data2: rem
o
ve some de
b
ug printf
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
Carpen
t
er
user_
d
ata2: don't set
t
h
e func
t
ion it
s
elf to user
_
dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
use
r
_data2:
i
mpr
o
ve handling when we retur
n
use
r
da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
D
an
C
arpenter
f
u
nction_hoo
k
s: don't ma
r
k it as i
m
possible if a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan Car
p
enter
c
o
mparison:
mo
d
if
y
t
he links at at st
a
rt of
a
n assig
n
men
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan
C
arpenter
db: cl
e
an
u
p get
_
row_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
t
e
r
implied: rena
m
e
a
f
uncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
estate:
ad
d
a
n
estate_is_empty() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carp
e
nter
db/kernel
.
no_inline: do
n
'
t pars
e
the b
i
te
swap
functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpenter
kernel: parse ATO
M
IC_SET()
m
a
n
u
ally
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
ter
db
/
ker
n
el
.
return_fixes
:
add some more fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
an Carpenter
db/fixup_k
e
rnel
.
sh: han
d
le __k
e
rnel_write()
a
bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
C
arp
e
nter
vim_
d
b: han
d
le older versions of vim
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/fixup_kerne
l
: hand
l
e
__builtin_bswap64()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Ca
r
pent
e
r
f
u
n
c
ti
o
n
_
hooks: change or
d
er of how db verse implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
a
rpenter
p
a
ram_limi
t
: don't i
n
s
e
rt em
p
ty sta
t
es i
n
to the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
ranges: use a hack arou
n
d so
w
hen mergi
n
g ranges of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carpenter
type_val: f
i
x a memor
y
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_hooks
,
db
:
handle PARAM_
L
IMI
T
for struct
m
e
mbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Car
p
enter
i
m
p
l
ied: fix a bug handling
param
e
ter implica
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Car
p
enter
implie
d
: ad
d
more debug informa
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
D
an
C
a
r
p
enter
db
:
s
o
r
t
r
eturn_states b
y
f
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpen
t
er
flow: tiny
cleanup hand
l
ing assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan
Carpenter
f
l
ow: remove an unneede
d
condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flo
w
:
rename
a
variable "t
m
p
"
->
"
right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Da
n
Ca
r
penter
kernel
.
ign
o
red_ma
c
ros: add LASSERT
(
) from lus
t
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
D
an Carpent
e
r
function_hooks, db: u
s
e
INTERNA
L
a
s
the marker for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Da
n
Carpenter
db: handle
f
unction po
i
nt
e
r
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
D
a
n
C
arpent
e
r
user_data
2
: math: function c
a
lls should be ha
n
d
l
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
m
ath
:
fix
a t
y
p
e
iss
u
e with MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carpe
n
te
r
untracked_
p
aram: functions that are too
h
a
iry are untrackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
a
r
pen
t
e
r
a
d
dr
e
s
s
:
s
implify is_non_nul
l
_array()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan C
a
rpenter
ty
p
e_
v
al: use the correct ty
p
e in
g
et_db_typ
e
_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Da
n
Carpenter
implied: fix
a bug with borrowed implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Da
n
Carpent
e
r
flow: ha
n
dl
e
d
dec
l
ared
labels
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
ranges:
r
ead u64max correctl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpent
e
r
sm
a
tch: remo
v
e
t
ests
t
o see if an array is NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpen
t
er
extra:
h
andle "if (
a
+
b < a) { "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
slist: Silence a sm
a
tch warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan C
a
r
pe
n
te
r
debug:
add the __smatch_absolute() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
buf_size:
Us
i
ng
p
lain i
n
tege
r
as NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
db: Usi
n
g plain integer as NU
L
L poin
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
arp
e
nter
ast
-
model:
U
sing plain integ
e
r as NULL poi
n
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
debug:
add
a __smatch_ab
s
olu
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
user_da
t
a
:
sho
r
t
ci
r
cuit a
bunch of code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
dma_mapping_error: add pc
i
_dma_mapping_er
r
or() to this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next