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
flow: add --time-stmt option
2021-01-13
Da
n
Car
p
enter
flow: ad
d
--time-stmt o
p
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpenter
debug: add
__sm
a
tch_d
e
bug_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan
C
arpenter
param_set:
a
ddresses ca
n
't
be set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-13
Dan Carpen
t
er
capped: a
d
d
re
s
s
es 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
a
ssignm
e
n
ts a
r
e hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
D
a
n
Carpe
n
ter
debug: cha
n
g
e
how __smatch_debug
_
check() works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-08
Da
n
Carpent
e
r
par
a
m_set: handle NULL
a
nd POISON
as
s
ignments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-07
Dan Car
p
enter
extra: handl
e
canonic
a
l
for loops
w
ith unknown en
d
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
D
a
n Car
p
e
n
ter
extr
a
/ranges: intr
o
duce is_node
r
ef_p
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan Car
p
enter
param_set: merge some some conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2021-01-06
Dan C
a
r
pen
t
er
param_set: don't print
useless information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
Dan
Carp
e
nter
mi
s
sing_
e
rr
o
r_code
:
introduce n
e
w check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-19
D
a
n Carpenter
locking: fix restore
i
n
cross functio
n
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
D
a
n Carpen
t
er
param_compare_limit:
don't
p
rint im
p
o
s
s
i
ble comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
scr
i
pts
/
kpatch: view t
h
e smatch warning
s
in the commit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Da
n
C
a
rpent
e
r
scr
i
pts/kpa
t
ch: put a commente
d
o
u
t diff into the commit
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan C
a
r
p
ent
e
r
scripts/kpatch:
change
t
he git log format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-18
Dan Carpenter
kpa
t
ch: don't hard 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 Car
p
enter
flow: export is_last_stmt() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
D
an Carpenter
m
o
dif
i
cation_ho
o
k
s
: handle a
d
dresses better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Car
p
enter
param_key:
allo
w
get_name_sym_
f
r
o
m_k
e
y()
t
o
take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Ca
r
penter
math: INT_MAX is
n
ever a h
a
rd max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan C
a
rpenter
p
a
ram_k
e
y:
fix
s
ome address h
a
ndlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpe
n
t
e
r
param_se
t
: fix p
a
ram_w
a
s_set() for add
r
ess
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
param_set: d
o
n'
t
recor
d
so
m
uch data in the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n Carpenter
p
oint
s
_to_user_data: M
a
k
e
co
p
y_from_
u
ser() set
p
oint
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
states: use the s
t
ate from the
fake assignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Da
n
Carpenter
f
unc
t
ion_hook
s
:
se
t
implie
d
sta
t
e
s
earlie
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
D
a
n Carpenter
dereferences_param:
don'
t
record addresses dereferences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-15
D
a
n
Carpenter
deref: fix invert
e
d
t
ests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Car
p
enter
c
hec
k
_
deref: si
l
enc
e
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpenter
deref:
d
elete al
l
--spam
m
y inform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan
Carpenter
param_to
_
mtag_data
:
don't r
e
cord fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-07
Dan
Carpenter
r
e
adl_inf
i
nite_loops: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-01
Dan Carpenter
implied: fi
x
reversed
d
ebug o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Car
p
enter
e
xtra: fi
x
some e
r
r
o
r pointer han
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n
Carpent
e
r
extr
a
: don't save needless DB
r
e
c
ord
s
when we return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n
Carpenter
ex
t
r
a: i
n
t
rod
u
ce par
e
nt_is_erro
r
_
o
r_null_v
a
r_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
Carpenter
function_ho
o
ks/unwind: introduce return_implies_e
x
act()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an Ca
r
p
enter
un
w
i
nd: si
m
plify the
w
ay returns
a
r
e
c
ategor
i
zed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan C
a
r
p
e
nter
unwi
n
d: commit
missing parts f
r
om the ignore
p
ath patch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unw
i
nd: paths where
t
h
e parent is
g
one a
r
e counted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwind:
ign
o
re paths w
e
re devm_a
d
d_actio
n
_or_reset
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n Ca
r
penter
unw
i
nd: remove pci_iomap()
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Carp
e
nter
annotate: fix
h
ow sn
p
rintf() is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an Car
p
enter
ass
i
gned_expr: intro
d
uce g
e
t_assigned_e
x
pr_recu
r
se()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an Carpenter
comparison
:
don't store p
o
intless f
a
ke ass
i
gnme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
Carpenter
compa
r
ison: remove any
"+-
0
" ope
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
D
a
n Carpente
r
extra:
check
t
he ori
g
inal stat
e
fir
s
t for fak
e
paramete
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpe
n
ter
flow: do a fa
k
e
cast
f
or ARRAYS
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
param_set: han
d
le certain struct assig
n
me
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
d
b:
only do the return_info
s
t
uff if it's g
o
ing
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan C
a
rpenter
param_us
e
d:
i
gnore some states used to
fill the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Da
n
Ca
r
penter
user_data: delete debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-13
Dan
C
a
r
p
e
n
ter
locking: save hel
d
l
o
cks in
caller_info t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan
C
arp
e
nter
db/insert_ma
n
ual_st
a
tes
:
don't
insert dupl
i
cate states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan Carpenter
db/ins
e
rt_manual_states:
preserve t
h
e
call_id
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-10
Dan Carpe
n
ter
parse
_
c
a
ll_math
:
f
ix a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Da
n
Carpent
e
r
buf_siz
e
:
f
ix what caller_info to pass an
d
what is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
a
n Car
p
e
n
ter
d
b
/smdb:
i
mprove how searchi
n
g for function pointers
.
.
.
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 c
a
l
l
b
acks unless
i
t is a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
extra: do
a
sma
l
l cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Car
p
enter
f
u
nction_hooks: add helpers to
registe
r
al
l
the funct
i
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
m
o
d
ification_hooks: po
t
ential speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpent
e
r
kernel,math: handle t
h
e
__ffs() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
r
p
enter
kernel
:
ign
o
r
e
m
ore
m
ute
x
intern
a
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpe
n
ter
k
e
rnel: do
n
't p
a
rse TRACE_EVENT() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carp
e
nte
r
p
aram_key:
f
ix an ordering bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpent
e
r
param
_
ke
y
: enable for non-ker
n
el projects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-28
Dan Carpenter
mo
d
ification_hooks: speed
u
p call
i
ng
m
odifica
t
ion hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan
Carpent
e
r
sign
e
d:
d
o
n't warn about u64
comparisons with ULONG_M
A
X
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
f
low: don't pa
r
s
e inline
s
again if they take a l
o
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
pa
r
am_
l
imit: move reg
i
strati
o
n
b
e
fore param
_
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
st
a
tes: introduce has
_
s
tates()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpe
n
te
r
ma
t
h:
d
on'
t
use type_value for get_implie
d
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
leaks:
s
mall white space
cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Da
n
Car
p
enter
math:
r
emove a st
r
a
y spa
c
e char
a
cter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Da
n
Car
p
e
nter
param_limit/fil
t
er/set: us
e
param_key cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
param_key: export some functio
n
s
a
nd introduce map_to_param()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
smatch: save l
e
ss
stuff, run
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpen
t
er
type_val: speed
u
p
type_val cache
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
flow: c
l
e
ar out fake assignment
s
a
f
ter they're not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
m
a
th: store
a
ll con
s
tant
E
XPR_BINOP res
u
lts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-15
Da
n
Carpenter
db: handle extern in
l
i
ne funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
Da
n
Carpenter
deref: avoid the big_state
m
e
n
t_stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
Dan Car
p
enter
param_used
:
al
w
ays assume "$" and "*$" are us
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-13
Dan Carpenter
sm
a
tch: add a
[sma
t
ch
.
check_name] to the ou
t
put
w
ith
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
D
a
n
C
ar
p
ent
e
r
smatch_sc
r
ipts/new_bugs
.
pl: total re-write of t
h
e script
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
Dan
Car
p
enter
db/
c
reate_db
:
don't use c
o
r
r
upted DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan Carpenter
p
aram_
l
imit:
use the shared
c
o
p
y of start s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan Carp
e
nte
r
p
aram_filter: delete unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-28
Dan Carpenter
f
l
ow: f
a
ke
a parameter a
s
signment for literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
Carpent
e
r
pa
r
a
m
_k
e
y: r
e
mo
v
e
bogus consts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
param_ke
y
: don't exp
o
rt state_name_to_param_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpen
t
er
capped: convert return info to mo
d
ern c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpe
n
t
e
r
a
s
signed_
e
xpr: clean
up old anci
e
nt code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carp
e
nter
locking: fix compile (broken by
add_f
u
n
ctio
n
_data()
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
cappe
d
: change how bi
n
ops are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
capped: cha
n
ge +=
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpen
t
er
kernel: add support
for a
r
ray_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next