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
debug: add __smatch_state_count()
2018-03-07
Dan Carpenter
debug: add __smat
c
h
_
state_cou
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
modification_
h
ooks: don't sa
v
e
the
expressi
o
ns outside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
arp
e
nter
var_sym:
t
wea
k
expr_to_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Ca
r
pent
e
r
s
ymbol
.
h:
l
et
i
s_ptr
_
type() take
N
ULL p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
re
t
urn_
t
o
_
param:
fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
struct_assignment
/
assigned_expr
e
ssion:
s
a
v
e
s
ome more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
e
xpressions
:
f
r
ee allo
c
ated expr
e
ssions
after
the
e
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Dan Carpenter
rosenber
g
: chec
k
t
he correct align
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc
V
an Oosten
r
yck
fix: do not ign
o
re struct/
u
nion/enum type attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van
O
ost
e
nryck
move up apply_ctype()
'
s decla
r
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Ooste
n
ryck
add
t
estcas
e
s fo
r
ignored type attribute
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-01
Dan Carpe
n
ter
Merg
e
git://git
.
kernel
.
org/
p
ub/scm
/
dev
e
l/s
p
arse/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carpente
r
m
t
ag:
f
ix buil
d
error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-22
D
an Car
p
enter
h
e
lper: fix segfault pars
i
ng
i
nv
a
lid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
type_val: dev_get_drvdat
a
() does
n
'
t set the types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
or_vs_
a
nd: white s
p
a
c
e cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
ter
co
n
dit
i
on
s
:
p
ass SELECT_HOOK for s
e
le
c
t a
s
signme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpe
n
te
r
estate
:
whit
e
space clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
constraints: a
l
low binop con
s
t
r
aints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
Carpen
t
er
smatch
_
comparison: fix a
crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
check_kernel
:
h
a
ndle fls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpenter
extra: tight par
a
meter values a
b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
an
C
arpenter
extra: h
a
ndle "if (foo
& 0x
1
) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carp
e
nter
extra: don't s
e
t true/false sta
t
es
i
f i
t
's the
same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
impl
i
ed: use assume(
)
e
v
en if there are no implica
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
math: silence hard
m
ax false
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
slist:
d
on'
t
pass stuff
t
o pre_
m
erge_hooks that
isn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
mtag:
k
ill an e
n
d
l
e
s
s loop
in up com
i
ng code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpen
t
e
r
call_ma
t
h
: init
i
alize so
m
e
strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpenter
fn
_
arg_link: fix an end
l
ess
l
oop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-20
Dan Carp
e
nter
db:
fix
a
se
g
faul
t
parsin
g
inva
l
id co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-19
Da
n
Carpenter
com
p
a
r
ison: impr
o
ve handling
o
f "if
(foo + 1 > limi
t
) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Da
n
Carpe
n
t
e
r
db/comparison: Use mask inf
o
rmation
to get compa
r
i
s
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Ca
r
penter
c
omparison: han
d
le __smatch_compa
r
e(
f
oo
,
bar - 1)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Ca
r
pent
e
r
ex
t
ra: cleanup handle_AND_o
p
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan C
a
rpenter
e
x
tra: cleanup
hand
l
ing
"
if (foo &
0
x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan
Ca
r
p
ent
e
r
user_da
t
a
:
silence som
e
f
alse positives w
i
t
h divides
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
D
a
n Car
p
ente
r
user
_
d
ata2: s
i
lence some false posi
t
i
ves handling ntohl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpenter
c
ondit
i
ons:
hac
k
around "if (f
o
o
| bar) {"
(bitwise OR
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-09
Dan
C
arpenter
data/ke
r
ne
l
.
i
g
nore_macro_in
d
enti
n
g:
i
gnore tcp_skb_tsorted_r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
rpenter
db/smdb
.
py: change some for
m
a
tting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpenter
db/
s
mdb
.
py
:
fix the PARAM_COMPARE/LIMIT types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpen
t
e
r
rosen
b
e
rg: f
i
x a crash
i
ng b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
user_da
t
a2
:
do a hack around in the pre_merge_ho
o
k()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
ar
p
e
n
ter
constraints: ha
n
dl
e
conditions like "if (8 < x) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
C
a
rp
e
nter
expr_to_ch
u
nk_helper: set *sy
m
wh
e
n there
i
s onl
y
o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arpente
r
slist: allow show_sm() to ac
c
ept NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
an
Carpenter
flow: don't fake an impossible defa
u
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpen
t
e
r
type
_
val: reco
r
d fewer
"unknown" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
f
low: se
t
loo
p
_count to zero when p
a
r
s
i
ng
inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
cor
e
: silence som
e
fal
s
e po
s
itives from p
a
rsing inval
i
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Da
n
Carpe
n
ter
implied: use a time based
t
i
m
eout i
n
stead o
f
count
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan C
a
rpenter
extra: h
a
ndle loops like: while (
-
-i >= 0) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
function_
h
ooks: fake an assignment when
f
unctions
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
check_free_strict: New stricter cross function u
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan
C
arp
e
nter
c
heck_atomic_in
c
_de
c
: track atomic
_
inc() and atomic_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned_e
x
pr: handle fak
e
assignment
s
be
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned_expr: r
e
mo
v
e
d
eb
u
g
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Car
p
enter
kernel_printf: %px
is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
stree: debuggi
n
g
:
pr
i
nt the numbe
r
of states i
n
__print_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
m
ta
g
:
commit all mtag r
e
lated code
to date
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
smdb
.
py: fix some crash
i
ng
b
ugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Da
n
Carp
e
nter
c
ontainer_of: h
a
ndl
e
functi
o
n ca
l
l
s like foo->bar(foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
smatch: get
the smatch bin d
i
r correc
t
ly when i
t
's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an Ca
r
penter
u
s
er_
d
at
a
2
:
empty
s
t
at
e
s are no
t
user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
const
r
aints_required
:
improv
e
handl
i
n
g
of a
s
signed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Car
p
enter
db
:
d
on't spl
i
t
by NULL
vs non-NULL when th
e
re ar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
flow: st
o
re 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
C
arp
e
nt
e
r
hel
p
er: change some non
s
ense values to other nonsense
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpent
e
r
D
B: i
n
troduce a
t
im
e
out hand
l
i
n
g ca
l
ler in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpenter
address: f
i
x h
a
n
d
l
ing of &foo->bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
contstraint
s
: use caller in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
co
n
str
a
ints: m
o
ve print_ret
u
rn_implies_constrai
n
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpente
r
con
s
tr
a
in
t
s: cl
e
anup
unmet_con
s
traint
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carp
e
n
t
er
constrai
n
ts: fix add_constrai
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpenter
mtag:
i
ntroduce create_mt
a
g_al
i
as
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
mtag: fix ge
t
_
mta
g
() for re
c
orded states an
d
for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Car
p
enter
links: no need to record links outsid
e
a function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
type_val: cache DB
i
n
fo
a
s a speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n Carpenter
string_list: prevent a u
s
e a
f
ter fre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpe
n
ter
mtag: rena
m
e from mtags plura
l
to mtag sin
g
ular
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
helper: keep a small cache of rece
n
tly
u
s
e
d
variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carp
e
nter
extra: pass expression poin
t
er to mod/nomod
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra:
write infrastr
u
ctu
r
e
to pass
e
xp
r
to no_mod
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nt
e
r
db/build_early_
i
ndex
.
sh:
set up more mtag
i
ndexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpenter
expressions: i
n
itial
i
ze ->
m
emb
e
r
_
offset() in member_exp
r
es
s
ion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
fun
c
tion_hooks: set path impossib
l
e if we cull eve
r
yt
h
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
mtags: re
m
ove the & pre-
o
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
scripts/
g
en_a
l
loca
t
ion_
l
is
t
.
sh: add __alloc_s
k
b()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
d
b
/
fixup_kernel
.
sh: snprintf() re
t
u
r
ns
a
ren't
really
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpenter
extra: pass the modifi
e
d expression to ex
t
ra_mod_ho
o
ks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: store va
l
ue
s
for e
x
pressions like "fo
o
[3]
.
bar"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
addre
s
s: don't segfault
parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
e
n
te
r
ignore: re-
w
rite and
add _exp
r
()
v
ersi
o
n
s of functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
a
rpenter
param_set
/
filter: P
A
R
AM_SET i
n
stead o
f
PARAM_AD
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Ca
r
p
enter
p
a
rse_call
_
math: u
s
e assigned value
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
sval: impr
o
ve s
v
al_binop_o
v
erflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpent
e
r
extr
a
: don't modify
const parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arp
e
nter
address
/
t
y
pe: m
a
ke
s
ome
f
unction parameter
s
co
n
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
an
C
arpenter
s
truct_
a
ssignment: remove an
d
uplicate NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next