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
Dan
Carpenter
p
a
ram_set/c
l
ea
r
:
U
s
e
memset(
)
of struct
m
e
mber
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-10
D
a
n Carpent
e
r
expr
e
s
s
i
o
n
s: intr
o
d
uce gen_expr_fr
o
m_param_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-10
Dan Carpenter
expre
s
s
i
ons: make gen_ex
p
ression_from_n
a
me_sym() hand
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-10
Dan Carpenter
db/param_limit/param_used: don't ins
e
r
t
u
s
e
less a
d
dr
e
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-10
Dan Carpenter
extra: use
fake ass
i
gnment
s
f
o
r
c
aller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-08
Dan Carpenter
check_locking: delet
e
old states cor
r
ect
l
y (sor
t
of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-08
Dan Carpenter
locking
:
re-write an
d
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-03
Dan Carpenter
extra:
t
a
ke a short cut in para
m
_
limit_bi
n
o
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-03
Dan Ca
r
pen
t
er
extra: fake a
s
signments are also equivale
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-02-03
Dan Carpenter
db: fix how &foo->lock states ar
e
i
n
serted into t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-27
Dan C
a
r
penter
fu
n
ction_hooks/ch
e
ck_unwind: a
d
d param_ke
y
_hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
extra: fix how har
d
m
ax values are
p
ropagat
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
Dan C
a
rpenter
help
e
r: error poin
t
ers are
gone
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
Dan
Car
p
enter
e
xtr
a
/
fu
n
ction_hooks: ha
n
dle fake function calls in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-25
Dan Carpenter
extra
:
fix test for take assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-21
D
an Carpenter
sta
t
e
s: fix a use after
free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-21
Dan Carpenter
Merge git://git
.
k
e
rnel
.
org/pub/scm/devel/sparse/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-19
Dan Car
p
en
t
er
states:
fix
g
et_state_expr() uses of
fake
_
parent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-19
Da
n
C
ar
p
enter
f
l
ow
:
don't fake
a
pa
r
ameter assignmen
t
o
utside of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpenter
check
_
list
:
a
dd a
c
omment
a
bout orderin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpenter
k
p
a
tch: white
s
pac
e
clea
n
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-18
Dan Carpenter
sc
r
ipts/trace_pa
r
ams
.
pl: fix r
e
gex
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
comp
a
ri
s
on
:
c
all simplif
y
_binops() in get_compari
s
on_hel
p
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
an Carpenter
comparison: f
i
x how addresses ar
e
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
an Carpenter
comparison: fix
a
bug in get_comparison_helper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
an C
a
r
pen
t
er
cons
t
r
aints
_
required
:
i
gnore f
a
ke
assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Da
n
Carpenter
de
b
ug: re-work how de
b
u
gg
i
n
g
impli
c
ations works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpen
t
er
debu
g
: ad
d
__s
m
atch_timer_s
t
art/stop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
an Carpe
n
ter
flow: add --time-stmt option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
debug:
a
dd __smatch
_
d
e
bug_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
D
a
n
Ca
r
p
e
nt
e
r
param_set: address
e
s can't be set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
cappe
d
:
ad
d
resses can't be ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-11
D
a
n
Carpenter
param_key: fix where as
s
ig
n
ments are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
Dan Carpe
n
ter
debug: c
h
a
nge how __sma
t
ch_debug_check() works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
Dan Carpenter
param_set: han
d
l
e N
U
L
L
and P
O
I
S
ON
a
ssignments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-07
Dan Carpenter
extr
a
: hand
l
e canonical for loops
with unknown ends
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan
Carpenter
ex
t
ra/ranges: int
r
o
d
u
c
e is_noderef_ptr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Da
n
Car
p
enter
param_set: merge some som
e
conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan Carpenter
param_set: don't print
use
l
ess information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
Dan Carp
e
nte
r
missing
_
error
_
c
o
de
:
introdu
c
e ne
w
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
Dan C
a
rpenter
locking
:
f
i
x restore in cros
s
function code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Car
p
enter
pa
r
am_compare_li
m
it: don't pr
i
nt impos
s
ib
l
e comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
D
a
n Carpen
t
e
r
scripts/kpa
t
ch
:
view th
e
smatch
warnings
i
n the
c
o
mmit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
D
a
n
Ca
r
penter
scrip
t
s
/kpa
t
c
h: put a c
o
mmente
d
out diff
i
nto
t
he commit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Car
p
enter
scr
i
pts/kpatch
:
change the git log format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpent
e
r
kpatc
h
: don't hard
code
m
y name as t
h
e s-o-b
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-17
Dan
C
arpenter
f
low: ex
p
ort is_last_stmt
(
) f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Da
n
Carpent
e
r
modificati
o
n_hooks: handle a
d
dresses better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpe
n
ter
pa
r
am_key: all
o
w
g
e
t
_
na
m
e_sym_
f
rom_key()
to
t
ak
e
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
D
an C
a
r
penter
math
:
INT_MAX is never a hard max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
param_k
e
y: fi
x
some addr
e
ss
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carp
e
n
t
er
param_set:
f
ix param_was_set() for addre
s
s
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n Ca
r
pen
t
e
r
param_set:
don't record so
much data i
n
the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
po
i
nts_to_us
e
r
_data:
M
ake copy_from_u
s
er() set poi
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpe
n
ter
s
tates:
use th
e
state from th
e
f
a
ke assignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan
Car
p
en
t
e
r
fu
n
ction_hoo
k
s
: set
imp
l
ied s
t
ates ea
r
lier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n Carpenter
dereferenc
e
s
_para
m
: don't record addresses derefer
e
nce
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-15
Dan
Carpenter
deref: fix invert
e
d
t
e
s
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan
C
arpenter
check_deref: silence false
posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan C
a
rpenter
deref: delete all --spammy
inform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
D
an Carpen
t
er
param_to_mtag_data: don't record fake as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-07
Dan C
a
r
pe
n
t
er
readl_infinite_loops: delete this che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-01
Da
n
Ca
r
penter
imp
l
ie
d
: fix reversed debug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
ex
t
ra:
f
i
x some error point
e
r handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpe
n
ter
extra: don
'
t s
a
ve needl
e
ss DB records when we re
t
u
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan C
a
rpent
e
r
ext
r
a: introduc
e
pa
r
ent
_
is_error_o
r
_nu
l
l_v
a
r_
s
ym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Car
p
ent
e
r
func
t
i
on_hooks/unw
i
nd: introduce return
_
i
mplies_exact()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
Car
p
enter
u
n
w
i
n
d
: simplify th
e
way r
e
tur
n
s are categorized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
arpenter
unwind: commit missin
g
parts from the ign
o
re pa
t
h p
a
t
c
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwi
n
d: paths where the
parent is gone
a
r
e counted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Ca
r
pente
r
u
n
wind: ignore paths were devm
_
add_action_or_rese
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n
Carpe
n
ter
unw
i
nd: remove p
c
i_i
o
m
a
p() function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
C
arp
e
nter
annotate: fix h
o
w snprintf(
)
is
ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpe
n
ter
assigned_exp
r
: introdu
c
e
get_assig
n
ed_expr_recurse()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpen
t
e
r
c
omparis
o
n: don
'
t stor
e
pointless fake
a
ssignme
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Ca
r
pen
t
er
com
p
arison: rem
o
ve any
"+-
0
" operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Ca
r
pen
t
er
extra: check the origina
l
s
tat
e
first for
f
ake parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
D
a
n Carp
e
nte
r
flow: do a fake cast for ARRAYS
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
D
an Carpenter
pa
r
am
_
set: han
d
le
certa
i
n
struct
a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpente
r
db:
on
l
y do the return_in
f
o stuff if it's going to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Da
n
Carpenter
p
a
ra
m
_u
s
ed:
ignore some
s
t
ate
s
us
e
d
to fill t
h
e DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan
C
arpent
e
r
user_data: del
e
te debu
g
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-13
Dan Carpenter
locking: save hel
d
locks in caller_inf
o
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
D
an Carp
e
nter
d
b
/insert_manual_states:
don
'
t
ins
e
rt
duplicate states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan
Carpenter
db/insert_manual_states: preserve th
e
c
all_id
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-10
D
a
n Ca
r
pe
n
ter
parse_c
a
ll_math: fix a segfau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
rp
e
nter
buf_si
z
e: fix
w
hat caller_info t
o
pass and what i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
a
n
Carpe
n
ter
db/smdb
:
im
p
r
o
ve ho
w
search
i
ng fo
r
function
p
ointe
r
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
a
n Carpenter
db: don't call call_info call b
a
cks unless i
t
is an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
e
x
tra: do a sm
a
ll clea
n
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
function_ho
o
ks: add helpers to re
g
ister
all the functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
m
od
i
fi
c
ation
_
hooks: p
o
t
e
ntial
speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
a
n Carpenter
kernel,math:
handle the _
_
ffs() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
Carpen
t
er
kern
e
l:
ignore more mutex internals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpen
t
er
kernel:
d
on't parse TRACE_EVENT() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Ca
r
penter
param_key: fix an ordering bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
param_
k
ey: en
a
ble for
n
on-kernel pro
j
ects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-28
Da
n
Carpenter
modification_hook
s
:
s
p
e
e
d
up c
a
lling modification hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
signed: don't warn about u64 c
o
mparisons with ULO
N
G_MA
X
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan
C
a
r
penter
flow: don't parse
inl
i
nes again if
the
y
take a
long
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next