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
modification_hooks: don't allow multiple modification hooks
2018-06-22
Dan Carpenter
modification_hooks: don't a
l
low mu
l
tiple modific
a
t
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-21
Da
n
C
arpente
r
compar
i
son: don't
s
ave
co
m
pa
r
iso
n
s
to
o
n
eself
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
Dan Carpenter
comparison:
a
d
d some
parenthesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-18
D
an
C
arpenter
validation: fix up some failures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
Dan Carpenter
comparison:
f
i
x
filter_by_comparison == for
r
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-14
D
a
n Carpenter
extra:
j
ust set sval assi
g
n
m
e
nts
d
irectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
check_spectre: ignore masked o
f
f data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carp
e
n
te
r
spe
c
tr
e
: use the ne
w
is_u
s
er_rl() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user
_
data: sile
n
ce s
o
me mor
e
ntohl(foo[i]); false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
u
ser_data: silence s
o
me ss
c
a
nf() false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
Dan Carpenter
user
_
dat
a
: intro
d
uce
i
s_use
r
_
d
ata()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-13
D
an Carpe
n
ter
user_data: c
l
eanup get_u
s
er_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n
Carpent
e
r
com
p
ariso
n
:
fix a NULL de
r
efe
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-07
D
a
n Carpenter
c
om
p
a
r
ison: fix
v
alidation
t
e
s
ts and add a n
e
w tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
ext
r
a: remo
v
e an un
n
ee
d
ed __
s
et
_
sm() in db_param_l
i
mit_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Car
p
enter
hel
p
er: s
t
ri
p
out the byte swaps in strip_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpen
t
er
validation/sm_locking3: fix fu
n
cti
o
n declarati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpent
e
r
unknown_value: cl
e
a
r
the ->paren
t
pointe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
rang
e
s: improve
s
tr_to
_
comparison_arg_he
l
per()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Car
p
enter
c
omparison: use s
m
a
t
ch_ext
r
a data in get
_
c
o
mparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
comparison: improve handling of "if (++j == l
i
mit
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpente
r
c
ompa
r
ison
:
handle j++ var sym
lists better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
equi
v
: ty
p
e and implica
t
ion fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-30
Dan Carpenter
r
a
n
g
e
s: fix == and
!
= comparisons
.
.
.
(0_0)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
return_to_param: f
i
x par
s
ing calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-23
Dan Car
p
enter
validation:
u
pda
t
e tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-15
Da
n
C
a
rpenter
db:
make call_implies
r
ows unique
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: remove the
c
all_
s
plit_expr(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
extra:
han
d
le com
p
arisons
to expression
s
tate
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
Carpent
e
r
d
b/fil
l
_d
b
_caller
_
info
.
pl: don
'
t perma-ban
fun
c
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carpen
t
er
d
b/fixup_ke
r
nel
.
sh: commit
all my stuff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
func
t
io
n
_pt
r
s: record
l
ocal po
i
nter scope co
r
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
real_
a
bsolute: don't save single
v
alue
a
s
signs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carp
e
nter
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: introduc
e
db_ignore_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/untracked_param: mark par
a
meters untracked if we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
ar
p
enter
flow: don'
t
parse
i
nline functions
which
aren't interesting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-23
Dan Carpenter
db
/
con
s
traints_
r
equir
e
d
.
sche
m
a: add m
i
ssing
s
emi-col
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpent
e
r
flow/expressions/function_hooks
:
re-
f
ix is_assigned_call()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
k
e
rnel:
h
andle __read_once_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-20
Dan
C
a
rpenter
math: fix
a
g
et_value() b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-19
Da
n
Carpenter
express
i
o
n
s: make assign_expression() take an op argu
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
D
an Carpenter
spe
c
tr
e
: warn
about
p
otent
i
al spectre
vu
l
nerabiliti
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-18
D
an Carpente
r
exp
r
ession
s
:
d
o
n
't
set the ->parent to
a fake expre
s
sion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-17
Dan Carp
e
nter
expressions: just allocate zero_expr()
fresh ever
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-16
Dan
C
arpenter
expre
s
sion/smatc
h
_exp
r
essions
:
move expr_s
e
t/g
e
t_parent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
Dan Ca
r
pente
r
o
r_vs_and: tidy up
w
hitespace
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-12
D
a
n
Car
p
enter
or_vs_and: min_t() uses th
e
new min() code
a
s well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
D
a
n Carpente
r
check_
o
r_vs_a
n
d
:
i
gnore the kernel
'
s
min/max macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-11
D
an C
a
rp
e
nt
e
r
flow/math: handl
e
__builtin_cho
o
se_ex
p
r(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
Dan
Car
p
enter
validati
o
n/
o
v
e
r
f
low: change
"
warn:" to "
e
rror:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-10
D
an Carp
e
nter
about_fn_ptr_arg: don
'
t
get i
n
to a recursive loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
helper: add get_last_
s
tatement_from_ex
p
re
s
si
o
n_stmt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpent
e
r
mem_tracker: add
a --m
e
m op
t
ion to debug memory use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nt
e
r
expre
s
s
i
ons: rem
o
ve
some un
n
ecessary gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Da
n
Carpenter
helper: improve is_error_r
e
turn()
.
I
n
the ker
n
el all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carp
e
nter
sm
a
tch
_
data/smatch
.
common_fu
n
ct
i
o
n
s
:
add some common
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpenter
smatch_data/
k
ernel
.
ignored_mac
r
o
s:
add AA_BUG()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nter
smatch_da
t
a/
k
ernel
.
ignore_uninitial
i
zed
params:
add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
s
m
atch_data/kerne
l
.
ig
n
ore_side_effect
s
add
r
ecent ma
c
ro
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
D
an Carpen
t
er
comparison: handle
exp
r
ession statements
b
e
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
c
omparison: remove some debug cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
comparison: introduce im
p
ossibly_
h
igh
_
c
ompa
r
i
s
on()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
Dan C
a
rpenter
ign
o
re: fix
&
&
vs || ty
p
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
Da
n
Ca
r
penter
i
nde
x
_overflow:
a
lmos
t
a
re-write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
C
arpenter
implied: i
m
p
rove
handling of assig
n
ments in arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
an Car
p
en
t
er
kernel_pri
n
tf: don't w
a
rn a
b
out vo
i
d pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
ch
e
ak_leaks: h
a
ndle returning con
d
itionals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpent
e
r
m
a
th: in
t
r
o
duce a
n
ew cache of recently used const
a
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
m
a
th: handle __buil
t
in_consta
n
t
_
p
()
pro
p
erl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Carpenter
ma
t
h: allocated some permanent range
lists in rl_
z
ero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
co
n
ditions:
Fix par
s
ing
foo = ({
.
.
.
l
abel:
__
r
et; })
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
Dan Carpe
n
ter
function_h
o
oks:
d
on't be too a
m
biti
o
us
faking paramet
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan C
a
rpente
r
r
a
nges/ptrlist:
s
o
l
ve a lea
k
with a
b
ig hack (sec
o
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Ca
r
penter
allocate
:
us
e
unsigned long to
record allocations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Ca
r
penter
dere
f
_check: fix a small leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
hooks: introdu
c
e FUNCTION_CALL
_
HOOK_BEFORE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
user_data: readin
g
from an array doe
s
n't
necessarily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
enter
implied: introduce impossible_assumption()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arp
e
nter
buf_size: don't save
u
n
n
ece
s
s
a
ry s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
mtag: push
all
m
y changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
an Carpe
n
ter
ranges: fix a
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
de
b
ug: ad
d
__smatc
h
_st
a
te_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpenter
mod
i
ficati
o
n_hooks: don't save the expressi
o
ns
outsi
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_t
o
_v
s
l(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpent
e
r
symb
o
l
.
h: l
e
t is_ptr_type() take NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
r
etur
n
_to_param: f
i
x a crashing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpent
e
r
s
t
ru
c
t_as
s
ignment/assig
n
e
d_
e
x
pression: save
s
om
e
more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carpent
e
r
expressions:
f
r
e
e
all
o
cated exp
r
e
s
s
i
ons
a
fter the end
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Dan C
a
rpenter
rosenberg
:
c
h
eck the correct align
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-01
Dan C
a
rpe
n
ter
M
e
r
ge git://git
.
kernel
.
o
r
g/pub/scm/devel/
s
parse/s
p
arse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carpenter
mtag: fix build err
o
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-22
D
a
n
C
a
rpenter
he
l
p
e
r: fix se
g
fault
p
arsing
invalid
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
type_val: dev_get_drvda
t
a() doesn't
set the t
y
p
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
or
_
vs_and: white space
cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
conditio
n
s:
pas
s
S
ELECT_HOOK for s
e
lect assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpen
t
er
e
st
a
te: white space clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
constraints:
a
llow binop constraints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpe
n
ter
smatch_compariso
n
:
f
i
x a cra
s
hing
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
c
heck_kernel:
handle
fls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next