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
math: allocated some permanent range lists in rl_zero() and rl_one()
2018-03-26
Dan Carp
e
nter
ma
t
h
:
a
llocated s
o
me
pe
r
manen
t
range lists
i
n rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpe
n
ter
conditions:
F
ix p
a
rsi
n
g foo = ({
.
.
.
l
abel: __r
e
t
;
})
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan
Carpenter
function_hooks
:
don
'
t
b
e
too ambitious faking parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan C
a
rpenter
range
s
/
p
tr
l
ist: solve
a lea
k
with a
big hack (second
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpente
r
a
llo
c
ate: use unsigne
d
lo
n
g to record allocati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpen
t
er
der
e
f_c
h
e
ck: fix a
s
mal
l
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
penter
hooks: i
n
tr
o
d
uce FUN
C
TION_CALL_HOOK_BEF
O
R
E
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpente
r
use
r
_data: reading from an
array d
o
esn't n
e
cess
a
rily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpenter
imp
l
ied: in
t
roduce
i
m
p
ossible_
a
ssumption()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
enter
buf_size: don't save unnecessary
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
m
t
ag: p
u
sh all my changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Carpen
t
er
r
an
g
es: fix a le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpen
t
er
debug
:
add __smatch_state_
c
ount()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carpenter
modi
f
ication
_
hooks: don't save t
h
e
e
x
pressio
n
s
o
utside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpente
r
var_
s
ym: tweak expr_to_vs
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan C
a
rpenter
symbol
.
h:
l
et is
_
ptr_
t
ype
(
)
t
ake NULL p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carp
e
nter
return_to_param: fix
a
c
rashing
bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Car
p
ente
r
st
r
uct_assignme
n
t/assi
g
ned_expressio
n
:
save some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Da
n
C
arpenter
express
i
o
ns: free allocated expression
s
after the end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Dan Carpenter
rosenberg: check the
c
orr
e
ct alignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Oos
t
enryck
fix: do not ignore struct/
u
nion/en
u
m type attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Oostenryck
move up apply_ctype()'s dec
l
aration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van
Oosten
r
yck
add testcases for
igno
r
ed type
a
ttributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan Carpenter
Me
r
ge git
:
/
/
git
.
kernel
.
org/pub/
s
cm/devel/sparse/spar
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
D
a
n
Carpente
r
m
tag
:
fix bu
i
ld error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan Carp
e
nter
he
l
p
er: fix
seg
f
ault
p
arsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
ter
type_val: dev_get_drv
d
ata()
doesn't
set
t
h
e typ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpenter
or_vs_and
:
w
h
ite space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Car
p
ent
e
r
condit
i
o
ns:
pass S
E
LECT_HOOK for select assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
estate: white s
p
a
c
e cle
a
n up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
C
arpen
t
er
c
onstraints: all
o
w binop constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpe
n
ter
s
m
atch_comp
a
ris
o
n: fix a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
check_ke
r
nel: handle
fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
Ca
r
p
e
nte
r
e
xtr
a
: ti
g
ht parameter v
a
lues a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra: handle "if
(foo &
0x1
)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Car
p
e
n
ter
extra: don't set true/fal
s
e
states if it's
t
he same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arp
e
n
ter
implied: use as
s
u
me() even if there are
no i
m
p
l
ic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpen
t
er
m
a
t
h
:
s
ilence hard
m
a
x
false positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
slist: don't pass stuff to pre_merge_
h
ooks that isn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
mtag:
kill a
n
endless loop in up coming code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
call_m
a
th: initialize
s
ome strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpent
e
r
f
n
_arg_link:
f
ix a
n
en
d
l
ess
l
o
op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-20
Dan Ca
r
pente
r
db
:
fix a se
g
fau
l
t parsing
i
nvalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-19
Dan Carpente
r
co
m
parison: improve handli
n
g of
"
if (
f
oo +
1 >
l
im
i
t
) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Car
p
enter
d
b/co
m
pa
r
ison:
Use mas
k
information to get compari
s
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
c
o
m
p
aris
o
n: handle __smatch_compare(foo, ba
r
-
1)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpente
r
extra: cleanup handle_AND_
o
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Da
n
Carp
e
nter
extra: cleanu
p
h
a
ndling "if (foo
& 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
D
a
n Carpenter
user_data: silence some false
p
o
siti
v
es w
i
th di
v
i
des
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpenter
user_data
2
: s
i
le
n
ce
some false positives handl
i
ng ntohl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan C
a
rpente
r
conditions: hack around "if (foo | b
a
r
) {"
(
b
i
twise OR)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-09
Dan Carpenter
data
/
ke
r
n
el
.
i
g
n
o
re_ma
c
ro_indenting: ignore t
c
p_skb_tsorted_r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpenter
db/smdb
.
py: cha
n
ge
some formatting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpenter
d
b/smdb
.
py: fix the
PARAM_COM
P
ARE/
L
IMIT ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Car
p
enter
rosenberg: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpenter
user_dat
a
2
:
d
o
a ha
c
k ar
o
und in the
pre_merge_hook(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpent
e
r
constr
a
ints: handle
c
onditions like "i
f
(8 < x) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
expr_to_chunk_helper:
set *sym when there is only one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arpen
t
er
slist: allow s
h
ow_
s
m() t
o
accep
t
NULL
p
oin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
flow: d
o
n't fake
an
i
mpossible default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n C
a
rpenter
t
y
pe_val: record fewer "unknown" as
s
i
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Ca
r
penter
flow: s
e
t loop_
c
ount to zer
o
when
p
a
rsing inl
i
ne functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
rpenter
c
ore: silence some fal
s
e posit
i
ves from parsing invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Ca
r
penter
implie
d
: use
a
time bas
e
d timeo
u
t instead
o
f counting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
extra: han
d
le loops
li
k
e:
while (-
-
i >
=
0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
D
an Carpenter
f
u
nction_hoo
k
s:
fa
k
e
a
n assignment when
f
unctions return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
check_f
r
ee_stric
t
:
N
ew stricter cross funct
i
on
use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
check_atom
i
c
_
i
n
c_dec: track atomic_inc
(
)
and atom
i
c_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
a
s
s
igned_expr: handle fake assignments bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
D
a
n Carp
e
nter
assi
g
ned_
e
xp
r
: remove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Ca
r
penter
ker
n
el
_
print
f
: %px is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan
C
arpen
t
er
str
e
e: de
b
ugging: print the num
b
er
o
f state
s
in __print_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
arpenter
mtag: com
m
it all mtag rel
a
ted code t
o
date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
an Carpenter
smdb
.
p
y: fix some crashing
bug
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Carpent
e
r
c
ontainer_of
:
ha
n
dle func
t
ion calls
l
i
ke fo
o
->b
a
r(f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpe
n
te
r
smatch: get the smatc
h
bi
n
d
i
r correctl
y
when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
use
r
_data2:
empty states are not user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
ter
const
r
a
i
nts_require
d
: improve ha
n
dling of assigne
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carp
e
nter
db: don
'
t split by NULL vs
n
on-NULL
w
hen ther
e
a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n C
a
rpenter
f
l
ow: store a backup of the start tim
e
wh
e
n p
a
rsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
h
e
lper: change some no
n
sense values to other nons
e
n
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpenter
DB: introduce a timeout
handling caller inf
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpen
t
er
address: fix handling of
&
foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
r
penter
c
ontstraints:
u
se calle
r
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
const
r
a
ints
:
m
ove print
_
r
e
turn_implies_constr
a
ined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
pent
e
r
c
o
ns
t
raints: clean
u
p unmet_constrai
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
constra
i
nts: fix add_cons
t
raint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
D
a
n Carpe
n
ter
mtag: introdu
c
e create_mtag
_
alias()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
arpenter
m
tag:
fi
x
ge
t
_mtag() for record
e
d states and for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
an Carpenter
l
inks: no need to record lin
k
s outs
i
de a fun
c
ti
o
n call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpen
t
er
type_
v
a
l: cach
e
DB in
f
o
a
s a sp
e
ed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
string_list: prevent a use after
f
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan
Carpe
n
ter
mtag: rename
fr
o
m mtags plural to
m
t
a
g singular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
p
e
nter
helper: keep a
s
m
all cache of recently used va
r
iable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpen
t
er
e
x
t
r
a: p
a
ss expr
e
ssio
n
pointer to mod/nomod
hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: wri
t
e infra
s
t
r
ucture t
o
pas
s
e
x
pr to n
o
_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/buil
d
_early_index
.
sh: se
t
u
p
m
o
re m
t
a
g indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
e
xpres
s
ions:
i
nitial
i
z
e
->memb
e
r_o
f
fset
(
)
in
m
e
mber
_
expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
function_hooks: set path impos
s
ible if we cull
everyth
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
penter
mtags: remove
the & pre-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next