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
dereferences_param: don't record addresses dereferences
2020-12-16
Dan Car
p
e
n
ter
derefere
n
c
e
s_param: don't re
c
o
rd addresses dereferences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-15
Dan
C
arpent
e
r
deref
:
fix
i
nverted tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carp
e
nter
c
heck_d
e
r
e
f
:
silence fa
l
s
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
D
a
n Carpen
t
er
der
e
f:
d
elet
e
all
-
-sp
a
mmy in
f
orm
a
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpenter
param_to
_
mtag_data: don
'
t
recor
d
fak
e
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-07
Dan Carpenter
readl_
i
nfinit
e
_loops
:
delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-01
Dan Carpenter
imp
l
ied: fix reversed debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
Carpen
t
er
extra: fi
x
some err
o
r poin
t
er
handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Carpenter
extra
:
don't save n
e
edl
e
ss DB records when we return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpent
e
r
extra: i
n
troduce parent_is_error_or_null_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an Ca
r
penter
function_
h
ook
s
/unwind: introd
u
ce return_i
m
plies_exact()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
unwind:
s
i
mplify
the
w
ay returns are categorized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carp
e
nter
unwind: commit mi
s
si
n
g parts from th
e
ig
n
ore path patch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Carpenter
u
n
wind: pa
t
hs whe
r
e the pare
n
t
i
s
g
one are
c
o
unted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpen
t
er
u
nwind: ignore pat
h
s w
e
re de
v
m_add
_
action_or_rese
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpe
n
te
r
u
n
wind: r
e
mo
v
e pci_iomap() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
ann
o
t
ate:
f
ix how snprintf() is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n
Carp
e
nte
r
a
s
s
i
gned_expr: introduce get_assigned_expr_recur
s
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Carpe
n
t
e
r
comparison: don't
store pointless fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Da
n
C
arpenter
c
omparis
o
n: remove any
"+- 0" operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan
Carpenter
ext
r
a: check the
o
r
i
g
i
n
al state
f
ir
s
t
for fake param
e
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpe
n
ter
flow: do a fake cas
t
f
or ARRA
Y
S
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Da
n
Car
p
enter
par
a
m_set: handle cer
t
ain
s
truct assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpenter
db:
only do the
r
eturn_info stuff if i
t
's goi
n
g to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan
C
arpenter
p
aram_
u
sed: i
g
nore
s
ome
sta
t
es
us
e
d to fill the
D
B
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan C
a
rpenter
user_data: delete de
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-13
Dan Carpente
r
locking:
s
a
ve h
e
l
d locks in call
e
r_info t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
D
a
n C
a
rpenter
db/insert_manual_states: don't insert du
p
licate states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan Carpenter
d
b/insert_m
a
nual
_
st
a
te
s
:
prese
r
v
e the
c
all_id
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-10
Dan Carpenter
pars
e
_call_math: fix a segfau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
C
a
r
p
e
n
ter
buf_size:
fix what caller_
i
nfo to pass and wh
a
t
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Da
n
Carpente
r
db/smdb: i
m
prove how
searching for function point
e
rs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
an Carpenter
db:
don't call call_info call backs
u
nless it is an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpente
r
extra: do a
small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
rpenter
f
u
ncti
o
n_hooks: add
he
l
pers to regi
s
ter all the fun
c
tio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
an Carpe
n
ter
modificatio
n
_ho
o
ks: potential spee
d
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
an
C
arpenter
kernel,math: han
d
le th
e
__ffs
(
) fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carp
e
n
ter
kernel: ignore more mutex int
e
rnals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Da
n
Carpenter
kernel: don't parse TRACE_
E
VENT
(
) functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpe
n
ter
param_ke
y
: fix an ordering bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
Carpente
r
pa
r
am_key: en
a
b
le for no
n
-
k
e
r
nel pro
j
ects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-28
Dan Car
p
e
nter
modi
f
i
c
ation_hooks: speed up calling
mo
d
ification hoo
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
a
n Carp
e
n
ter
s
i
gned:
d
on't
warn about u64 co
m
parisons wit
h
ULONG_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
flow: do
n
'
t
parse inl
i
n
es agai
n
if the
y
take a
l
o
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
an Carpenter
param_limi
t
:
move registration
b
e
fore param_
s
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carp
e
nter
states:
i
n
t
r
oduce ha
s
_states(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpent
e
r
mat
h
: don
'
t use type
_
value for ge
t
_implied
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan
C
ar
p
enter
leaks: small white
s
pace cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
math
:
r
emove a stray space charact
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
a
n Carpenter
pa
r
am_limit/filter/se
t
: use pa
r
am
_
k
e
y code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpent
e
r
param_key: e
x
port som
e
functions and introd
u
ce
map_
t
o_par
a
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan
Carpe
n
ter
s
matc
h
:
save les
s
s
tuff, run faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
typ
e
_v
a
l: sp
e
ed up type_v
a
l
cache
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
flow: cl
e
ar out fake assignmen
t
s after they'
r
e n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carp
e
nte
r
mat
h
: store all
c
onstant EXPR_BIN
O
P results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-15
Dan Carpen
t
er
d
b
: handle extern inline funct
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
Dan Car
p
enter
deref:
avoid the big_s
t
a
t
em
e
n
t
_stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
Dan
Carpenter
par
a
m_used: alway
s
assume
"
$" and "*$" are used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-13
D
a
n Carpenter
smatch: add a [smatch
.
check_name]
t
o the outp
u
t with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
Dan
Carp
e
nter
smatch_scripts/new_bugs
.
pl: to
t
al re-write of the scri
p
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
D
a
n
Carpe
n
te
r
db/c
r
e
a
t
e
_
db:
don't use corrupted DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan Carpenter
p
a
ram_l
i
mi
t
: use t
h
e sha
r
e
d
copy of start states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan Carpen
t
er
param_filter: dele
t
e unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-28
Dan Carpenter
f
l
ow: fake a paramete
r
assi
g
nmen
t
for li
t
erals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpen
t
e
r
param_k
e
y
:
remove bogus con
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Car
p
e
nter
param_key:
don't export state_name_to_para
m
_n
a
me()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
capped: conv
e
r
t retu
r
n i
n
fo to moder
n
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan C
a
rpenter
assig
n
ed_expr:
c
lea
n
up old ancient cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
l
o
cking:
f
ix compi
l
e
(broke
n
by ad
d
_func
t
ion_data())
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
cappe
d
: change how b
i
no
p
s are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
C
arpenter
capped: change += a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
C
arpenter
k
er
n
el: add s
u
ppo
r
t fo
r
array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
C
arpenter
kernel: fix impl
i
ed_err_cast_return() return
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Da
n
Carp
e
nter
frees_param_strict: use get_
p
aram_key_from_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan C
a
rpen
t
er
ato
m
ic_inc_dec: a
d
d some
more inc_dec functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Da
n
Ca
r
penter
impli
e
d: ad
d
a comment in
possible_false_hel
p
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpe
n
ter
param
_
key: use get_name_sym_from_ke
y
() instead of
return_sta
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
flow: Use add
_
function_data()
to clean up the code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
db/param_key: m
o
ve some key rela
t
e
d functi
o
ns from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpenter
unw
i
nd: add some more functio
n
s that need to be freed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpenter
ma
t
h: improve A
N
D handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Da
n
C
a
rp
e
nter
function_ptrs: d
o
n'
t
store no
n
sense f
a
ke pointe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan
C
arpenter
unwind: handle
f
reein
g
i
n
other functio
n
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan C
a
rpent
e
r
flow: introd
u
ce function data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpe
n
ter
param_
k
ey:
p
reserve parameter assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
D
an Carpenter
ch
e
ck_unwind:
remove
reque
s
t_resource()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpente
r
db:
f
ix db_incomplete
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpe
n
t
er
unw
i
n
d: fix
a spelling mis
t
ake "b
a
llance
"
-
-> "ba
l
anc
e
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Car
p
ent
e
r
db: record
i
f t
h
e DB
is missing
i
nformation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan
Carpen
t
e
r
u
n
wi
n
d
:
fi
x
request_resource() checking
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Car
p
enter
db: split range
d
implic
a
t
ion hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpenter
param_k
e
y: introduce
g
et_name_s
y
m_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan C
a
r
p
ente
r
ranges: add i
s
_
err
_
or_n
u
ll()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpente
r
unwind: r
e
-
write the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Ca
r
p
enter
param_key:
m
ove func
t
ions to new
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Carpenter
he
l
per: introduc
e
g
e
t_p
a
ram_
k
ey_from_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Carpent
e
r
retur
n
_to_p
a
ram: d
e
l
ete debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
Dan Carpen
t
er
return_to_param
:
Fix returned function parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-10
Dan Carpenter
function_hooks:
c
hec
k
t
he return from
t
he
imp
l
ied_
r
eturn
_
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-10
Dan Carpen
t
er
function_hooks: rename a variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next