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
user_data: cleanup get_user_rl()
2018-06-13
Dan Carpen
t
er
user_data: cleanup get_user_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Car
p
ent
e
r
compari
s
on: fix a NULL deref
e
renc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Ca
r
pen
t
er
c
o
mparison: fix validation tests an
d
add a
n
ew test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
D
an
C
arpenter
extra: remo
v
e an unn
e
e
ded __set_sm()
i
n
db_param_li
m
it
_
filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
penter
he
l
per: s
t
rip ou
t
the byte swaps in str
i
p_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
vali
d
ation/sm_l
o
c
king3: fix function declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
unknown_value: c
l
ear the ->parent pointe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpe
n
ter
ranges: imp
r
ove str_to_comparison_arg_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
C
arpenter
compar
i
s
o
n:
u
se smatch
_
extr
a
data
in
g
et
_
comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan C
a
rpen
t
er
c
ompar
i
s
on:
i
m
p
r
o
v
e
handli
n
g
of "if (++j == limit)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
compari
s
on:
handle j++ var sym list
s
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpe
n
t
e
r
e
quiv: ty
p
e and imp
l
ica
t
ion fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan C
a
rpenter
rang
e
s: fix ==
a
nd
!= comparison
s
.
.
.
(0_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
return_to_param: fix
parsing c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
D
an Carpente
r
validation: update tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan C
a
rp
e
nte
r
db:
m
a
k
e call_implies
rows uniqu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
er
flow:
r
emov
e
t
he c
a
ll_split_expr() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
ar
p
enter
ex
t
ra: handle compariso
n
s to expres
s
ion sta
t
ements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fill_db
_
caller_info
.
pl: do
n
't pe
r
m
a
-ban funct
i
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fixup_kernel
.
sh: commit
all my st
u
ff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
function_ptrs: record local poi
n
ter scope correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
re
a
l
_absol
u
te: don't save sing
l
e v
a
l
u
e assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpe
n
ter
sval: fix a bug in sval_too_low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db: introduce d
b
_
i
gn
o
re_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
db/u
n
tra
c
k
e
d_
p
aram
:
m
a
rk pa
r
ameter
s
untrac
k
e
d if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpe
n
ter
flow
:
don't pa
r
se inline
function
s
which aren't inter
e
stin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan
Carpenter
db/co
n
straints_required
.
sch
e
ma: add missing semi-colon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Da
n
Carpenter
f
low
/
expressions/func
t
ion
_
hooks:
re-fix is_assi
g
ned_
c
all()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carp
e
nter
ker
n
el:
h
andle __read_once_si
z
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
m
a
th: fix
a
g
e
t_value() b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan
C
arp
e
nter
expre
s
sions: make
a
ss
i
g
n
_expression
(
) take an op
a
rgument
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpe
n
t
e
r
spectre: warn about potential spectre vulnerabilities
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carp
e
nt
e
r
expressions: d
o
n't s
e
t the
->pa
r
ent to a fake express
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
Dan
Car
p
enter
expressions: just allocate zero_expr() fresh
e
v
e
ry
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
D
a
n Carpenter
exp
r
ession/smatch_expressions: move exp
r
_set/get_parent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
D
a
n
Carpenter
o
r
_
v
s_and: tidy up whitespace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and:
min_t() u
s
es th
e
ne
w
min()
c
o
de as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan
C
a
r
penter
check_or_v
s
_and: ignore the kernel's min/max mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
D
a
n
C
arpe
n
ter
flow/ma
t
h
:
handle _
_
b
u
iltin_choose_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
validation
/
overflow: change
"
war
n
:" to "error:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
D
a
n
Carpente
r
a
b
out_fn_ptr_arg: don
'
t get into a re
c
ur
s
i
ve loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpenter
he
l
per: a
d
d
get_las
t
_stat
e
ment_from_ex
p
r
essi
o
n_stm
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
Carpenter
m
e
m
_
tracker
:
add a --mem option to debug mem
o
ry use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpenter
expre
s
s
i
o
n
s: re
m
ove some unneces
s
ary gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carpent
e
r
helper: improve is_error_retu
r
n()
.
In th
e
ker
n
el
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
enter
s
m
atch_data/smatc
h
.
common_functions:
a
d
d some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
smatch_dat
a
/
k
er
n
el
.
ignored_
m
acros: add AA_BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carpenter
smatch_dat
a
/kernel
.
i
g
nore_unini
t
ialized params:
add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpe
n
ter
smat
c
h_da
t
a/ke
r
nel
.
i
g
nore_side_effects add
recent ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparison: ha
n
dle expression stateme
n
ts better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparison: rem
o
ve s
o
me
d
ebug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
r
penter
com
p
aris
o
n: i
n
troduce impossibly
_
hi
g
h_comparison()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan Ca
r
penter
ign
o
re: fix && vs || typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Car
p
enter
index_overflow: almost a re-wri
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n
C
a
rp
e
nter
impl
i
ed
:
improve
handling of a
s
signments in argument
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Carpenter
kernel_printf: don't warn about
v
oid pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Car
p
e
n
ter
che
a
k_leaks: handle ret
u
rnin
g
conditi
o
nals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Car
p
enter
m
ath: intr
o
duce a new cache o
f
r
e
cently used constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpe
n
ter
math:
handle __builtin_constant
_
p() p
r
operly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
an Car
p
e
nter
math:
a
llocat
e
d some permanent range
l
i
s
ts in rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Car
p
enter
c
onditions:
Fi
x
parsing fo
o
= ({
.
.
.
label: __ret; })
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan Car
p
e
n
t
er
f
un
c
ti
o
n_
h
ooks: don't be too ambitio
u
s f
a
king
p
arameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
rang
e
s/ptrlis
t
:
solve a leak wit
h
a
big hack (second
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpe
n
ter
allocate: use unsign
e
d long to record all
o
ca
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
de
r
ef_check: fix a
small leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
an Carpenter
ho
o
ks: introduce
F
UNCTION_CALL_HOOK_
B
EF
O
RE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
u
ser
_
data: rea
d
ing f
r
o
m an array doesn't neces
s
ari
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arp
e
n
ter
implied: intro
d
uce impo
s
sible_a
s
sumption()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
a
r
pen
t
er
buf_
s
ize: don
'
t
sav
e
u
nnece
s
sar
y
state
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Carpenter
mtag: push all my changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
n
ter
ran
g
es:
fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Da
n
Car
p
enter
de
b
u
g
: add __s
m
atch_s
t
ate_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
modification_hooks: don't save the expre
s
sions outsi
d
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
a
rpen
t
er
var_sym: tweak
expr_to_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
arp
e
nter
symbo
l
.
h
: l
e
t is_pt
r
_type() take N
U
LL
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Da
n
C
a
rpenter
re
t
urn_
t
o_param: fix a crashing bu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an
C
arpenter
stru
c
t_assignment/ass
i
g
ned_expr
e
ssi
o
n: save some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carp
e
nter
expressions: free allocated expres
s
ions after the
end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Dan Carpenter
r
o
senb
e
r
g: check t
h
e cor
r
ect alignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan
C
arpenter
Mer
g
e git://git
.
ker
n
el
.
o
rg/pu
b
/scm
/
devel/s
p
arse/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carpenter
m
tag: fix
bu
i
ld error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan Ca
r
penter
h
e
lper
:
fix seg
f
ault parsing invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
type
_
val: dev_get_drvd
a
ta(
)
do
e
sn't
s
et the typ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
or_vs_and: white space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
condit
i
ons
:
p
a
ss SELECT_HOOK fo
r
s
ele
c
t assignme
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
estate: white space
c
lean
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
c
onstraints: allow
b
i
nop
constr
a
in
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
s
ma
t
ch_co
m
parison: fix a crashi
n
g bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
check_ker
n
e
l:
handle fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
extra: tigh
t
parameter values
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpenter
extra: han
d
le "i
f
(
f
oo & 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpenter
e
x
tra: don't se
t
true/
f
a
lse
s
tates if it's the same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Ca
r
penter
impli
e
d
:
use ass
u
me(
)
even if there are no implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
math
:
sil
e
n
ce hard
max false positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpenter
s
list: don
'
t pass stuff to
pre_
m
er
g
e_hooks that
isn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
pe
n
ter
mtag: kill an endless loop in up coming
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpent
e
r
call_math: initialize som
e
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arp
e
nter
fn_arg_link
:
fix a
n
endless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-20
Dan Carpen
t
er
d
b
: fix a segfa
u
l
t
par
s
i
n
g
i
nvalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-19
Dan Carpen
t
e
r
c
o
mp
a
rison:
improv
e
h
a
ndlin
g
of "if
(
foo +
1
>
limi
t
) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next