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: don't record so much data in the DB
2020-12-16
Dan Carpente
r
param_set: don't rec
o
rd
so much data in the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan
C
arpenter
p
o
ints
_
to_user_data
:
Mak
e
copy_f
r
om_
u
ser() se
t
point
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
states
:
use the
s
t
a
t
e
from
t
h
e
fake a
s
signmen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpe
n
t
e
r
function
_
hoo
k
s: set imp
l
ied sta
t
es earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-16
Dan Carpenter
de
r
eferences_p
a
ram: don't re
c
ord
add
r
esses d
e
r
e
fer
e
nc
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-15
D
an Ca
r
pe
n
t
e
r
deref: fix inv
e
rted test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpenter
check_
d
eref: silence false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan
C
arpenter
deref: delete all --s
p
ammy info
r
mat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-14
Dan Carpen
t
er
param_t
o
_mtag_data: don't
rec
o
rd fak
e
assignme
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-07
Dan Ca
r
pe
n
t
er
readl_infinite_loops: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-12-01
Da
n
Carpenter
i
m
plied: fix reversed debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an
C
ar
p
e
n
ter
extra: fix s
o
me error pointer handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n
Carpenter
extra: don't sa
v
e n
e
edless DB
records when we
r
eturn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carp
e
nter
extra: introduce
pa
r
e
n
t_is_error_or_null_var_sym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
Carp
e
nter
fun
c
tion
_
ho
o
ks/unwind
:
introduce return_implies_exact()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
ar
p
e
nter
u
n
w
i
nd: simpl
i
f
y
t
he way returns are categori
z
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
an
C
arpenter
u
nwind: c
o
mmit missing parts
from the ignore path
p
atch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
arpenter
u
nwi
n
d: paths where
the par
e
nt is gone are counted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n C
a
rpente
r
unwind: ign
o
re path
s
were devm_a
d
d_action_o
r
_re
s
et
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
D
a
n Carp
e
nte
r
unwind: remove p
c
i
_iomap() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpenter
annotate: fix
ho
w
snprintf() is ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
arpenter
assigned_expr
:
int
r
oduce
get_ass
i
gned_expr_recurse()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan
C
arpenter
comparison
:
don't stor
e
p
o
in
t
les
s
fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-19
Dan Carpen
t
er
comparison: remove any "+- 0" ope
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Ca
r
pe
n
ter
extra: ch
e
c
k
the original
state
f
irst for fak
e
p
a
r
ameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan
Carpenter
fl
o
w: do a fak
e
c
ast for
ARRA
Y
S
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan
C
arpenter
p
aram_set: handle ce
r
tain
struct as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carpente
r
db: only do the retur
n
_info stu
f
f if it's goin
g
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
Dan Carp
e
nter
param_
u
sed: ignore
s
ome states used to fill the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-17
D
a
n
C
arpenter
us
e
r
_
data: delet
e
debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-13
Dan Carpenter
locki
n
g: save held locks in
c
a
ller_i
n
f
o
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
D
a
n
Carpenter
db
/
insert
_
manual_sta
t
es:
don't insert du
p
licat
e
s
t
a
te
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-12
Dan
C
arpenter
db/insert_man
u
al_states: p
r
eserve t
h
e call_i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-10
Da
n
Ca
r
p
ent
e
r
parse_call_math: fix
a
segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
a
n Ca
r
penter
buf_si
z
e: fix wh
a
t
cal
l
er_info
to
p
ass a
n
d what is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
Carpenter
db/smdb: improve how search
i
ng
for
f
unction po
i
n
ters
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Car
p
ent
e
r
db
:
don't cal
l
c
all_info call
backs unle
s
s i
t
is an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan C
a
r
penter
extra: do a small cl
e
anup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
fun
c
tion_ho
o
k
s: add helpers to register all the fu
n
c
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpen
t
er
modification_h
o
oks: potential speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
C
a
r
penter
k
e
r
n
el,math: handle the
_
_ffs(
)
func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Da
n
Carpenter
kern
e
l: i
g
nore more mut
e
x i
n
te
r
n
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
D
an Carpenter
kernel: don't parse
T
RACE_EVENT() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan Carpenter
pa
r
am_key: fix a
n
ord
e
ring b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-11-02
Dan
Carp
e
nter
param_key: enable for non-k
e
rnel projects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-28
Dan
C
arpenter
m
o
dification_hooks: speed up
calling modifi
c
a
t
i
on hook
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
a
n Carpen
t
er
s
i
gned: d
o
n't war
n
about
u
64 comparisons
w
ith ULONG_M
A
X
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Car
p
enter
flow: do
n
't
parse
i
n
lines
a
gain if they take a lon
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Ca
r
penter
param_li
m
it: move regis
t
ration
b
ef
o
re param_set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
states: introduce has_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
an Ca
r
p
e
nter
mat
h
: don't
us
e
t
y
p
e
_value for
g
et_implied_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
an Carpente
r
leaks: small wh
i
te space clean
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan C
a
rpe
n
ter
math: remove a stray space character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan
Carpen
t
er
param
_
limit/f
i
lter/set: use param_key
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
D
a
n Carpenter
par
a
m
_
key: export
s
o
m
e
function
s
and
i
nt
r
oduce map_to_pa
r
am
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Car
p
enter
s
match: save le
s
s
stuff, run faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
type_val: s
p
eed u
p
type_val cache
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Carpenter
flo
w
: clear out fake a
s
si
g
nm
e
nts
afte
r
they're not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-23
Dan Car
p
ente
r
math: store
all con
s
tan
t
EXPR_BINOP results
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-15
Dan Carpenter
db: ha
n
d
le ext
e
r
n i
n
li
n
e fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
D
a
n C
a
rpe
n
ter
deref: avoi
d
t
he big_state
m
ent
_
stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-14
Dan Carpenter
par
a
m
_used: always assume "$
"
a
n
d "*$" a
r
e used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-10-13
Dan
C
arpent
e
r
smatch
:
a
d
d a [smatch
.
check_name] to the output with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
Dan
C
arp
e
nter
smatc
h
_scripts/new_bugs
.
pl: to
t
al re-write
of the
s
cript
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-30
Dan C
a
rpenter
db
/
c
reat
e
_
db: d
o
n'
t
use co
r
rupted DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan Carpenter
param
_
l
i
m
i
t: use the
s
ha
r
ed copy
of
s
t
a
r
t
s
t
a
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-29
Dan Carpenter
p
a
ram_filte
r
:
delete unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-28
Dan Carpe
n
te
r
flow: fake a parameter assig
n
ment f
o
r literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Da
n
Carpenter
param_k
e
y: remove bo
g
us
consts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
p
aram_
k
ey: don't export s
t
ate_
n
am
e
_to_param_name(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
capped:
c
o
nvert ret
u
rn info to modern c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
Carpenter
assigned_expr:
c
lean up old anc
i
ent code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
C
arpente
r
l
ock
i
ng
:
fix
c
ompil
e
(bro
k
en by add_functi
o
n_data())
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan C
a
rpenter
capped
:
change
how
binops are h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
D
a
n
C
arpente
r
capped: change
+
=
a
ssig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
Carpen
t
er
kernel: add support for array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan
C
arpenter
kernel: f
i
x
i
mplied_e
r
r
_
cast
_
return() return
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Ca
r
penter
free
s
_param_strict: use get_param_key_fr
o
m_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpenter
atomic
_
inc_dec
:
a
d
d some m
o
re inc_de
c
functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Carpe
n
ter
i
mpl
i
e
d:
a
dd a comment
in
p
o
s
s
i
b
le_false_h
e
lper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-25
Dan Ca
r
penter
para
m
_key: use get_name_
s
ym_from_key() ins
t
ead 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 Carp
e
nt
e
r
db/pa
r
am_ke
y
: move
s
ome key rel
a
ted functions from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
D
an Carpente
r
unwin
d
: add some m
o
r
e
functions that n
e
e
d
t
o
be freed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan
C
arpenter
math:
i
mprove AND handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Da
n
Car
p
ente
r
function_ptrs
:
d
o
n't store nonsense fake pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Carpenter
unwind: ha
n
dle fre
e
ing in other funct
i
ons be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan Ca
r
penter
f
l
ow: introduce
function data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-22
Dan C
a
r
p
enter
param_
k
e
y: pres
e
rve parameter
assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpenter
c
he
c
k_unwind: remove request_reso
u
rce()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpent
e
r
db: fix db_incomplete
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
D
a
n
Carpenter
unw
i
nd: fix a spelling mistake
"
ballanc
e
" --
>
"balance"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
D
a
n Car
p
enter
db:
r
ecord
if the DB
is
missing information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan Carpenter
unwind: fix requ
e
s
t_resource() c
h
eck
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-16
Dan
C
ar
p
enter
db: s
p
lit ranged im
p
licatio
n
h
o
ok
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpen
t
e
r
p
aram_key: introduce get_
n
ame_sym_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan C
a
rpe
n
ter
r
ange
s
: add is_err_or_null
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
D
an Carpenter
unwind: re-write the ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-15
Dan Carpent
e
r
p
aram_key: move function
s
to n
e
w fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-11
D
a
n
C
arpente
r
helper
:
i
n
t
r
o
duce
get_param_key
_
from_var
_
sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next