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
index_overflow: almost a re-write
2018-03-29
D
a
n Carpente
r
index_overfl
o
w: a
l
most a re-write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Car
p
e
nter
implie
d
: imp
r
ove han
d
ling
of assignmen
t
s in arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpenter
kernel_p
r
intf: d
o
n't warn about void pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
cheak_leaks: handl
e
r
et
u
rning conditional
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Car
p
enter
math:
i
ntrod
u
ce a new cache of recently u
s
ed
con
s
tants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carp
e
n
ter
math:
hand
l
e __
b
uiltin_co
n
stant_p() prope
r
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpe
n
ter
math: allocated some per
m
ane
n
t range lists in rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpenter
conditi
o
ns: Fix parsin
g
f
o
o
=
({
.
.
.
label: __ret
;
})
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan C
a
rpenter
func
t
ion_hooks: don
'
t be
t
oo amb
i
tious
faking parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
D
an Carp
e
nter
r
a
nge
s
/ptrl
i
st: solv
e
a leak with a b
i
g ha
c
k (second
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carp
e
nter
allocate: use unsig
n
ed long to record
a
llocations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Carpe
n
ter
deref_che
c
k: fix a s
m
all le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
pen
t
e
r
hooks: i
n
t
r
oduce FUNCTI
O
N_CALL_HO
O
K_B
E
F
O
RE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arpenter
user_d
a
ta: reading
f
r
om an array d
o
es
n
'
t
necessa
r
ily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
implied
:
introduce imp
o
ssi
b
l
e_assumption()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpe
n
ter
buf_size: don't save un
n
ecessary states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
enter
mtag: push all my
c
hanges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nt
e
r
ranges: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
an Carpen
t
er
debug: add
__sma
t
c
h
_state
_
count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpenter
modificati
o
n_hooks: don
'
t
s
a
v
e the
e
x
press
i
ons outside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carpenter
v
a
r_sym: tweak expr_to_v
s
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
symbol
.
h: let is_ptr
_
type()
take NULL pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Car
p
ente
r
return_to_param
:
f
i
x
a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
struct_assignment/assigned_expres
s
ion:
save some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
arpenter
e
x
pre
s
sion
s
: free
a
l
located
e
x
p
ressions after the end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Da
n
C
a
rp
e
nter
rosenberg: chec
k
the correct alignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan C
a
r
penter
Merge git://git
.
kern
e
l
.
org
/
pub/scm/devel/sparse/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan
C
a
r
penter
mt
a
g: fix
b
uild
error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan Carpenter
helper: fi
x
segfault par
s
i
ng
i
n
v
a
l
id co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
t
y
pe_val: dev_get_drvd
a
ta()
doesn't se
t
the t
y
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
or_vs_and
:
white
s
pace cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
conditio
n
s: pass SELECT_H
O
O
K for
s
elect assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
es
t
ate: white
space cle
a
n u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
c
onstra
i
nts
:
allow binop c
o
ns
t
r
aint
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carp
e
nt
e
r
smatch_compariso
n
: fix a cr
a
shing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
check_ke
r
nel:
ha
n
dle fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpen
t
er
extr
a
: tight parame
t
er value
s
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carp
e
n
t
er
extra: handle "if (foo & 0x
1
) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
Carp
e
n
t
e
r
e
x
tra: don'
t
s
et true
/
f
a
l
se s
t
ates if it's the same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
im
p
lied: use
a
ssu
m
e() even if
there a
r
e
n
o implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
ma
t
h
: silence hard m
a
x false p
o
s
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
slist: d
o
n
'
t
p
ass s
t
u
ff to
p
re_merge_hooks that isn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpenter
mt
a
g: kill an endle
s
s
loop in up coming code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpe
n
ter
call_mat
h
: initialize some s
t
rin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carp
e
nter
fn_arg_link: f
i
x
an endl
e
ss lo
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-20
Dan Carpente
r
db: fix a segfault pa
r
sing inv
a
lid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-19
Dan Ca
r
p
e
nter
comparison: improve hand
l
ing of "if (foo + 1 > l
i
mit)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan
Carpenter
db
/
comparison: Use mask information to
get
compariso
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan
C
a
rpenter
compar
i
son:
handle _
_
smatch_c
o
mpare(fo
o
, bar - 1)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Da
n
Carpenter
extra: cleanu
p
handle_AND_op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
D
a
n
Carp
e
nter
extr
a
:
cleanup ha
n
dlin
g
"
i
f (foo & 0x
1
)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan Ca
r
penter
user_data: silence
some false positive
s
with di
v
ides
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carp
e
nter
u
ser_d
a
ta2:
s
ilence some false positives handling n
t
ohl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan
C
arpenter
conditi
o
ns: hack aro
u
nd "if (foo | b
a
r) {" (bitw
i
se
O
R)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-09
Dan Carpenter
d
a
ta/
k
ernel
.
ignore_macro
_
inde
n
ting: ignore
t
cp_sk
b
_tsorted_r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
db/smdb
.
py: c
h
a
n
ge some
formatting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpenter
db/smdb
.
py: fix the PARAM_
C
OMPARE/LIMIT
t
ypes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpenter
rosenberg: fix
a
crash
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpe
n
ter
user_data2: do
a hack arou
n
d in the pre_merge_hook()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Car
p
e
nter
c
ons
t
raint
s
: han
d
le c
o
nd
i
tions like "if
(
8
<
x) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpe
n
ter
e
x
pr_to_
c
h
u
nk_helper: s
e
t
*
sym when there is
o
n
ly
o
ne
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
rpenter
sl
i
st: allow
sh
o
w_sm() to acce
p
t N
U
LL point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Car
p
enter
flow: don't fake an im
p
o
s
sible default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
t
y
pe_val: record fewer "un
k
nown" assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpe
n
te
r
flow: set loop_
c
ount to zero
when parsing in
l
ine
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carp
e
nter
core: silence som
e
fals
e
po
s
itives fr
o
m p
a
r
s
i
n
g
invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
implie
d
:
use a t
i
m
e based
t
imeout inst
e
ad
o
f c
o
unti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n C
a
rp
e
nter
e
x
tra:
handle lo
o
p
s like
:
whil
e
(
-
-i
>
=
0
) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
D
a
n
Carpenter
f
unction_hook
s
: fake an as
s
i
gnmen
t
when fun
c
tions
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan
Carpenter
check_fre
e
_strict: Ne
w
stricter
c
ross
f
unction use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
D
a
n Ca
r
penter
chec
k
_atomic_inc_dec
:
t
r
ack atomic_inc()
and atomi
c
_de
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned_expr
:
han
d
le fak
e
assignments be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Carpenter
assigned_expr: remove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan C
a
rpenter
kernel_printf: %px is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan
Carp
e
nter
st
r
ee: d
e
bugging: print
the number
of states in __prin
t
_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mtag: commi
t
all mtag related code to da
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Da
n
Carpenter
smdb
.
p
y: f
i
x some crashing
bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
container_of
:
handle func
t
ion ca
l
ls like foo->bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
arpenter
smatch: get the smat
c
h bin
di
r
correc
t
ly when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
user
_
data2: empty
states are not user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Ca
r
pe
n
ter
constrai
n
t
s
_required: improve handl
i
ng of
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpenter
db: don't spl
i
t by NULL vs non-NULL
when
t
here are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
enter
flow: store a backup of the start ti
m
e
when parsin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpe
n
ter
hel
p
er: change some nons
e
nse va
l
ues to other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
D
B: introduce a timeout
handling cal
l
er info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
ad
d
ress
:
fix handling of &f
o
o->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpenter
cont
s
trai
n
ts: use caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n C
a
rpenter
constraints: mov
e
print_ret
u
rn_implie
s
_constrained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpenter
con
s
t
r
ai
n
t
s:
cl
e
anup unmet_constra
i
n
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
e
n
ter
constraints: fix add_const
r
a
i
nt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpenter
m
t
a
g
: introduce
cre
a
te_mtag_alias()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Car
p
ent
e
r
mtag: fi
x
get_mtag() for record
e
d states and for ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n Carpenter
li
n
k
s
: no nee
d
to
record link
s
outside a functio
n
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpe
n
ter
type_val: c
a
ch
e
DB inf
o
as a speed
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Ca
r
penter
string_list: prevent a use aft
e
r free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpenter
mtag: rename fro
m
m
t
ags pl
u
r
al to mtag
s
ingular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
h
elper: keep a s
m
al
l
ca
c
he
of recentl
y
us
e
d variab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpenter
extra
:
pass expression
p
oin
t
er t
o
mo
d
/nomod hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
ex
t
ra
:
write inf
r
astructure
t
o p
a
ss expr
t
o no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
db/
b
u
i
ld_early_index
.
sh:
s
et up
m
ore
mt
a
g index
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next