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
kpatch: white space cleanup
2021-01-18
Dan Carpenter
kpatch: white spa
c
e cl
e
anup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpenter
scr
i
p
ts/trace
_
params
.
p
l
:
f
ix regex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpente
r
compar
i
son: call simp
l
ify_binops() in get_
c
omparison_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpent
e
r
co
m
pariso
n
: fix
h
ow addresse
s
are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
compari
s
on: fix a bug in get_c
o
mparison_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Da
n
Carp
e
n
te
r
constraints_required: i
g
nore fake assi
g
nmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
d
e
b
u
g: re
-
work how debugg
i
ng
implication
s
w
ork
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
arpenter
d
ebug:
a
d
d __smatch_ti
m
er_start/stop(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpen
t
er
flow: add
-
-tim
e
-stmt optio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Ca
r
penter
debug: ad
d
__smatch_debug_var
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n C
a
rpenter
param_set:
a
ddress
e
s can't
b
e set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
an Ca
r
pe
n
t
er
c
apped: addresses can'
t
be capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-11
Dan Carpenter
param_key: fix where ass
i
gnment
s
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
Da
n
Carpenter
de
b
ug: change how
__smatch_debug_check() works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
D
a
n Ca
r
penter
param_set: handle
N
ULL and PO
I
SON assignme
n
t
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-07
Dan Carpe
n
ter
extra:
handle canonical for
loo
p
s
w
i
th unknow
n
e
n
ds
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan Carpenter
e
x
tra/ranges:
i
n
trodu
c
e
is_no
d
eref_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan Carpenter
p
a
ram_set: m
e
rge some some
c
onditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan Carpenter
pa
r
am_set: don't
print useless
i
n
f
orma
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
Dan Carpe
n
ter
mis
s
i
n
g_er
r
or_code: intro
d
uce new check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
Dan Carpenter
locking: fix restore
in cross funct
i
on co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
D
an Carpenter
param_
c
ompare_li
m
it: don
'
t prin
t
imp
o
ssible compar
i
s
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
s
c
ripts/kpatch: view th
e
smatch
wa
r
n
ings in the
commit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
s
c
ripts
/
kpa
t
ch:
put a co
m
me
n
t
ed
o
ut diff int
o
t
h
e commit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
scripts/kpa
t
c
h
:
change
the git log fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpe
n
ter
kpatch: don't hard code my name
as
t
he s-o-
b
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-17
Dan Carpente
r
fl
o
w:
export
i
s_last_stmt() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carp
e
nte
r
modifi
c
ati
o
n
_hooks: handle add
r
esses bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan
C
arpenter
param_key:
a
llow ge
t
_name_sym_fro
m
_key() to
t
ake a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpe
n
ter
math: INT
_
MAX is never a har
d
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpe
n
ter
param_key: fix some
a
ddress
han
d
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpente
r
param_set: fix param_was_se
t
() for ad
d
resse
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
par
a
m
_
set:
don'
t
record so much data in th
e
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
points_t
o
_user
_
data: Make copy_from_user() set p
o
i
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
st
a
tes: use
t
he state fr
o
m t
h
e f
a
ke assignmen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Da
n
Carpenter
functio
n
_
h
ooks: set imp
l
i
ed stat
e
s
earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
d
e
refere
n
c
e
s
_param: do
n
'
t
recor
d
a
ddresses d
e
ref
e
rences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-15
Da
n
Ca
r
penter
der
e
f: fix inv
e
rted te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpe
n
ter
chec
k
_der
e
f: silence false posit
i
ves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carp
e
nt
e
r
deref: delete all --spammy info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan C
a
rpenter
param_to_mtag_d
a
ta: don't record fake
a
ssign
m
en
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-07
Dan
C
arpenter
readl_
i
n
f
i
n
ite_loop
s
:
de
l
e
te this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-01
Dan Carp
e
nter
implied: f
i
x reverse
d
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpe
n
t
er
extra: fix some
e
r
ror pointe
r
ha
n
dl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Carpenter
extra: don'
t
sa
v
e needless DB re
c
ords when we return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
arpenter
e
xtra: introdu
c
e par
e
nt_i
s
_error_or
_
n
u
ll_var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
function_
h
oo
k
s
/un
w
ind: introduce return_implies_exact
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
Carpen
t
er
unwind: simplify
t
he
w
a
y
return
s
ar
e
cate
g
or
i
zed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Ca
r
penter
un
w
ind
:
commit missing parts fro
m
t
he ignore
p
ath patch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n Ca
r
penter
unw
i
nd: p
a
ths where the
parent is
gone are
c
ounted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an Carpenter
unwind:
i
gnore pa
t
hs were d
e
vm_ad
d
_action_or_reset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carp
e
nter
unwind: remove pci_ioma
p
() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n
C
arpenter
a
nn
o
tate: fix how
s
n
p
r
i
ntf() is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Ca
r
pente
r
a
s
si
g
ned
_
expr: introduce get_assigned_expr_recur
s
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Carpenter
com
p
a
r
i
son:
d
on't store pointless fake a
s
si
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Car
p
enter
compari
s
on:
remo
v
e any "+- 0"
o
perations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
D
a
n Carp
e
nter
ex
t
r
a: check the original sta
t
e first for fak
e
paramete
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan
C
arpenter
f
l
ow: do
a
fake cast fo
r
A
R
R
A
YS
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
param_set: handle cert
a
in
st
r
u
c
t a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
db: only do the
ret
u
r
n
_
i
n
fo
s
t
uff if
i
t
's goin
g
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan C
a
rpen
t
er
param_used: i
g
nore some states used to fill the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
u
ser_data: d
e
lete
d
ebug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-13
Dan Carpent
e
r
lock
i
ng: s
a
v
e
h
eld locks in cal
l
er_info t
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan Carpenter
db/insert_ma
n
ual_states:
don't insert dupli
c
ate stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan Carpenter
db/
i
nser
t
_man
u
al_states: preserve the call_
i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-10
Dan Carpenter
p
arse_call_ma
t
h:
fix a
s
eg
f
ault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
buf_size: fix what
c
aller
_
info to pass and wh
a
t is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Ca
r
penter
d
b/smdb: improv
e
h
ow searching for functio
n
po
i
nters
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpent
e
r
db: do
n
'
t
c
a
ll call_inf
o
call b
a
cks unless
it
i
s
a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
C
arpenter
ex
t
ra: do a
s
mall c
l
e
anup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
an
C
arpenter
fun
c
tio
n
_hook
s
: add helpers to regis
t
er al
l
the func
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpen
t
er
modification_
h
ooks: potential
speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
Carp
e
nter
kernel,math:
h
andle the __ffs(
)
f
u
nc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Ca
r
penter
kernel: ignore more mutex internals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
k
e
rnel: don't par
s
e TRACE_EVENT
(
) functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
a
n
C
arpenter
par
a
m
_
key: f
i
x an ord
e
ring bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
param_k
e
y: enable for n
o
n-k
e
rnel
p
roject
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-28
Dan Carpenter
modification_hooks: spee
d
up
c
alling
modificatio
n
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpen
t
er
s
igne
d
: don't
warn ab
o
u
t
u64 comparisons with ULONG_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
flow:
d
on't parse inline
s
again if they take a long
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan C
a
r
p
e
n
te
r
p
a
r
a
m_limit: mov
e
r
egistration bef
o
re
param_se
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Ca
r
penter
states:
introduce
h
as_s
t
ates()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Car
p
enter
math
:
d
on't use type_value fo
r
get_imp
l
ied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Da
n
C
arpenter
leaks: small whi
t
e space cl
e
anup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carp
e
n
ter
math: re
m
ove a stray space cha
r
acter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Da
n
Carpenter
param_limit/filter/set: u
s
e
param
_
key co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
param_key: e
x
p
o
rt some functions an
d
introduce map_to_par
a
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
smatch:
save
less st
u
ff
,
run faste
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carp
e
nter
typ
e
_val: spee
d
up
t
ype_val ca
c
he
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
an Carpenter
f
l
o
w
: clear ou
t
fake assignments after they're not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
ma
t
h: sto
r
e
all
constant EXPR_BI
N
OP results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-15
D
an
C
arpenter
db: handle extern inl
i
ne
f
uncti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
Dan C
a
rpente
r
d
eref: avoid the b
i
g_statement_stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
Da
n
Car
p
enter
p
a
ram_u
s
ed:
a
l
way
s
ass
u
m
e
"
$
" a
n
d "*$" are used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-13
Da
n
Carpe
n
ter
smatc
h
: add a [
s
match
.
check
_
name] to
t
h
e output
w
ith
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
Dan Carpenter
smatch_scripts/new_b
u
gs
.
pl: to
t
al re-wri
t
e of the s
c
ript
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
Da
n
Carpenter
d
b/cr
e
at
e
_db:
d
on't use corru
p
t
e
d DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan Carpe
n
ter
param_limit: use the shared cop
y
of start sta
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan Carpenter
param_filt
e
r:
d
e
l
e
te unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-28
D
an Carpen
t
e
r
flow: fake a
param
e
ter assignment f
o
r literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next