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
expr_to_chunk_helper: set *sym when there is only one symbol
2018-01-25
Dan Carpen
t
er
ex
p
r_to_chunk_helper: set *
s
ym when there is only one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Car
p
enter
s
l
is
t
: allow sho
w
_sm(
)
to
a
ccept NUL
L
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
flow: do
n
't f
a
ke a
n
impossi
b
le default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
type_val: record fewer "unk
n
own" assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpenter
f
l
ow: se
t
loop_co
u
nt
to zero when parsi
n
g inli
n
e functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carp
e
nter
core: silence s
o
me false
positive
s
fro
m
parsing invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Carpenter
implied: use a time based timeout in
s
t
e
ad of counting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Ca
r
pen
t
er
ex
t
ra: han
d
le loops like
:
w
h
il
e
(--i >= 0
)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan
C
a
rpe
n
ter
f
u
nction_hooks: fak
e
an
a
ssignment when functions re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Da
n
Carp
e
n
ter
chec
k
_
f
ree_strict: New stri
c
ter cross func
t
io
n
use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
check_atomic_inc_
d
ec:
t
rack atomic_inc() and atomic_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned_expr: handle fake ass
i
gnments
b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Carpenter
a
s
si
g
ned_exp
r
: remove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
k
ernel_printf: %px
i
s v
a
l
i
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan
C
a
r
p
e
nter
stree
:
debuggi
n
g: print the number of
states in __prin
t
_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Da
n
Carpenter
mtag:
c
ommit all mtag
r
elated code
to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Carpente
r
smdb
.
py:
f
ix
some crashing bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Carpenter
co
n
tainer_of: han
d
le function call
s
like f
o
o-
>
b
a
r
(
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
smat
c
h:
g
e
t the smatch
bin
d
i
r
correctly when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
user_data2: em
p
ty state
s
are not user d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
co
n
straint
s
_
r
eq
u
ired: im
p
r
o
v
e
handling of assig
n
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
d
b
: don'
t
split by NULL vs
n
on-NULL when
the
r
e
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
a
r
pent
e
r
flow
:
stor
e
a back
u
p
of
the start t
i
me
w
h
en parsi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carpenter
helper: change some n
o
nsense values to other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpenter
DB: introd
u
ce
a time
o
u
t
handling caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
address: fix
ha
n
dling of &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
contstrain
t
s: use cal
l
er
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
a
r
p
enter
c
o
n
s
traints
:
mov
e
print_retur
n
_implies_constrained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
n
ter
c
o
nstraint
s
: cleanup unmet_const
r
a
int()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
con
s
t
r
aints:
f
ix
add_cons
t
raint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Car
p
enter
m
tag: intro
d
uce create_mtag_a
l
ias()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
arpenter
mtag
:
fix
g
et_mtag() for recorded
states a
n
d for
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
l
i
nks
:
no need to record li
n
k
s ou
t
side a
fun
c
tion call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Car
p
enter
t
y
pe_val: c
a
che DB i
n
f
o as
a sp
e
ed
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
an Carpenter
str
i
n
g_l
i
st: prevent a us
e
after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carp
e
n
ter
mtag: r
e
na
m
e from mtags plural to mtag
s
ingu
l
ar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
C
arpente
r
h
elp
e
r: k
e
e
p
a sma
l
l cache of recentl
y
u
sed variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpe
n
ter
e
x
t
r
a
: pass
expression pointer to mod/n
o
m
o
d
h
ook
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
n
te
r
extra: write infrastructure to pass expr t
o
n
o_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
d
b/build_e
a
rly_
i
ndex
.
sh: set up more m
t
ag
in
d
exes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expressions: initial
i
ze ->m
e
mber_offset() in member_expression(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpenter
functio
n
_
h
o
o
ks: set pa
t
h
imposs
i
ble if
we cull
every
t
h
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nt
e
r
mtags: remove
t
he & pre-
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
s
c
ripts
/
gen_allocat
i
o
n_
l
ist
.
s
h
: add __allo
c
_skb
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/fixup_k
e
rne
l
.
sh: snpr
i
n
t
f() re
t
urns aren
'
t really
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
Ca
r
penter
e
xtra: pass th
e
m
odified expression to extra_mod_
h
o
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Ca
r
penter
extra: store
v
alues
f
or
e
x
pressions lik
e
"foo[3]
.
bar
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n C
a
r
penter
add
r
ess: don't segfault parsing in
v
alid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
arp
e
nter
igno
r
e: re
-
write and add _expr()
v
e
rs
i
ons of
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
rpenter
p
aram_set
/
filter
:
PARAM_SET i
n
stead of PARAM_
A
DD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
parse_c
a
l
l
_math: use
a
ssigned
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
rpenter
sval: improve sval_binop
_
o
verflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
extra: don't modify cons
t
parame
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
addres
s
/ty
p
e: make some funct
i
on pa
r
ameters
c
onst
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpenter
s
truct_assignme
n
t: re
m
o
ve an duplicate NULL
chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
s
t
ruct_assignm
e
nt:
d
on't double pa
r
se
u
lon
g
assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
struct_ass
i
gnment: fix a NULL d
e
re
f
erence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/mtags: add mtag_data and mtag_
m
ap tab
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
nter
db/f
n
_ptr_data_link: don't stor
e
d
uplicate records
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpenter
db: allow SQL statement
s
to be run later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
penter
db: introduce get_mtag_
n
ame_exp
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpent
e
r
struct
_
assig
n
ment:
handle
non struct
,
pointer assi
g
nments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_assignment: fix handling of non_stru
c
t_assignm
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n Carpenter
stru
c
t_as
s
ignme
n
t
:
split hand
l
e_non_struct_a
s
sigments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan
Carpenter
index_overfl
o
w
:
make al
l
messages "error:" instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpe
n
t
er
inde
x
_overflow:
s
m
a
l
l cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Da
n
Carpenter
inde
x
_ove
r
flow
:
d
on't
warn about
imp
o
ssibl
e
path
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan
C
arpenter
mtag: introduc
e
m
e
mory tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
D
an Carpe
n
ter
implications:
s
et_sta
t
e() shoul
d
t
r
um
p
imp
l
icat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
D
an Carpenter
buf_com
p
arison:
c
opy the code from smatch_
c
onstraints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan
C
a
rpe
n
ter
implied: improve the "too
h
airy" message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpent
e
r
comparis
o
n: store t
h
e ex
p
ressions in
v
olved (if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Ca
r
pen
t
er
compariso
n
:
rename var1
to left_var and
v
ar2 to right_var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constraints_requi
r
ed: dete
c
t a b
u
nch o
f
new types of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpente
r
const
r
aints: allow funct
i
on co
n
s
t
ra
i
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan C
a
rpenter
constraints: don't st
o
re signed vs unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Dan Carpente
r
k
ernel_pri
n
tf: don't segfault
o
n invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Car
p
enter
user_data
:
fix c
o
m
p
ile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan
C
a
rpenter
t
ype_val
:
use smat
c
h_con
t
ainer_of() information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpen
t
er
u
ser_data: this file is repl
a
ced by check_use
r
_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpen
t
er
i
m
p
lied: add a timeo
u
t
i
n smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
flow: delete out o
f
scope v
a
riables for
compound st
a
temen
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan
Carpenter
scope: move a check for STMT_COMPOU
N
D earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
validation/sm_casts
.
c:
u
pdate to n
o
t
u
se
a
n
unintialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
a
r
penter
r
evert "smatch_type
.
c: co
m
p
arison expressions always
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpenter
validation/sm_buf_
s
iz
e
6
.
c
: update forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpent
e
r
parse: make an
a
r
r
ay large
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carp
e
nter
helper: fix get_array_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
a
rpenter
as
s
igned_
e
xpr: save a record when a fun
c
t
i
on sets
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpe
n
ter
modification
_
hooks:
handle
P
ARAM_SET earlie
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpent
e
r
.
gitignor
e
: ignore
.
smatch,
.
smatch
.
sql and
.
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
t
e
r
constrain
t
s: add a comment
,
remove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an C
a
r
penter
constraints_requir
e
d: sto
r
e
m
ore require
d
constrain
t
s
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 alloc
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
call
_
math
:
prevent an endless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpe
n
t
e
r
alloc
a
tion
_
f
u
ncs: add
_
_
alloc_
s
k
b()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
cons
t
raints: fix selec
t
ing the re
q
u
ir
e
d con
s
traint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
R
asmus Vi
l
l
e
moes
check_kernel_printf
.
c
: warn
a
bout "%lx", (long)p
t
r
commit
|
commitdiff
|
tree
2017-10-30
Ra
s
m
us Villemoes
smatch
_
type
.
c:
c
omparison ex
p
r
e
ssions
always ha
v
e
t
ype
i
nt
commit
|
commitdiff
|
tree
2017-10-30
R
a
smus Villemoe
s
s
m
a
t
c
h_type
.
c: fix type o
f
pointer diff
commit
|
commitdiff
|
tree
next