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
db: fix build breakage by adding the type_info schema
2018-06-25
Dan
C
arpente
r
db: fix bu
i
ld breaka
g
e
b
y
addi
n
g the type
_
inf
o
schema
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Dan Carpenter
d
b
: rename call_
i
mplies to
r
etu
r
n_implies
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-25
Da
n
Carpenter
d
e
bug: improve buf size debuggi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
chec
k
_signed: si
l
e
n
ce some
false positives copying
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carp
e
nter
check_shift
_
to_z
e
ro:
s
ile
n
c
e some false positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
a
n Carpe
n
ter
check_sizeof: fix a typo in the war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
buf_size: fix recording
gl
o
bal siz
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carp
e
nt
e
r
buf_comparis
o
n
: d
o
n't save
l
inks to l
i
t
eral siz
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
Carpenter
com
p
ari
s
on: add some de
b
u
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpenter
db: don't spl
i
t NULL and
n
o
n-NUL
L
unneces
s
arily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan
C
arpe
n
ter
db
:
fix a NU
L
L dereferen
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an Carpenter
db
:
set the CACHE_PAGES siz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
D
an
C
arpenter
db: introduce t
h
e cache_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
db: clean up
the code
and exp
o
rt some more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Carpenter
extra: use PARAM_LIM
I
T to limit binops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Da
n
Carpent
e
r
flow: nest some inline s
t
a
t
emen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-22
Dan Ca
r
pe
n
ter
modific
a
t
i
on
_
ho
o
ks: don't allow mult
i
ple
modifi
c
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Da
n
Ca
r
penter
comparison: don't save compariso
n
s
to
o
nes
e
lf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan
Ca
r
pen
t
er
co
m
par
i
son:
a
dd some
p
ar
e
n
t
hesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan C
a
rpent
e
r
va
l
i
d
a
tion: fix
u
p
some
f
ail
u
re
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Car
p
enter
c
omparison:
f
i
x filter_by_
c
ompa
r
iso
n
== for ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Ca
r
penter
extr
a
: j
u
s
t
set sval
a
ssignments directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpe
n
ter
c
h
eck_sp
e
ctre: ign
o
r
e
masked off
d
at
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpenter
s
p
ectre: use the new is_us
e
r_rl(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user_d
a
ta
:
s
ilence
s
ome
m
ore
ntohl(foo[i]); false posi
t
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Car
p
enter
u
s
er_data: silence some sscan
f
(
)
false
p
os
i
t
i
ve
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
a
n Carpenter
u
ser
_
data
:
int
r
oduce is_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan C
a
rpen
t
er
u
ser_data
:
cleanup get_user_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpent
e
r
compariso
n
:
fix a NULL derefere
n
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
Dan Ca
r
penter
comp
a
ri
s
on: fix validation tests and add a new t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
extra:
r
emove an unneeded __s
e
t_sm
(
) in db_param_l
i
m
it_f
i
lter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
helper
:
s
trip
o
ut the byte
sw
a
ps
in strip_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
validati
o
n/
s
m_locking3: fix functio
n
d
e
clarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpenter
unknown_value: clear the
->parent point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carp
e
nte
r
ranges: improve str_t
o
_com
p
ar
i
son_arg_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carpenter
c
o
mparison: use
s
match_extra
d
at
a
in get_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
comparison: improv
e
handl
i
ng of
"if (++j ==
l
im
i
t)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
C
a
rpenter
c
omparison: handle j++ var
s
y
m list
s
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Ca
r
pe
n
t
er
equiv: type and
im
p
lica
t
io
n
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpen
t
er
r
a
n
g
es:
fix == a
n
d !=
c
o
m
par
i
so
n
s
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpe
n
ter
return_to_para
m
: fix parsing calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
D
an
Carpente
r
v
a
lidatio
n
: upd
a
te tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpenter
db: make call_implies rows
u
n
ique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
te
r
flow: r
e
move the
call_s
p
lit_expr(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
penter
extra: h
a
n
dle comparisons to ex
p
ressi
o
n statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
db/fill_d
b
_
caller_info
.
pl: d
o
n't perma-ban function
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpente
r
db/fixu
p
_
ker
n
el
.
sh: commit all my stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arp
e
nte
r
function
_
ptrs: record local pointer scope c
o
rrec
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpent
e
r
r
ea
l
_absolute
:
don
'
t save
single value
assigns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
sval:
f
ix a bug
i
n sval_too_l
o
w()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
d
b
:
i
ntroduce d
b
_ig
n
ore
_
state
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Ca
r
pe
n
ter
db
/
u
ntra
c
ked_
p
aram
:
mark parameters u
n
tracked if
we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
an Car
p
e
n
t
er
flow: don't parse inline
f
unctio
n
s which aren't interesting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Dan
Carpe
n
ter
d
b
/
con
s
tr
a
i
n
t
s
_required
.
schema: add missing
semi-colon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan
Carpente
r
f
l
ow/expressions/function_hooks: re-fix i
s
_assigned_cal
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Da
n
C
arpenter
kernel:
h
and
l
e
_
_
rea
d
_once
_
s
ize()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
mat
h
: fix a get_value() bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carp
e
nte
r
expressions: mak
e
assign_e
x
pres
s
ion()
ta
k
e
a
n op argument
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan C
a
rpenter
spectre: warn a
b
out
p
otentia
l
spectre vulnera
b
i
lities
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
Dan Car
p
enter
expr
e
ssions
:
don't set th
e
->pare
n
t to a fak
e
expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan
C
arpenter
expressions
:
just allocate
z
ero_expr() fresh every
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
expr
e
ssion/
s
match_express
i
o
n
s
: mov
e
e
x
pr_s
e
t/
g
et_parent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Joey Pa
b
a
l
inas
sparse: add -Wpointe
r
-ari
t
h flag to toggle sizeof
(
void
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Car
p
enter
or_v
s
_and: t
i
dy up whitespace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpent
e
r
or_
v
s_
a
nd: min_t(
)
uses the new min() code as
wel
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan C
a
r
p
enter
che
c
k_or_vs_and: ignor
e
the kernel's min/max macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
Dan Ca
r
pen
t
er
flow/math: h
a
n
dle __builtin_choose_e
x
pr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan
C
arpente
r
valid
a
ti
o
n/overflow:
change "
w
arn:"
t
o "error:
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
abou
t
_fn_ptr_arg:
d
o
n't g
e
t
i
nto a recu
r
sive
loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an
C
a
r
pente
r
helper: add get_last
_
st
a
t
ement_from_exp
r
es
s
ion
_
s
tmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
m
e
m_tracker: add a --m
e
m
o
pti
o
n t
o
debug mem
o
ry use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpe
n
ter
expressions: remove som
e
unneces
s
a
r
y gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpente
r
h
e
l
per: improve is_error_return()
.
In the kernel al
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Ca
r
penter
smatch_d
a
t
a/sm
a
tch
.
c
ommon_f
u
nctions: add
s
ome common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatc
h
_
d
a
ta/k
e
rn
e
l
.
ignored
_
mac
r
os: add AA_BU
G
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
s
match_data
/
kernel
.
ig
n
o
r
e_un
i
ni
t
i
a
lized
params: add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_data/kernel
.
ignore_side_effec
t
s add recent macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpen
t
er
comparison:
h
andle ex
p
ressio
n
state
m
ents bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpent
e
r
c
om
p
arison: remove some d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
C
a
rpenter
c
o
mpa
r
ison: introduce impossibly_high_comparison()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
Dan Carpen
t
er
ignore: f
i
x && vs ||
t
ypo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
Dan
C
arpenter
index_overflow: almos
t
a re-write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
an Carpenter
im
p
l
i
e
d: improve handling of
assignme
n
ts in
a
rg
u
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpen
t
er
k
e
r
n
el_print
f
:
don't
w
arn about void pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
an Carpenter
chea
k
_leaks: handle returning
c
onditionals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nter
math: int
r
oduce a
n
ew ca
c
he of rec
e
n
t
ly used const
a
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carp
e
nter
m
a
th:
hand
l
e __builtin_const
a
nt_p() properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
an Carp
e
nter
math:
allocat
e
d som
e
permanent r
a
nge lists in rl
_
zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Ca
r
penter
c
o
n
ditions: Fix parsing
f
oo = ({
.
.
.
label: __ret; })
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
Dan
Carpenter
function_ho
o
ks:
don't be too ambitious faking parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
ran
g
es/ptrlist: sol
v
e a lea
k
w
i
th
a
big
h
ack (second
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan
C
arpenter
a
llocate:
u
s
e unsigned long to
record allocations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Carpenter
d
e
ref_c
h
eck: fix a small le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
enter
hook
s
: introduce FUNCTION_CAL
L
_
H
OOK_BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Car
p
en
t
er
us
e
r_data: rea
d
ing f
r
om an array does
n
'
t
ne
c
e
ssarily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
i
mplied: introduce
i
mpo
s
sible_assumption()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
penter
buf_size: don't save unnece
s
sary
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpe
n
ter
m
tag:
p
u
s
h all
m
y changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
a
rpent
e
r
ranges: fix
a
l
e
ak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nter
debug
:
add __smatch_state_
c
o
u
nt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next