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
param_set/clear: Use memset() of struct members
2021-02-11
D
an Carpenter
param
_
set/clear:
U
s
e
memset() of struc
t
member
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-10
Dan Carpenter
e
xpressions: int
r
oduce gen_
e
xpr_f
r
om_
p
aram_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-10
D
an
C
arpenter
e
x
pressions: make
gen_expression_from_nam
e
_sym
(
)
ha
n
dle
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-10
Dan Carpenter
db/
p
ar
a
m_limit/par
a
m_used: don't insert use
l
ess address
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-10
Dan Car
p
enter
extra: us
e
f
a
k
e as
s
ignment
s
for call
e
r_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-08
Dan Carpenter
check_locking: delete
o
ld states correctly (s
o
rt of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-08
Dan Carpenter
locking
:
re-write and fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-03
Dan Carpenter
e
x
tra: ta
k
e a short cut in
param_limi
t
_bino
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-03
Dan Car
p
enter
ext
r
a: f
a
ke assignments are
a
lso e
q
uivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-03
Dan Carpente
r
db
:
fix how &foo->lo
c
k states
are inserted into the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-27
D
a
n Carpenter
functio
n
_ho
o
ks
/
ch
e
ck_
u
n
wind: add p
a
ram_key_hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
Da
n
Carpenter
ext
r
a
:
fix how
h
ard max
v
alues are propagated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
helper: e
r
r
or pointer
s
are gone
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
D
a
n
Carpenter
extra
/
function
_
hooks: handle
f
a
ke funct
i
o
n calls in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
Da
n
C
a
r
p
e
nte
r
extra: fix test
f
or take a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-21
Dan Carpenter
stat
e
s: fix
a
use after fre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-21
Dan Carpen
t
er
Merg
e
git://git
.
k
e
rn
e
l
.
org/pub/scm/devel/sparse
/
sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-19
Dan C
a
r
pent
e
r
states: fix get_state_ex
p
r() uses of fake
_
p
a
rent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-19
Dan
C
a
r
penter
f
low
:
d
o
n't fa
k
e a parameter assignment o
u
tside of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
Dan Ca
r
penter
check_list: add a
comment abo
u
t o
r
de
r
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
Dan
C
arpenter
kpatch: w
h
ite
s
pace cl
e
a
n
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpenter
scripts/trace_p
a
rams
.
pl: fix regex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan
Carpenter
co
m
parison: call simpli
f
y_b
i
n
o
ps() i
n
get_c
o
mp
a
rison_helper(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
comparison: f
i
x how addresses
a
r
e handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpen
t
er
compari
s
on: fix a bu
g
in
get_compari
s
on
_
helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n
Carp
e
nter
constraints_required: ignore fake
a
ss
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan C
a
rpen
t
er
d
ebu
g
: re-work how debugging impl
i
cations wo
r
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
arpen
t
e
r
debug: a
d
d __smatch
_
timer_start/stop
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
flow: a
d
d --time-s
t
mt opti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n
C
arpent
e
r
de
b
ug: add
_
_smat
c
h_debug_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan
Carpenter
param
_
set: a
d
dresses can't be set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
capped:
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 assignments are
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
D
a
n Carp
e
nter
de
b
u
g
:
change h
o
w
_
_
smatch_debug
_
check() w
o
r
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
Dan Carp
e
nter
param_set: han
d
le
NULL and
POISON assig
n
me
n
ts better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-07
Dan Carpenter
extra: handle canonical for loops
w
ith u
n
known ends
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan
C
a
rpenter
ex
t
ra
/
ranges: int
r
o
d
uce is_noderef_p
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Da
n
Car
p
e
n
ter
param_set: me
r
ge some some conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan Carpenter
pa
r
a
m
_
set: don't print useless inf
o
r
m
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
Dan Carpenter
missing_erro
r
_code:
i
ntroduce
n
ew
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
D
an Carpenter
locki
n
g: fix res
t
o
re in cross function co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Da
n
C
arpenter
param_c
o
mpare_limit:
don't print imposs
i
ble com
p
arisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
D
a
n Carpent
e
r
scr
i
pts/kpatch: v
i
ew th
e
smatch
warni
n
gs i
n
t
h
e commit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
D
a
n Carpen
t
er
scripts/kpatch: pu
t
a
c
ommented out diff into the co
m
mit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan
C
arpenter
script
s
/kpatch: chang
e
the git log
for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpe
n
te
r
k
p
atch: do
n
't
h
ard
c
o
de my name
a
s the s-o-by
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-17
Dan
C
arpenter
flow: expor
t
is_last_stmt()
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan C
a
rpent
e
r
modific
a
t
i
on_
h
ooks:
ha
n
dle addresses be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
param_
k
ey: allow get_name_sym_from_key
(
) to tak
e
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
math: IN
T
_MAX is n
e
ve
r
a hard
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
param
_
key: fix some addr
e
ss h
a
n
dling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n Ca
r
penter
param_s
e
t: fix
p
a
r
am_was_set() for addresses
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 C
a
rpen
t
er
p
oi
n
ts_to_user_data:
Make copy_fr
o
m
_
us
e
r() s
e
t poin
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan
Carpenter
sta
t
es:
u
se the state from the fake assig
n
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Ca
r
penter
function_hoo
k
s: set im
p
lied
s
tates earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
dereferences_param
:
don't record addresses derefere
n
c
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-15
Da
n
Carpenter
der
e
f
:
f
ix
inverted test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan
C
arp
e
nter
c
h
e
c
k_
d
eref: s
i
lence false
p
o
s
i
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan C
a
rpenter
deref:
d
e
l
ete all --s
p
ammy information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan
Carpe
n
ter
param_to_mtag_data: d
o
n't record fak
e
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-07
Dan Ca
r
p
e
nter
readl_infinite
_
loo
p
s: delete
t
his check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-01
Dan
C
arpenter
implied: fix
reve
r
sed d
e
bug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Carpenter
extra: f
i
x
s
o
me error pointer ha
n
dling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
ex
t
ra: don't save needless DB records
w
hen we re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Ca
r
pen
t
er
e
x
tra
:
introduce parent_is_erro
r
_or_null_
v
ar_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n Car
p
enter
func
t
i
o
n_hooks/unwin
d
: i
n
troduce
r
etu
r
n_implies_
e
xact()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwind: simplify the way returns ar
e
cat
e
g
o
r
ized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an Carpen
t
er
u
n
wi
n
d: commit missing parts from the ig
n
ore path patch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwind: paths where
t
h
e
parent is
gone are
c
ounted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Car
p
enter
unwin
d
:
ig
n
o
re paths
w
ere
de
v
m_add_action
_
or_reset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
arpenter
unwind: rem
o
ve
p
ci_io
m
ap() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpe
n
ter
anno
t
ate: fix how snprintf
(
) is
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
a
r
p
enter
assigned_expr: introduce get_a
s
signed_expr_recurse()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
compa
r
iso
n
: don't store pointless fake
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carp
e
nte
r
com
p
arison: r
e
mo
v
e any
"+- 0" operat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan C
a
rpenter
extra:
c
he
c
k
the orig
i
nal state fi
r
st for f
a
ke parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
D
an Car
p
ente
r
flow: do a fake
ca
s
t for ARRAYS
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan
Carpenter
param_set: handle ce
r
t
a
in st
r
uct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan
Carpenter
db: onl
y
do the return_info stuff if it's go
i
ng to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan
C
ar
p
enter
param_used:
ign
o
re some states use
d
to f
i
ll the
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
user
_
d
ata: delete d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-13
Da
n
Carpenter
locking:
save held lo
c
ks in
ca
l
ler_info table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan Carp
e
n
ter
d
b
/insert_man
u
al_states:
don't insert duplica
t
e states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan Ca
r
penter
d
b
/i
n
s
e
rt_manual_s
t
at
e
s: prese
r
ve the call
_
id
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-10
Da
n
Carpenter
parse_
c
all_
m
ath:
fix a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
an Carpenter
buf_size: fix w
h
at call
e
r_
i
nfo to
pass and w
h
at is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
a
n Carpenter
d
b/smdb: impr
o
v
e how s
e
arching for f
u
nction poin
t
ers
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
d
b
:
don't
c
a
l
l call_
i
nfo call backs u
n
less i
t
is an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
Carp
e
nter
extra: do a small cle
a
nup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
function_
h
ooks: add helpers to register all the f
u
nc
t
io
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
C
arpenter
m
o
d
i
fication_hooks: pote
n
tial sp
e
e
d up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
kernel,
m
ath: han
d
le
the __f
f
s() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carp
e
nter
kernel:
i
g
n
ore mo
r
e mutex internals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
ker
n
el: d
o
n'
t
parse T
R
ACE_E
V
ENT() fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
rpenter
param_key:
fix
an ordering bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
p
aram_k
e
y:
enable
f
or n
o
n-kern
e
l
proje
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-28
Dan Carpenter
modification_hoo
k
s: spe
e
d up calling modif
i
cation
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
a
n Carpenter
signed: don't warn ab
o
ut u6
4
compariso
n
s with ULONG
_
MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
a
n Carpenter
flow: don't parse inlines again i
f
t
h
ey t
a
k
e a long
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next