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
implied: add a comment in possible_false_helper()
2020-05-04
Dan
C
arpe
n
ter
db/ret
u
rn_st
a
tes: fi
x
call
_
id ty
p
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan C
a
rpenter
db/create_db
.
sh: silence warnin
g
when -p option isn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan
C
a
rpenter
mark_function_ptrs
_
s
e
archabl
e
:
mark more f
u
nction
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
C
arpenter
c
onta
i
ner_of:
f
ix i
m
porting the
m
tag d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan
Carpent
e
r
est
a
te: check h
a
rd
max in estat
e
s_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Car
p
enter
es
t
ate:
a
dd a ->new
flag to tra
c
k new states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
D
a
n Carpent
e
r
helper:
export ge
t
_
a
rray_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Car
p
enter
imp
l
i
ed:
f
i
x parsing for
P
AR
A
M_LIMIT
impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Ca
r
pent
e
r
imp
l
ied: non-me
r
ged stat
e
s have no imp
l
icati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Ca
r
p
ent
e
r
type: i
m
pro
v
e get_m
e
mber_type_from
_
key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
C
arpenter
ty
p
e_val: ignor
e
"idr_f
i
nd"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
imp
l
ied: tu
r
n on debug_implied when
regu
l
ar debug
i
s set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
D
a
n
Ca
r
penter
err_ptr
:
de
l
e
t
e
d
ead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Dan Car
p
enter
struct_ass
i
gnme
n
t: stri
p
parentheses right
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Carpenter
atomic_inc_dec:
p
us
h
latest code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-04-07
Dan C
a
rp
e
nter
real_absolut
e
: up
d
ate real
abs
o
lute for
faked fresh
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpent
e
r
type: create type_f
i
t
s() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan
C
arpenter
db/kernel
.
re
t
u
r
n_fixes: mis
c
u
p
dat
e
s
(
locking
m
ostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
D
a
n Carpenter
states:
a
dd a way to watch
o
ther
c
h
ecks set states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
debug:
p
r
int a
s
p
e
cial
w
arning
f
or user_rl with
o
ut
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Ca
r
p
e
nter
fr
e
sh_alloc: so
m
e
t
hings are not fresh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carp
e
nter
helper: don't cache Tmp expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
e
xpressions: R
e
nam
e
"F
a
k
e" to "
T
mp"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
math: functi
o
ns can return fuzzy r
a
n
g
e l
i
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
D
an Carpenter
r
eturn_to_param: remove unu
s
e
d decl
a
ra
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
D
an C
a
rpenter
script
s
/s
u
mmarize
_
e
rrs
.
sh:
white space fixe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpente
r
tokenize: export a
l
loc_ident()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
all
o
cating_enough_data:
c
larify
error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan
C
arpenter
stru
c
t_assignment: Fi
x
(*$)->foo handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpe
n
t
er
valid
a
tion: update impossible
t
ests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Da
n
Carpent
e
r
shif
t
_to_zero: silence some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
mt
a
g: d
o
n't doubl
e
record mtag data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
s
m
db: add s
o
m
e more types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Da
n
Carpe
n
ter
slist: add some
d
e
bug
c
ode t
o
w
a
rn about missing set
_
dynamic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan
C
arpenter
helper: remov
e
n
o_pa
r
ens parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpen
t
e
r
imp
l
ied/compariso
n
:
d
elete unkno
w
n implicati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpen
t
er
helper: return mor
e
sp
e
cific
e
rro
r
codes
i
n get_para
m
_
num_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpen
t
er
functi
o
n
_hooks/m
t
a
g
: set
mt
a
g retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
helper: small white space cl
e
anup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
mtag: s
a
ve
the mt
a
g allocat
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan C
a
rp
e
nter
db: add
s
upport for (*$)->foo = 1;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
db: make mta
g
_about en
t
ries u
n
ique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Ca
r
penter
db: add mtag_info tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpenter
m
tag_m
a
p:
re-arrange cont
a
iner map
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-18
Dan Carpen
t
e
r
type: export is_struct_ptr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan
C
arpenter
d
b
: don
'
t
b
o
ther splitting error
p
aths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
D
a
n Ca
r
pe
n
ter
db: sto
r
e the function mtag in t
h
e
call_id s
p
ace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
db: don't spl
i
t nega
t
iv
e
s
u
s
ing null/non_nul
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
D
an C
a
rpenter
db: add a n
e
w callback for in
s
erti
n
g stuff
into call
e
r
_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
D
a
n
Carp
e
nt
e
r
function
_
ptrs: delete a stray space
c
harac
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpe
n
ter
e
s
tate: pointers don'
t
have hard maxes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
D
an
C
arpenter
m
tag_data: ignore b
o
ot_par
a
ms
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
D
an Ca
r
penter
mtag_data
:
ig
n
or
e
h
e
a
d
->next
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
h
elp
e
r: p
r
int EXPR_SELECT
a
nd EXPR_CONDITIO
N
with
e
xpr_t
o
_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carp
e
n
t
er
mtag_map: add a tag
_
offset field
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpenter
fresh_alloc:
NULL
i
s
not a fresh all
o
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Carpen
t
er
debug: m
o
ve
__prin
t
_states() to smatch_states
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
Dan Ca
r
pen
t
er
math:
hand
l
e
u
n
k
nown
m
a
x
i
m
um
s
in subt
r
a
ct o
p
e
r
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-02-11
D
an Carpen
t
er
fl
o
w: call AS
S
IG
N
MENT_HOOK_AFTER
for compli
c
ated assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-28
D
a
n Carp
e
nter
mtag
:
u
pdate swap_mta
g
_retu
r
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
D
a
n
Car
p
enter
f
resh_all
o
c: mark
use
d
data a
s
u
n
fresh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Dan Carpenter
fresh_a
l
l
oc: export is_fresh
_
alloc() and
i
s_fresh_alloc_var_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Dan Carpen
t
er
fresh_allo
c
: NU
L
L
p
ointers are no
t
f
res
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Dan Carpen
t
er
mtag: export str_to_mta
g
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Dan Carpenter
t
y
pe:
i
mprove
debug o
u
tput for NU
L
L types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-27
Dan
Carpent
e
r
slist: fi
x
__print_st
r
e
e
() debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-22
D
a
n Car
p
enter
d
b
: delete m
o
re d
e
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-22
Dan Car
p
e
nter
db: remove DB r
e
move some dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-14
Dan Carpente
r
fr
e
s
h
_alloc: fix c
o
mpiling (missi
n
g chun
k
of commit)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-10
Dan Carpen
t
er
c
o
ntainer: impr
o
ve h
o
w ass
i
gnments are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-09
Dan Carpen
t
e
r
loc
k
ing:
warn when ther
e
i
s a mi
s
s
ing irq_restore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-09
Dan Carpen
t
er
validation: updat
e
locking
v
al
i
d
a
tion
t
es
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-08
Dan Carpenter
lo
c
k
ing: remove w
i
n
e
loc
k
ing
c
heck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-06
Dan Car
p
enter
fresh_alloc: tra
c
k whi
c
h allocation
s
are f
r
esh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-06
Dan Carpenter
mat
h
/r
a
nges/helper:
improve fl
o
atin
g
point supp
o
r
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2020-01-06
Dan Carpenter
smatch
.
h: add
t
he
d
e
cl
a
ration
t
o
sm_
t
o_arg_n
a
me()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpe
n
ter
helper: introduce get_para
m
_
sym_from
_
num()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
sva
l
:
i
nitial floati
n
g point su
p
port
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpen
t
er
db: imp
r
ove s
p
lit_succe
s
s_fail
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan
C
arpenter
d
b
:
fix
spl
i
t_posi
t
ive_from_neg
a
t
i
ve()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
D
a
n Carp
e
nter
c
ontainer_of: a
function is not a conta
i
ner of itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
container_o
f
: fix
h
ow cont
a
i
n
er of star information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
D
an Carpenter
container_of: move
s
t
r
i
p_expr() ea
r
lier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpe
n
t
e
r
db: rename has_pos
s
ible
_
zero_null() to has_sep
a
rate
_
z
ero
_
n
u
l
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan
Carpenter
db:
a
dd a short
cut in has_
p
o
ssible
_
negative()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
rosen
b
erg: do
n
't leak uninit
i
alize
d
s
t
ruct
s
to malicious
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan
Car
p
enter
compa
r
ison:
s
plit unknown comparisons into fake comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
D
an Carpenter
container_o
f
: handl
e
"foo
.
fn(&foo);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
container_of:
store links
to container_of when
passing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
c
ontainer
_
o
f: add a m
i
ssing ch
e
ck for f
a
ilu
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
contai
n
er
_
of: sw
a
p variable n
a
m
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-12
Dan Carpenter
cont
a
iner_of: de
l
ete dea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-09
Dan Carpenter
container_of: fi
x
a
NULL derefe
r
ence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-09
Da
n
Carpenter
frees
_
par
a
m: delete s
o
me dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-09
Dan Car
p
enter
par
a
m_ma
p
per
:
r
e-write and remove --para
m
-
m
apper option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-09
Da
n
Carpente
r
b
uf_size: add
kvma
l
loc()
t
o t
h
e list
o
f al
l
ocatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-09
D
a
n Carpenter
d
e
b
u
g: d
e
lete un
u
sed lo
c
al
_
debug() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-09
Dan Carpente
r
db: add
__s
m
a
tc
h
_d
e
bug_db_on/of
f
(
)
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-09
Dan C
a
rpenter
e
x
pr
e
ssions:
put
p
a
r
entheses
a
round deref
e
renced binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-12-09
Dan Carpen
t
er
db: fix accou
n
ting
i
n split_possible_helper()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next