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
type_val: record fewer "unknown" assignments
2018-01-25
Dan Carp
e
nter
t
y
pe_val: record fewer
"u
n
known" assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
rpe
n
ter
flow:
s
e
t loop_count to zero when
par
s
ing inl
i
ne functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpente
r
core: silence
some false posi
t
iv
e
s from
parsi
n
g
invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
an Carpenter
im
p
lied: use
a time based
t
imeout
instead
of counting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Carpente
r
ex
t
ra: h
a
nd
l
e
loops like
:
while
(
--i >
=
0
) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Da
n
C
arpe
n
ter
f
un
c
tion_hooks: fake an
a
ssignment wh
e
n functi
o
n
s return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpent
e
r
ch
e
ck_free_strict: New stricter cross function
use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Car
p
enter
check_atomic_in
c
_dec
:
t
rack atom
i
c_in
c
()
and atomic_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Da
n
Carpenter
assign
e
d_expr: handle
f
ake assignmen
t
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
C
arpe
n
ter
ass
i
gned
_
ex
p
r:
r
em
o
ve d
e
bug
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
kernel_pr
i
ntf:
%px i
s
v
alid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
stree: d
e
bu
g
ging: print th
e
number of states
in __p
r
int_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Ca
r
penter
mtag: commit all mtag related code to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpen
t
er
smdb
.
py
:
f
i
x some crashing bu
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Da
n
Carpenter
container_of: h
a
ndle function calls l
i
ke foo->b
a
r(
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Carpenter
smatch: get t
h
e s
m
atch bin dir correct
l
y when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Ca
r
penter
user_
d
ata2: empty states are not u
s
er dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
constr
a
int
s
_require
d
:
improve ha
n
dlin
g
of assigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n C
a
rpe
n
t
er
db: don't split
by NULL vs
n
on-NULL when
t
h
er
e
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpenter
f
l
ow: store
a back
u
p of the start time when parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
helper: chan
g
e some no
n
sense values to o
t
her nonse
n
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpenter
DB: introduce
a t
i
me
o
u
t
h
a
n
d
ling caller
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
a
d
dress: fix h
a
n
d
l
ing of &fo
o
->ba
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
enter
contstr
a
ints: use
caller in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpenter
constraints: move print_retur
n
_impli
e
s
_constrained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
con
s
train
t
s:
cl
e
anup unmet_c
o
nstraint(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
con
s
trai
n
ts:
f
i
x
add_const
r
aint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpenter
mt
a
g: introd
u
ce
c
reate_mtag_a
l
ias()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
mtag: fix get_mtag() for reco
r
d
e
d
st
a
tes
a
nd for arra
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
li
n
ks: no need
t
o
r
e
cord l
i
nk
s
outside a fu
n
ct
i
on call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
t
y
pe
_
val
:
cache DB in
f
o a
s
a
speed
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
st
r
ing_lis
t
: pr
e
vent a
u
s
e
after fr
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
D
an Carpenter
mt
a
g
:
r
e
n
ame from mt
a
gs plural to
mta
g
s
i
ngula
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
ter
h
e
l
p
er: keep a
small cache o
f
r
e
c
ently used
variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpenter
extra: pas
s
ex
p
ression pointer to mod/n
o
m
o
d ho
o
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: wri
t
e i
n
frastruct
u
re
to pass expr to no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
db/build
_
early_index
.
sh: set up more mtag in
d
exe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expressions: initialize ->member_o
f
fset
(
) in member_ex
p
ression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
function_hooks: set path
impossible if we cull ev
e
ryt
h
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
C
a
rpenter
mtags: remove
t
he &
pre-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
penter
sc
r
ipts/ge
n
_allocation_list
.
sh: add _
_
a
l
loc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpent
e
r
db/fixup_ke
r
nel
.
s
h: snprint
f
() returns a
r
en't
really
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra:
pa
s
s the
m
o
dif
i
ed expression
to ext
r
a_mod_hook
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
C
arpenter
extr
a
: store
values
f
o
r e
x
p
ressions like "foo[3
]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
addr
e
ss: don't segfault parsing invalid
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpen
t
e
r
ignore: re-write and add _expr() versions of funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
n
t
er
p
aram_set
/
filter: PARAM
_
SET instead of PARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpen
t
er
p
arse_call_math: u
s
e ass
i
gned
v
alues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
rpen
t
er
sval
:
impro
v
e sva
l
_bino
p
_ove
r
fl
o
ws()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
Ca
r
penter
ex
t
ra: don't m
o
d
i
fy const p
a
rameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
address/
t
ype: make s
o
me fu
n
cti
o
n paramete
r
s
co
n
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
struc
t
_assignment:
r
emov
e
an duplicate NULL chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
penter
struct_assignment:
d
o
n't double parse ulong a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpent
e
r
str
u
ct_assignme
n
t: fix a NULL
d
e
reference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
an Car
p
enter
db
/
m
tag
s
: add mtag_data and mtag
_
m
ap
tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/fn
_
ptr_da
t
a_link:
don't
store d
u
plicate records
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpente
r
db: allow
SQL s
t
atements
t
o
b
e run later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpent
e
r
db
:
in
t
roduce get_mtag_nam
e
_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carp
e
nter
stru
c
t_assignment: han
d
le non struct, p
o
inter
assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
a
rp
e
n
ter
struct_
a
ssig
n
ment:
f
i
x
handling of non_st
r
uct_assig
n
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_ass
i
gnment: split hand
l
e_non
_
stru
c
t_assigments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
in
d
ex_
o
verflo
w
: make all messages "error:" instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Car
p
enter
in
d
e
x_overflow: small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
a
n Carpen
t
er
index
_
overflo
w
: don't warn about impossible pa
t
hs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
mtag: intr
o
duce memory tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
D
an Carpenter
implications
:
set_s
t
ate() should
trump
i
mpl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan C
a
rpenter
b
u
f_co
m
parison: copy the c
o
d
e
from sm
a
tch_constraints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan
Carpenter
implied:
i
mprove the "t
o
o
h
airy" m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan
Carpent
e
r
co
m
paris
o
n:
store the expr
e
ssions
involved (if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Car
p
enter
comparison:
r
ename
v
ar1 to left_var and var2 to rig
h
t_var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan C
a
rpenter
constraints_required: detect a bunch of new types of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Car
p
ent
e
r
constraints: allow fu
n
ct
i
on constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constraints: d
o
n
't sto
r
e sign
e
d vs uns
i
gned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
D
an Car
p
ent
e
r
k
ernel_pr
i
ntf:
d
on't
s
e
g
fault on inva
l
id cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
user_data: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
type_val: use
smatch_cont
a
iner_of(
)
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan
C
arpe
n
ter
user_data
:
this file is rep
l
aced by check_user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpe
n
ter
implie
d
: add a timeout in smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
fl
o
w: delete ou
t
of scope
v
aria
b
les f
o
r comp
o
u
n
d statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Da
n
Carpe
n
ter
scope:
m
ove a check for STMT_CO
M
POUN
D
e
a
rlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpe
n
ter
valid
a
tion/s
m
_
casts
.
c: upda
t
e to not use an
u
nintiali
z
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Car
p
enter
r
e
v
ert "smatch_type
.
c
:
comparison expr
e
ssions
a
lw
a
ys
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
validation/sm_bu
f
_
size6
.
c: update
fo
r
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
pars
e
: make an array larger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
helper: fix get_array_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
a
r
penter
a
s
signed_expr: save a recor
d
when a function set
s
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
enter
modification_
h
ooks: handle
P
ARAM_SET ea
r
lier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
penter
.
gitignore: ignore
.
smatch,
.
smatch
.
sql and
.
s
m
atch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
con
s
t
raints:
add a comme
n
t, remove debug c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constraints_requir
e
d: store more requir
e
d constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an
C
arpenter
c
all_math: add kzalloc(
)
to the list of allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
e
nter
call_math: prev
e
nt
a
n endl
e
s
s
loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
a
llocat
i
on_funcs:
a
dd __alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constraints: f
i
x
s
e
l
e
cting the re
q
uire
d
const
r
aint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
c
heck_kernel
_
printf
.
c: warn
a
bo
u
t "
%
lx", (l
o
ng)ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmu
s
Vil
l
em
o
es
smatch_t
y
pe
.
c:
comparison expressions
alwa
y
s
have
t
y
pe int
commit
|
commitdiff
|
tree
2017-10-30
Ras
m
us V
i
ll
e
m
o
es
smatc
h
_t
y
pe
.
c:
fix
type of point
e
r
d
iff
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
struct_assignment: fix
parsi
n
g of invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Da
n
Ca
r
pent
e
r
symbol: le
t
i
s
_
ptr_
t
y
p
e() take NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carp
e
nter
c
o
r
e: ad
d
NULL
c
h
ecks for parsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next