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
flow: set loop_count to zero when parsing inline functions
2018-01-25
Dan Carpenter
f
low: set loop_count to zer
o
when parsing inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an
C
arpenter
cor
e
:
silenc
e
s
o
me false pos
i
tives f
r
om parsing
invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
implied: use a ti
m
e based timeout in
s
tead of counting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Carpen
t
er
extra: ha
n
dl
e
loops
li
k
e:
while (--i >=
0
) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Ca
r
pente
r
function
_
h
ooks: fake an assignment when f
u
nctions
r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
check_free_stric
t
: N
e
w stri
c
ter
cros
s
function use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
D
an
Carpen
t
er
c
h
eck_atomic_inc_dec: track atomic_inc() and atomic_de
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
a
s
s
igned_expr
:
handle
fake ass
i
gnmen
t
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
D
an Carpenter
a
ssign
e
d_
e
xpr: rem
o
ve deb
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Da
n
Carp
e
nte
r
ker
n
el_
p
rintf: %p
x
is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
stree: de
b
uggin
g
:
print the
n
um
b
er of stat
e
s
in
__print
_
stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
m
tag: c
o
mmit a
l
l mtag related code to dat
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
an C
a
rpenter
smdb
.
py: fi
x
some crashing bu
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
arpenter
conta
i
ner_of
:
h
andle
function call
s
like
foo->bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
sm
a
tc
h
: get the smatch bin dir correctly when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
user_data2: empty
states
are
n
ot
u
ser
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
constraints_req
u
ired:
i
mprove handl
i
ng of
as
s
igne
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db:
d
on't
sp
l
i
t by NULL vs non-NULL whe
n
the
r
e are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
a
r
penter
flow: s
t
ore a backup of the sta
r
t time when par
s
in
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
h
e
lper: chang
e
some nonsense values to
other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Car
p
enter
DB: introduce a tim
e
out handling caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpen
t
er
address: fix han
d
ling of &
f
oo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
conts
t
rain
t
s
: use caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
c
o
nstraints: move pri
n
t_r
e
tur
n
_implies_c
o
nstrained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Ca
r
p
e
nter
c
onstraints:
cleanup unmet_constraint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpe
n
t
e
r
c
o
nstraints: fi
x
add_co
n
straint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpent
e
r
mtag: intr
o
duce create_mtag_alias()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n Carpe
n
ter
mtag
:
f
ix get_mtag() f
o
r
r
ecorded states a
n
d f
o
r arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
arpent
e
r
links: no need to record links outside a funct
i
on ca
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n
Carpenter
t
y
pe_val:
c
ache DB in
f
o as a spe
e
d up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
C
ar
p
enter
s
tri
n
g_lis
t
: prevent
a
use a
f
ter f
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan C
a
rpente
r
mt
a
g: rename from
mta
g
s
p
l
u
r
al
to
mtag
s
i
ngular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carp
e
nter
helper:
k
eep a small cache
of
r
ece
n
tly used variab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
extra: pa
s
s e
x
p
r
ess
i
o
n
p
o
inter
t
o m
o
d/nomod hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: wr
i
te infra
s
tructure to pass expr to
n
o_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/bu
i
ld
_
early_index
.
sh: set
up more mtag
indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expres
s
i
o
ns:
i
n
i
t
i
alize ->member_offset() in member_expr
e
ssion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
ter
function_hooks: set path
i
mpos
s
ible if w
e
cull everything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
mtags:
r
e
move the & pre-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
scripts/gen_allo
c
ation_li
s
t
.
s
h: add __
a
lloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
db/fixup_kernel
.
sh
:
snpr
i
ntf() returns aren't
r
eally
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rp
e
nter
e
xtra: pass th
e
modified
e
xpression to extra_mod_hoo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpe
n
ter
ex
t
ra:
stor
e
values
for ex
p
ressions like "foo[3]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
a
d
dress: don't segfault parsin
g
i
nv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
C
a
r
pe
n
ter
ignore: re-writ
e
and add _expr
(
) v
e
rsio
n
s of
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
pa
r
am
_
set/filter:
P
ARAM_SET
i
n
st
e
ad of PARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
p
arse_cal
l
_m
a
th: use assigned values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
sval: impr
o
ve sv
a
l
_bino
p
_overflows(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n Carpenter
extra: don't modify const
pa
r
amete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n Ca
r
pe
n
t
e
r
address/type: make
some fun
c
tion par
a
meters
const
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an
Carpenter
s
t
ruct
_
assignment: remo
v
e an duplicate
NULL chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
a
rpenter
struct
_
assignment: don't double parse
ulo
n
g a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
enter
struct_assignment: fix a
NULL
dere
f
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/mtags: add mtag_data and
mta
g
_map ta
b
les
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
an Carpenter
db
/
fn_p
t
r_da
t
a_link: don't store d
u
plica
t
e
reco
r
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
an Carpenter
db: all
o
w SQL statements to
b
e
r
u
n later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db: int
r
oduce
get_mtag_name_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_assignment: handle non
struc
t
, p
o
inte
r
assig
n
ments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
st
r
uct_assignment: fi
x
handling of non_s
t
ruct_assig
n
m
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
an C
a
rpenter
str
u
ct_
a
ssignment: split
h
andle_non_struct_assigm
e
n
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
a
n
Carpenter
in
d
ex_overflow: make all messages "err
o
r:" in
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpen
t
er
index
_
overflow: sma
l
l cle
a
n
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
a
n Carpent
e
r
ind
e
x_ove
r
flow: don't
w
arn about impossible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Da
n
Carpenter
mtag:
introduce me
m
o
r
y t
a
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
i
m
plications: set_state(
)
s
houl
d
trump i
m
pli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carpent
e
r
buf_comparison
:
copy the
c
ode fr
o
m smatch_constraints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Car
p
enter
implied:
impro
v
e
t
h
e
"too hairy" message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
D
an Carpenter
compari
s
on: st
o
r
e
t
h
e
e
xpress
i
ons involved (if
i
t's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Ca
r
penter
com
p
arison: rena
m
e var1 to l
e
ft_var and
var2 to right_var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constrai
n
ts
_
req
u
ired: dete
c
t a bunch
o
f
n
ew t
y
pe
s
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
c
o
nstraints: allow function constr
a
int
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan
Carpente
r
c
onstraint
s
: don't
stor
e
si
g
ned
v
s unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
D
a
n
Carpenter
kernel_printf:
don't s
e
g
f
ault on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpente
r
u
s
er_data
:
fix co
m
pile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
D
a
n Carpenter
ty
p
e_val: use
s
m
a
tc
h
_c
o
ntainer_o
f
(
)
informat
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Da
n
Carpe
n
ter
use
r
_da
t
a: thi
s
file is rep
l
aced
by check_user_dat
a
2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Da
n
Carpenter
imp
l
ie
d
: ad
d
a timeou
t
in
sm
a
tch_impl
i
ed
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan
Ca
r
penter
fl
o
w
:
d
elete
o
ut of s
c
ope variables for compo
u
nd s
t
a
t
ement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpe
n
ter
s
cope: move a check for S
T
M
T_COMPOUND
earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
r
p
enter
validation/sm_cast
s
.
c: upda
t
e
to not use an
u
nintialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
revert "smatch
_
type
.
c: comparison e
x
pressions
a
lways
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpen
t
e
r
val
i
d
ation/sm_buf_size6
.
c: update format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpenter
parse: make an array lar
g
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
helpe
r
:
fix get_
a
rray_ex
p
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
assigned_expr:
s
ave a record when a fun
c
tion s
e
ts
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
m
o
difi
c
ation_
h
ooks: handle P
A
R
AM_SET e
a
r
l
ier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Car
p
enter
.
gitign
o
re: ignore
.
smatch,
.
smatch
.
sql a
n
d
.
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
e
r
constraints: add a comment,
remove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
p
e
n
te
r
constr
a
in
t
s
_required
:
s
t
ore more r
e
quired c
o
n
s
trai
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
call_math: add kzalloc() to the
list of allocati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
ca
l
l_math
:
prevent an endless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
penter
allocation
_
funcs: add __
a
lloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carp
e
n
t
er
constraints:
fix
selecting the required constraint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
R
as
m
u
s
Villemoes
check_kernel_
p
rintf
.
c: warn about
"
%lx", (l
o
ng)ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
smatch_
t
ype
.
c: comparison expression
s
always ha
v
e type int
commit
|
commitdiff
|
tree
2017-10-30
R
a
s
mus Villemoes
s
m
atch_type
.
c: fix type o
f
poi
n
ter diff
commit
|
commitdiff
|
tree
2017-10-27
D
an Carpenter
struct_assign
m
e
n
t
:
fix pars
i
ng of invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
D
a
n C
a
rpente
r
symbol
:
le
t
is
_
ptr
_
type() take NULL pointe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Da
n
Carpenter
core:
add NULL checks
for pars
i
ng invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
D
an
Carpe
n
ter
ge
t
_user_overflow: verify that that it's a co
m
pare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next