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
modification_hooks: remove unused indirect modification hooks
2017-03-29
D
a
n
Carpenter
modification_ho
o
ks:
r
emov
e
u
n
used indirect mod
i
f
i
cation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
D
a
n Carpent
e
r
validation/s
k
b3: delete
s
ome accidental debug cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan
C
arpente
r
user_dat
a
2: don't s
e
t par
a
met
e
r
s
to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: handle skb->data ma
t
h a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
u
ser_
d
ata2: re
-
w
o
rk handlin
g
of s
k
b->data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
parse_call_math: wo
r
k around
f
or
l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpe
n
ter
l
eaks: don't
c
om
p
lain if we o
v
e
rwrite NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
free: ignore
impossi
b
le code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpen
t
er
s
h
i
f
t_to_zer
o
:
make t
h
e er
r
or mes
s
age mo
r
e i
n
formativ
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
test_bit: add tes
t
_and_c
l
e
ar_bit
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpent
e
r
smdb
.
py: pr
i
nt the return_implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
ar
p
enter
d
b
/fixup_kernel
.
sh: ig
n
ore
d
o
_loop_readv_
w
ritev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
e
xtra
:
set hard
ma
x
if a f
u
nction is called
wi
t
h a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extra: fix h
a
ndling of known condit
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
param_limit
:
do
n
'
t
set some u
n
changed li
m
i
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
ente
r
db: pr
e
v
e
n
t
slow downs spl
i
tting re
t
urns
a
part
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: set
pa
r
se_error if the
SQL fai
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
D
a
n Carpenter
param_set:
h
andle if the paren
t
was set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan
C
arpenter
buf_siz
e
: fix ty
p
e_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
db: filte
r
pointe
r
cal
l
s
b
y f
u
nction
signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
imp
l
i
e
d: revert "tiny
speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
e
r
a
s
s
i
gn
_
vs_compare: warn about "if (foo = &
b
ar)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
type: fix type_b
i
ts() for ar
r
a
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n C
a
rp
e
nter
shift_to_zero: do a
s
m
all clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
s
m
atch
.
c: remo
v
e
a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
db: sp
l
i
t return states
by
n
u
l
l vs non-null paramet
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
extra: filt
e
r PARAM_V
A
LUEs with both extra an
d
real
_
ab
s
olu
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
m
ath: handle -foo bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
help
e
r
:
introduce get st
r
uct an
d
member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
implied: tiny spee
d
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implie
d
: small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
ra
n
ges: h
a
ndle
b
itwise A
N
D operations
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Car
p
en
t
er
real
_
abso
l
u
t
e: in
t
roduce get_re
a
l
_
ab
s
ol
u
te_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
avl: ad
d
a
short c
u
t for when ther
e
are no states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
pen
t
e
r
type
_
val: h
a
nd
l
e |= type assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan
C
arpenter
d
b
: rena
m
e "function_t
y
pe_
i
nfo" table to "
f
unction_ty
p
e"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpent
e
r
user_dat
a
2
:
if a us
e
r_
d
ata i
s
e
qua
l
to
n
on-user 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
i
n
clude that lo
o
ks like i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
comparison: r
e
move
s
o
me l
o
cal_debug infor
m
atio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Ca
r
pente
r
db/fixup
_
k
ernel
.
sh: write
to t
h
e temporary DB i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
extra: fix typ
e
issu
e
handling +
+
=
and -
-
= operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: remove unc
o
mmitted function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: fi
x
h
a
nd
l
ing of si
z
eof()
_
_l
e
16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpen
t
er
math: h
a
ndle real_absolute variab
l
es more accur
a
tely
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpe
n
ter
r
e
al_ab
s
olut
e
: ignore
i
terat
o
r pre statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
helper:
In expr_to_str() remove
e
xtra parenthesi
s
aroun
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
d
b
:
int
r
oduce sql_insert_
d
ata_info
_
var_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
db: use "extern"
i
nstead of the file
n
a
me
f
or globals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
spars
e
: int
r
oduc
e
pars
e
_error variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
u
ser_data
2
:
handl
e
fu
n
ctions th
a
t merely return p
a
ssed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpen
t
er
hooks
:
int
r
od
u
ce ASSIGNMENT_HO
O
K_AFT
E
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
D
a
n Carpen
t
er
db: g
i
ve u
p
handling
f
unction pointer
s
i
f
t
h
ere are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpe
n
ter
us
e
r_data2:
remove some debu
g
printfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
Carpenter
user_
d
a
ta2: don't set the fun
c
tion itself
t
o user
_
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan
Carpenter
user_data
2
:
improve
ha
n
dling
w
h
e
n we
r
e
t
u
r
n user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Dan
Car
p
e
nt
e
r
function_hooks: don't
mark it as impos
s
ibl
e
if a
f
unc
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
D
a
n C
a
rp
e
nt
e
r
comparison:
m
odify the links at a
t
start of
an
assign
m
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carp
e
nter
db:
c
leanu
p
ge
t
_row_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
p
e
nter
implied: re
n
ame a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
est
a
te: add an estate_is
_
empty() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpenter
db/ker
n
e
l
.
no_inlin
e
:
don't parse
the bite
s
w
a
p f
u
nctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n
C
a
r
penter
ke
r
ne
l
: parse ATOMIC_SET() manually
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
a
r
penter
db/ker
n
e
l
.
return_fixes: add some m
o
re fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db
/
fixup_kernel
.
s
h: handle __
k
ernel_
w
rite() a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
v
i
m_db: handle o
l
d
er versio
n
s of vim
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
er
db/fixup
_
kernel:
h
and
l
e __
b
u
i
l
t
in_bs
w
ap64()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpe
n
ter
funct
i
on
_
hooks: change o
r
der of how db verse
i
mpl
i
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
p
a
r
am_limit:
d
on't insert
empty
s
tates into the d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
n
t
e
r
ra
n
ges: use a ha
c
k around s
o
when merging ranges o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
r
p
enter
t
y
pe_val:
f
ix a
m
emory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_
h
ooks, d
b
: handle
P
A
R
A
M_LIM
I
T for struct m
e
mb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nter
imp
l
ied: fix
a bug handling par
a
meter i
m
p
lications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
implied: add more debug i
n
for
m
atio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpe
n
ter
db: sort retu
r
n_
s
tates by fi
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
fl
o
w: tiny cleanup handling assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan
C
arpenter
flow: remov
e
a
n
unnee
d
ed condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpe
n
ter
f
l
o
w: rename a variable "tmp" -> "rig
h
t
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan C
a
r
p
enter
kernel
.
ignor
e
d
_macros:
a
dd
L
A
S
S
ERT() from
lustre
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan
C
a
r
penter
f
unc
t
ion_hooks, db: use
I
NTERNAL
a
s
the marke
r
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
D
a
n Carpenter
db:
h
and
l
e fu
n
ction pointers be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmu
s
V
i
ll
e
moes
check_kernel_p
r
i
n
tf
.
c: %pj
e
nded
up
being %pG
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus V
i
llem
o
e
s
chec
k
_
k
ernel_pr
i
ntf
.
c:
handle new definition of KERN_CONT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Ras
m
us V
i
llemoes
check_kernel_printf:
check that %pg gets a block_device
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan C
a
rpen
t
er
user_data2: math:
fun
c
ti
o
n calls should be handled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
D
an Ca
r
penter
math: fix a type
i
s
s
ue with M
O
D
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan
Car
p
enter
untra
c
ked_param
:
functions
t
hat
are too h
a
i
r
y are untrackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
D
a
n C
a
r
p
enter
address: simplify is_non_null_arra
y
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
t
ype_v
a
l
:
use the corr
e
c
t
type in get
_
db_typ
e
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
D
a
n Carp
e
nter
i
m
plied
:
fix a
bug
w
i
th borr
o
w
e
d impl
i
cat
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
D
an Carpent
e
r
flow: handled
d
ecla
r
ed
l
a
bels better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
r
a
ng
e
s: read u6
4
max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
sm
a
tch: rem
o
v
e test
s
to
se
e
if an ar
r
ay is
NUL
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
extra
:
han
d
le "if (a +
b
<
a) {
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
an Carpe
n
ter
slist: Silence a
smat
c
h warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
e
n
ter
debug: ad
d
the __smatch_absolute() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
b
u
f_size:
U
sing pla
i
n in
t
e
g
er as NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpente
r
db:
U
sing
plai
n
integer
as NULL po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
a
st-model: Using plain integer as
NULL poi
n
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debu
g
: add a
_
_sm
a
tch_absolute()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
user_d
a
ta: short ci
r
cuit a b
u
nch of code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next