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 expression statements better
2018-04-09
Dan C
a
rpent
e
r
compari
s
o
n: hand
l
e e
x
pression s
t
ateme
n
t
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparison: remove some debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carpenter
comparison: introduce
impossibly
_
high_c
o
mpari
s
on()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan Car
p
enter
ign
o
re: fix
&
&
vs || typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Car
p
e
n
ter
index_overfl
o
w
:
a
l
m
o
st a re-w
r
ite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpenter
implied: improve
h
a
ndling of assignments in argum
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpente
r
kernel_prin
t
f
: don't warn
a
bout
v
oid pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpenter
cheak_leaks: handle returni
n
g
c
onditionals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: introduce a new c
a
c
h
e of recently used
constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
m
a
th:
h
andle __builtin_con
s
tant_p
(
)
p
rop
e
r
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpente
r
math:
allocated
s
o
m
e permanent
r
ange lists in rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpente
r
conditions: Fix pars
i
ng foo = ({
.
.
.
label: __ret; })
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan C
a
r
penter
function_hooks:
d
on't be too
ambitious faking parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
ranges/pt
r
list: solve
a leak with a
b
ig hack (s
e
c
o
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
D
a
n Carpenter
a
l
locate: use un
s
igned long to record allocat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpenter
d
e
ref_
c
heck: fix a small l
e
ak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
a
r
p
e
nter
hooks: introdu
c
e FUN
C
TION_CALL_
H
OOK_BEFORE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
user_
d
ata: reading
from
an array doesn't necessarily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
implied
:
introdu
c
e impossible_assumption(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
buf_size
:
don't save
unnecessary states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
enter
m
ta
g
: pu
s
h al
l
my c
h
ange
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
Carpenter
ran
g
es:
f
ix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
e
n
ter
debu
g
: a
d
d
__smatch_state_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Ca
r
penter
modification_h
o
oks: don'
t
save the
e
x
p
res
s
i
ons outs
i
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
var_sym: tweak ex
p
r_to_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carp
e
nter
s
ymbol
.
h:
l
et i
s
_ptr_t
y
pe
(
) take NU
L
L poi
n
ter
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Da
n
Carp
e
nter
return_to_par
a
m: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
Carpen
t
e
r
s
t
ruct_assignment/assigned_expression
:
save
s
ome m
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Car
p
enter
expressions:
f
ree allocated expressions af
t
er the
e
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Dan Carpent
e
r
ro
s
e
n
b
er
g
: check the correct alig
n
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan Car
p
enter
Merge git://git
.
kernel
.
o
r
g/pub/s
c
m
/devel/spa
r
se/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
D
an Carpe
n
ter
mtag: fix build erro
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan Carpent
e
r
helper: fix seg
f
ault parsi
n
g i
n
valid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
type_va
l
: dev_g
e
t_drvd
a
ta() doesn'
t
set t
h
e types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpen
t
e
r
or_vs_and: white space
c
l
eanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
c
o
n
ditions: pass SELECT
_
HOOK f
o
r
s
ele
c
t assignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
est
a
t
e
: w
h
ite spac
e
clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
constraints: allow
binop constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Ca
r
penter
sm
a
t
ch_comparison: fix a cr
a
s
h
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an
C
arpenter
c
heck
_
kernel: handle fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
e
x
tra:
t
i
ght parameter values
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
ex
t
ra: handle "if (foo &
0x1)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Car
p
en
t
e
r
extra: don't
set true/f
a
l
s
e stat
e
s if
i
t's th
e
same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
impl
i
e
d: use
a
s
s
ume(
)
even if t
h
ere are no i
m
plicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
m
a
th: sile
n
ce
hard
m
a
x false
p
ositi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carp
e
nter
slist: don't
pass s
t
uff to pre
_
merg
e
_hooks t
h
a
t
is
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
m
tag: kill a
n
endless loop in up coming
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
c
all_
m
ath: ini
t
iali
z
e so
m
e s
t
rings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
f
n_arg_link: fix an endl
e
ss
l
o
op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-20
D
an Car
p
enter
db: fix a segfault
p
arsing i
n
valid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-19
D
an
Carpenter
c
om
p
arison: improv
e
handli
n
g of "if
(
foo +
1
> limit)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Car
p
ent
e
r
db/c
o
m
pari
s
o
n:
Use mas
k
information to get comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
D
an Carpenter
comparison: h
a
ndle __s
m
atc
h
_compare(foo, bar - 1)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
e
x
tra: cleanup han
d
le_AND_
o
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Da
n
Carpente
r
extra
:
c
l
e
a
n
up hand
l
ing "i
f
(foo &
0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
D
an Ca
r
penter
user_dat
a
: silenc
e
so
m
e false
p
o
sitives with divides
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpenter
user_dat
a
2: silence some f
a
ls
e
positives handling n
t
ohl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan
C
arpe
n
ter
conditions:
hack around "i
f
(f
o
o |
bar) {" (bitw
i
se OR)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-09
Dan C
a
rpente
r
data/ke
r
nel
.
ignore_mac
r
o_
i
ndenting: ignore
t
cp_skb
_
tsor
t
ed_r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpe
n
ter
db/
s
mdb
.
p
y: chan
g
e
s
ome formatting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
d
b/smdb
.
py:
f
ix
t
he PARAM_COMPARE/LIMI
T
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
Carpenter
rose
n
berg: fix
a
crashing
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpent
e
r
user_dat
a
2: do a hack a
r
o
u
nd in th
e
p
r
e_m
e
rge
_
hook()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
r
p
enter
constraints: handle c
o
nditions
like "if (8
<
x)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n
C
arpenter
expr_t
o
_chunk_he
l
per: set *sym when the
r
e is
o
n
l
y one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpent
e
r
s
list: all
o
w show_sm() to accept NULL
p
ointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arpenter
flow: don
'
t fake an im
p
o
s
s
ible default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpenter
type_
v
al
:
record fewer
"
u
n
known
"
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arpenter
flow: set loop_count to zero when parsing inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an
C
a
r
penter
core
:
sil
e
nce
some
false positives from parsing i
n
v
al
i
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpent
e
r
impli
e
d: use
a time b
a
sed
t
imeout i
n
st
e
ad of
c
ou
n
ting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
an C
a
r
pe
n
ter
e
xtra: handle loops like: while (--
i
>=
0
)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
functio
n
_hooks:
fake an assi
g
nment
w
hen functions
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
D
an Carp
e
nter
check_free_strict: New stricte
r
c
r
o
ss fu
n
cti
o
n
u
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpent
e
r
check_atomic_
i
n
c_dec: track atomic_inc() an
d
a
tomic_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
C
arpenter
assigned_ex
p
r: han
d
l
e
fake
assignme
n
ts bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Car
p
enter
ass
i
gned_e
x
pr: re
m
ove d
e
bug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
kernel_printf: %p
x
i
s
valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
D
an Carpent
e
r
str
e
e: debug
g
ing: print
t
h
e n
u
m
ber of
s
tates
in __print_st
r
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
an Ca
r
p
enter
mt
a
g: commi
t
all mtag related code to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
ar
p
enter
smdb
.
py
:
fix some crashing bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
an Carpenter
c
o
ntainer_of: handle fun
c
tion calls li
k
e
foo->bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
s
match: get
the sm
a
tch b
i
n
d
i
r cor
r
ectly wh
e
n i
t
'
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
user_dat
a
2: e
m
pt
y
s
t
ates are not user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
c
o
nstr
a
i
n
ts_required: improve h
a
nd
l
ing of assig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db: don't split by
N
ULL vs non-NULL when the
r
e are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
flow
:
store a backup of the start time
w
hen pa
r
si
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
h
elper: change s
o
me nonsens
e
values to other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
ente
r
DB
:
i
n
t
ro
d
uce a
time
o
ut
handling ca
l
ler i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpe
n
ter
ad
d
re
s
s: fix hand
l
ing of &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
contstraints: use caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpenter
constrai
n
ts:
mov
e
p
r
int_retu
r
n
_i
m
pli
e
s_constraine
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
a
r
penter
c
o
nstraints: clean
u
p
u
n
m
et_const
r
ain
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
constrai
n
ts: f
i
x add_constraint(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
D
an Carpe
n
ter
mtag: introd
u
ce c
r
eate_mt
a
g_alias()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Carpe
n
ter
mtag: fix get_mtag() for recorded s
t
a
tes and for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
arpe
n
ter
links: no nee
d
t
o record
li
n
ks
o
u
tside a function
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Carpenter
t
ype_val: cache DB info as
a
s
peed
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
string_list:
prevent a
use after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpenter
mtag: rename from mtags
p
lura
l
t
o
mtag
singular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next