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
comparison: handle j++ var sym lists better
2018-06-06
Dan Carpenter
comparison: handle j++ var
s
ym lis
t
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
equiv: type and
i
mpli
c
ati
o
n f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan Ca
r
p
ente
r
r
a
nge
s
:
fix == and !
=
comparisons
.
.
.
(
0
_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
D
an Carpent
e
r
ret
u
rn_t
o
_pa
r
am: f
i
x parsing calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpent
e
r
validation: upda
t
e tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpenter
d
b
:
make call_implies rows uni
q
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpente
r
flow: remove the c
a
ll_
s
plit_ex
p
r() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
ente
r
extra: h
a
ndle com
p
arisons to expression st
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
db/fill_db_
c
a
l
ler_info
.
pl: don't
p
erma-ban functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
C
a
r
penter
d
b/fixup
_
ker
n
el
.
s
h
:
c
o
m
mit all my s
t
uff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
function_ptrs: r
e
c
ord local poi
n
ter sco
p
e corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
nter
r
ea
l
_
a
bsolu
t
e:
don't sav
e
single value assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
sval: fix a bu
g
in sval_
t
oo_low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rpe
n
t
e
r
db: int
r
od
u
ce db_i
g
nore_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
d
b/u
n
tracked_param: mark parameters untrack
e
d
i
f we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
f
low: don't
p
arse inline function
s
which
a
ren't interesting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan
C
arpenter
db
/
c
o
n
s
tr
a
ints_required
.
sc
h
em
a
: add missing sem
i
-colon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan
C
arpente
r
flo
w
/expressio
n
s/fu
n
ction_hooks: r
e
-fi
x
is_assigne
d
_call
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carp
e
n
ter
kernel: handle __read_once_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan
Carpenter
math: fix a get_value() bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpen
t
er
expressions: make assig
n
_
expression(
)
take a
n
op
a
r
gument
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpen
t
er
spect
r
e: warn about po
t
enti
a
l spectre vulnerabili
t
ies
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpenter
expre
s
sions: don't set the ->paren
t
to a fake ex
p
re
s
sion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carp
e
nter
expres
s
ions: just a
l
lo
c
ate
zer
o
_
expr() fresh every
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpe
n
ter
e
x
pression/smatch_expres
s
ions: move expr_set/get_parent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
J
o
e
y
P
ab
a
linas
sparse
:
add -Wpo
i
nter-arith flag to toggl
e
sizeof
(
void
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan
C
arp
e
n
t
e
r
or_vs_and: tidy
up
w
h
i
t
espac
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Da
n
Carpenter
o
r_vs_and
:
min_
t
() uses the new min() code as we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
D
an Car
p
e
nter
c
h
eck_or_vs_
a
nd: ignore the
kernel
'
s
min/max macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
D
a
n Carpenter
flow/math: handle _
_
b
uiltin_cho
o
se_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
D
a
n Carpente
r
valid
a
tion/ov
e
rfl
o
w: change
"warn:" to "error:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
D
an Carpenter
about_
f
n_p
t
r
_arg:
d
o
n
't get int
o
a
re
c
urs
i
ve
l
oop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
h
e
lper
:
add get_la
s
t
_
st
a
t
ement_from_expressio
n
_stmt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n
Carpenter
mem_trac
k
er: add a --mem
o
ption to debug memory use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
expressions: remove
som
e
unnecessary
g
o
t
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Ca
r
penter
he
l
per: im
p
rove is_error_r
e
turn()
.
In the
ke
r
nel all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_data/smatch
.
com
m
on_functions:
a
dd some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Carpe
n
ter
smat
c
h_d
a
ta/ker
n
el
.
i
g
nored_macros: add
AA_BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_da
t
a/kernel
.
igno
r
e_uni
n
it
i
alized pa
r
ams: add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carpenter
smatc
h
_data/k
e
rnel
.
ignore_side
_
effects
a
d
d
re
c
ent mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carp
e
nter
comparison: handle expression sta
t
ements bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carpenter
co
m
p
a
r
is
o
n:
r
emove
s
ome debug
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
ente
r
comparison: introdu
c
e im
p
ossibly_high_comparison()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan C
a
rpenter
ignore: f
i
x && v
s
|
| typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpenter
in
d
ex_overfl
o
w
:
al
m
ost a re-w
r
ite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
implie
d
: improve hand
l
ing of
a
ssignments in arg
u
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
kernel_printf: don't warn abo
u
t
v
o
i
d
po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
cheak_
l
ea
k
s: handl
e
returning conditio
n
als
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Carpenter
math: introduce a
n
ew cache of
recent
l
y used const
a
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: ha
n
dle __
b
uiltin_constant_p() properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpente
r
m
ath: allocat
e
d some permanen
t
range
l
ists in rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
penter
condit
i
on
s
:
Fi
x
parsing foo = ({
.
.
.
label:
_
_ret
;
})
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan Carpenter
funct
i
on_ho
o
ks:
don'
t
be too
ambitious faking pa
r
ameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
ra
n
ges/p
t
rlist: solve a leak wi
t
h
a big hack (second
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan
Ca
r
penter
allo
c
ate: use u
n
signed long t
o
record allocations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
deref_check: fix a small leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
penter
hooks: intro
d
uce FUNCTION_CALL_HOOK_BE
F
O
RE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
a
r
pent
e
r
user_dat
a
: reading
f
rom an array does
n
't
n
ecessari
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
implied: introduce imp
o
ssib
l
e_ass
u
mption()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpenter
buf_size: don't
s
ave unn
e
cessary
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
mtag: push all my c
h
a
ng
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nter
ranges: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
penter
de
b
ug: add
_
_sm
a
tch_stat
e
_c
o
unt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpenter
modifi
c
a
tion_hooks: don't save the expressions outside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Ca
r
penter
var
_
s
y
m: tweak
e
xpr_to_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
symbo
l
.
h
: l
e
t is_ptr_type() take
NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
Car
p
enter
return_to_param:
f
ix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
arpenter
struct_assignment/assigned_expres
s
i
o
n
:
save some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
expressions: fr
e
e allocated expressions aft
e
r
the end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Dan Carpen
t
e
r
ro
s
enberg: check the correct alignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc
V
an Oostenryc
k
fix: do not ign
o
re struct/union/enum
t
ype attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc
V
an Oostenryck
m
o
v
e u
p
apply_ctype()'s declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Oos
t
enryck
a
d
d testcase
s
for ignored type att
r
ibutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan Ca
r
pe
n
t
er
Merg
e
git://git
.
kernel
.
o
r
g/pub/scm/deve
l
/
s
p
a
rse/
s
par
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carpenter
mtag: fix bui
l
d er
r
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan Carpenter
help
e
r: fi
x
seg
f
aul
t
parsing inv
a
l
id code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
type
_
val:
d
ev_ge
t
_drvdata() doesn't set the types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
ter
or_vs_and: white space cle
a
n
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
a
r
p
enter
c
onditions: pass S
E
LECT_HOOK f
o
r
s
e
l
ect
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
t
e
r
es
t
ate
:
w
hite
s
p
ace
c
lean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
con
s
tra
i
nts: allow bino
p
constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
Carpenter
smatch_comparison: fix
a
cras
h
i
ng
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpenter
c
hec
k
_kerne
l
: handl
e
fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpen
t
e
r
ex
t
ra
:
tigh
t
parameter
v
a
l
ues a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
ex
t
ra:
handle "if (f
o
o & 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
en
t
e
r
e
xtra:
d
on
'
t
s
et true
/
f
a
lse states if it's the s
a
me
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
C
a
r
penter
i
m
pl
i
ed: use assume(
)
even if there are
no implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
math: si
l
e
n
c
e
hard max false positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
e
n
ter
s
list: don't pass stuff to pre
_
m
e
rge_
h
ooks that isn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
mtag:
kill an endles
s
loop
i
n up coming code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
call_math:
ini
t
ialize some strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carp
e
nter
f
n_arg_link: fix an
e
ndless loo
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-20
Dan Ca
r
p
e
nter
db: fix a segfault parsing invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-19
Dan Carpenter
comparison
:
improve handling of "if (foo + 1
>
limit) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
db/co
m
pa
r
ison: Use mask informa
t
ion
to
g
e
t
c
ompa
r
isons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
compar
i
son
:
handle __smatch_compare(foo, bar - 1)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
extra: cleanup
handl
e
_A
N
D_
o
p
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpente
r
ex
t
ra: cleanup handling "
i
f (foo &
0x1)
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
D
a
n Car
p
enter
user_data: sil
e
nce some false positi
v
es with divides
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpente
r
user
_
data2: silence
some false
p
ositives hand
l
i
n
g
n
t
ohl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next