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
slist: allow show_sm() to accept NULL pointers
2018-01-25
Dan Carpenter
s
list: allow show_sm() to accept NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
f
low: don't
fake an impossib
l
e
defau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
type_val: rec
o
rd fewer "un
k
now
n
" ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
a
rpe
n
t
er
fl
o
w
:
set l
o
op_count to
ze
r
o w
h
en parsing inline
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n C
a
rpenter
core
:
silence some
false p
o
si
t
i
v
es fr
o
m pars
i
ng invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpe
n
ter
implied: us
e
a
time based timeou
t
instead
o
f cou
n
ting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Carpe
n
ter
extra:
h
andl
e
lo
o
ps
l
ike: while (--i >
=
0)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan
C
arpent
e
r
f
unction_hooks: fake an
a
ssignment when fu
n
ctions ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
check_free
_
strict: New stricter
cross
f
unction use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
c
h
eck_atomic_
i
n
c
_d
e
c: track atomic_in
c
(
) an
d
atomic_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Carpenter
a
s
signe
d
_expr: handle fake assignmen
t
s be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Ca
r
pe
n
ter
assigned_expr: r
e
move debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
D
an Carpent
e
r
k
ernel_printf: %p
x
is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpe
n
ter
s
t
ree: debugging: p
r
i
nt the numbe
r
o
f state
s
i
n
_
_
print_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mtag: commit
a
ll mtag rel
a
t
e
d
c
ode to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpent
e
r
s
mdb
.
p
y: fix some crashing
b
ug
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpen
t
er
container_of
:
handle function calls like foo->bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
smatch:
g
et th
e
sma
t
ch bin d
i
r
correctly when
it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
C
a
rpente
r
user_da
t
a2: empty states a
r
e no
t
us
e
r da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpente
r
constraints_required:
improve handli
n
g of
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db
:
don't split b
y
NULL vs
non-NU
L
L
when
th
e
r
e
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
flow: stor
e
a
backup of
the st
a
rt time when parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carp
e
nter
helpe
r
:
c
hange some
nonsens
e
values t
o
other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Car
p
enter
DB:
i
nt
r
odu
c
e a timeout handling caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpenter
address: fix
h
andl
i
ng
of &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Car
p
enter
contstraints: use
caller
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an
C
arpenter
con
s
traints: move print_return_implies_constrained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpenter
c
o
n
s
traints: cleanu
p
unmet_constraint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
enter
const
r
aints: fix add_constrai
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Car
p
enter
m
t
ag: introduce crea
t
e_mtag_alias(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
an
C
a
rpe
n
ter
mtag: fix get_mtag() for recor
d
ed stat
e
s
a
nd fo
r
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
links:
no need t
o
r
ecord li
n
ks o
u
tside a function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpent
e
r
type_
v
a
l
: cache DB in
f
o as
a
speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
string_list: pr
e
vent a use
after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpen
t
er
mtag: rena
m
e f
r
om mtags
p
lural to mta
g
singu
l
ar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
h
e
lp
e
r:
kee
p
a small ca
c
he of r
e
cently used variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
ex
t
ra: pa
s
s expres
s
ion
p
oi
n
t
e
r
t
o mod/nomod
h
o
oks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: wri
t
e infrastructure t
o
pass expr to no
_
mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
db/b
u
ild_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
ex
p
ressio
n
s: in
i
tializ
e
-
>member_
o
ff
s
et() in me
m
ber_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
functio
n
_hooks: set path impossib
l
e if we cull
e
v
e
r
ything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
m
t
ags: remove the & pre-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
scri
p
ts/gen_a
l
l
ocation_list
.
sh: add __
a
llo
c
_s
k
b()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/fixup_kernel
.
sh: snprintf() returns aren't really
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpent
e
r
e
x
tra:
p
ass the modifie
d
expression to e
x
tra
_
mod_hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an
C
arpen
t
er
extra: store valu
e
s for expressi
o
ns li
k
e
"
foo[3]
.
ba
r
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
address: don't s
e
g
fault parsin
g
inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
ignor
e
:
re-write
a
nd add _e
x
p
r
() versio
n
s of functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
enter
para
m
_set/filter:
P
ARAM_SET inst
e
a
d of
P
A
RAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nt
e
r
parse_call_math:
use assigned values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an C
a
rpe
n
ter
sval
:
improve
sva
l
_
bino
p
_overflow
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
extra
:
d
o
n't m
o
dify const parame
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
a
d
dress/ty
p
e: make some functi
o
n parameters
c
o
n
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
rpent
e
r
s
truct
_
assignment: remove an du
p
licate NULL c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
a
r
p
enter
struct_
a
ss
i
gnment: don't dou
b
le parse
ulong assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpen
t
er
struct_assignme
n
t:
f
ix a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n Carpenter
db
/
mtags:
a
dd mtag_data
a
nd mtag_map
t
ables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
nter
db/fn_ptr
_
data_link: don't store duplicate r
e
c
o
rds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
penter
db:
allow SQL statements t
o
be run later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
rp
e
nter
db: introduce 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 struct, pointer
a
ssig
n
ments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n
Carpenter
struct_assignment: fix hand
l
i
n
g of non_struct_a
s
signmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
Carp
e
nter
s
truct_assignment: split han
d
l
e_non_struct_ass
i
gme
n
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
an Carpenter
index_overflow: mak
e
all m
e
ssages
"error:" instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Car
p
enter
index
_
overflow: small cl
e
a
n
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Da
n
Carpenter
index_
o
ver
f
lo
w
: don't wa
r
n about impossible
paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
D
a
n Carpente
r
mtag
:
introd
u
c
e mem
o
r
y
tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Da
n
Carpenter
i
mplicati
o
n
s
: s
e
t_s
t
ate()
s
hould trum
p
implic
a
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Da
n
C
a
rpenter
buf_comparis
o
n: cop
y
the cod
e
from sm
a
tch_constrai
n
ts
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpenter
implied: im
p
rove the "to
o
hairy" message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Ca
r
pe
n
t
er
compar
i
so
n
: store the e
x
pr
e
ssions i
n
volved (if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carp
e
n
ter
c
o
m
parison: rename var1 to l
e
ft_var and
v
ar2 t
o
rig
h
t_var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpente
r
c
on
s
traints_required: detect a bunch of n
e
w types of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
c
o
ns
t
raints: allow function constr
a
ints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan
C
arpenter
constr
a
i
nts: don't store s
i
gned vs unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Da
n
Carpenter
k
e
rne
l
_printf:
don't segf
a
ult on invali
d
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
u
ser_
d
ata:
fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
D
a
n
Carpe
n
te
r
type_v
a
l: use smatc
h
_contai
n
er_of() informat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpente
r
use
r
_dat
a
: th
i
s file is replaced by
c
heck_user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan C
a
rpenter
implied: add a ti
m
eout
in s
m
atch_i
m
p
lied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan
C
arpenter
flow: delete o
u
t of scope variables
f
or compound statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carp
e
n
te
r
s
c
ope: mo
v
e
a check fo
r
ST
M
T
_
COMPOUND earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
validati
o
n/sm_cas
t
s
.
c
:
u
p
date to not use an u
n
intialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Carpenter
re
v
er
t
"smatch_type
.
c:
c
o
mparison
expressi
o
ns alway
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arp
e
n
t
er
validation
/
sm_b
u
f_size6
.
c
:
update format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
parse: ma
k
e
a
n array
l
a
rger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
h
e
lper: fix get_arr
a
y_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an
Carpen
t
e
r
a
s
s
igned_expr: save a r
e
c
ord when a functio
n
s
ets foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
modi
f
icatio
n
_hooks: han
d
le PARAM_SET earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
.
gitignore:
i
gnore
.
smatch,
.
s
match
.
sql and
.
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpe
n
ter
con
s
tra
i
n
t
s: add a comment, remove de
b
ug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
constraints_
r
equired: store mor
e
required
const
r
aints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
call
_
math: add kzalloc() to the list of al
l
ocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
cal
l
_math: prevent an
endl
e
ss loo
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n C
a
rpenter
allocation_func
s
:
a
dd __a
l
l
oc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpe
n
ter
constrai
n
ts: f
i
x selecting
t
h
e requir
e
d constraint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Da
n
Carp
e
nter
struct_ass
i
g
n
ment: fix parsing of invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
D
a
n Carpenter
s
y
m
bol
:
le
t
is_ptr_type
(
)
take
N
ULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpenter
core: add NU
L
L checks
for parsing invalid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpenter
get_user_over
f
low
:
verify t
h
a
t
that it's a compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next