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
slist: allow show_sm() to accept NULL pointers
2018-01-25
D
a
n Car
p
e
n
ter
slist: allow show_sm() to a
c
cept NULL pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpent
e
r
flow: don't fake an impossible default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Car
p
ent
e
r
ty
p
e
_
val
:
r
e
cord f
e
wer "
u
nknown" assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
flow: set loo
p
_
c
ount
to zero when parsing in
l
ine functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpe
n
ter
core: silence some f
a
lse pos
i
t
ives from parsing
invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
im
p
lied: use a time
based t
i
meout instead
of counting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
extra:
h
a
nd
l
e
loops like: w
h
ile (--i >= 0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpent
e
r
func
t
io
n
_hooks: fake a
n
assignment when funct
i
ons re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpe
n
ter
ch
e
ck_free_str
i
c
t
:
New stricte
r
cross
f
u
nction use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Da
n
Carpenter
check_atomic_inc_dec: tr
a
ck atomic_inc() and atom
i
c_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigne
d
_expr
:
handle fake as
s
ignments bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Ca
r
p
e
nte
r
assig
n
ed_ex
p
r: re
m
ove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
D
an Carpent
e
r
kernel_printf: %
p
x
is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
str
e
e: debugging: print
the num
b
er
o
f states
in __p
r
int_
s
tre
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mtag: commit al
l
m
t
ag r
e
lated code to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpente
r
smdb
.
py: fix some cras
h
ing b
u
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Da
n
Carpen
t
er
cont
a
iner_of:
han
d
le fu
n
ction calls li
k
e foo->bar(
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
an Car
p
e
n
t
er
smatch: get the smatch bin dir correctly when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
user_d
a
ta2: em
p
ty s
t
ates
a
re not user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rp
e
nter
constraints_
r
equi
r
ed: improve handlin
g
of
as
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db: d
o
n't split by
NULL vs non-NULL wh
e
n
there
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
flow: store
a
backup o
f
the
s
tart time when parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpenter
helper: change some
n
onsens
e
v
a
lues to other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
DB: int
r
oduce a
timeo
u
t handling ca
l
ler info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
addr
e
ss: fix ha
n
d
ling of &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpente
r
contstraints: use ca
l
ler info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carp
e
n
t
e
r
co
n
stra
i
nt
s
: move print_return_
i
mp
l
ies
_
constr
a
ine
d
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
t
e
r
constraints: cleanup unmet_const
r
aint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
co
n
s
t
ra
i
nts: fix ad
d
_con
s
traint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpenter
mtag: introduce cr
e
ate_mtag_
a
lias
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carp
e
nter
mta
g
:
fix
ge
t
_
m
tag()
for recorded states
a
n
d
for
a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpen
t
er
links
:
no need
t
o record links outside a funct
i
on
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpen
t
er
type_va
l
:
c
a
che DB info as a speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
a
rpenter
s
tring_list: prevent a
u
s
e
after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan Ca
r
penter
mt
a
g: rena
m
e fr
o
m mtags plural to mta
g
singular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpente
r
he
l
p
e
r: keep a small cache of
recently use
d
v
a
riable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
e
x
t
r
a
: pass expr
e
s
sion pointer to
mod/nomod hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpenter
extra
:
write infrastruct
u
re to pass
e
xpr
to no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nt
e
r
d
b
/
build_earl
y
_
i
ndex
.
s
h: set up
m
ore mtag i
n
dexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expre
s
sions: in
i
tialize ->m
e
m
b
e
r_offset() in member_ex
p
ression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carp
e
nter
fu
n
c
tion_hooks: set
p
ath impossible if
w
e
cull ev
e
rything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
mtags:
r
e
move the &
p
r
e
-
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
scrip
t
s/gen_alloc
a
tion_list
.
s
h: add __alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
d
b
/fixup_
k
ernel
.
sh: snprintf()
r
eturns a
r
en't rea
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extr
a
: pass
t
h
e modified ex
p
ression
to e
x
tra_mod
_
hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
Carpenter
e
x
tra: store values for expressions like "foo[
3
]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
te
r
add
r
ess: don't segfault p
a
rs
i
ng
i
nvalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
ig
n
o
r
e:
r
e
-write an
d
add _expr() version
s
of functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
param_set/filter: PARAM_SET in
s
tead of
P
ARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
parse_call_mat
h
: use assigned values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
s
v
al
:
imp
r
ove sval_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n Car
p
enter
extra
:
don
'
t
modify const paramet
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
Carpen
t
e
r
address/type: make some function parameters c
o
nst
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpe
n
ter
s
t
ruct_assignment: remove an duplicate
N
ULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
enter
s
t
ruct_assignm
e
nt:
d
o
n
'
t double parse ulong assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpen
t
er
st
r
uct_assignmen
t
:
f
ix a
N
ULL de
r
eference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
nter
d
b/mtags:
add mt
a
g
_data and mtag_ma
p
tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
Carpenter
d
b
/f
n
_ptr_
d
ata_link: don
'
t store
d
u
p
licate records
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
enter
db: allo
w
SQL statement
s
to be run
later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
nter
db: introduce get_mtag_name_expr(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
ar
p
enter
st
r
uct_
a
ssignment: handle non
s
truct, pointe
r
assign
m
ents
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
pe
n
ter
s
truct_ass
i
g
nment: fix handling of
non_
s
truct_assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
Car
p
enter
struct_assignment
:
s
p
l
i
t handle_non_struct_assigments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index_overflow: make
all
messages
"
error:"
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Ca
r
penter
ind
e
x
_ove
r
f
low: sma
l
l
cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
in
d
ex_overflo
w
: don
'
t war
n
abo
u
t
i
m
possible path
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan
C
a
r
p
ente
r
mtag: introduce memor
y
tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan
C
a
rpent
e
r
implica
t
ions: se
t
_
s
tate() should trump
i
mplications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan
Carp
e
nter
buf_co
m
parison: copy the code
from smatc
h
_constraints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpe
n
ter
implied: improve the "too hairy" message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Ca
r
penter
comparison
:
store
t
he expressions
i
nvolved (if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpenter
comparison: re
n
ame var1 to left_var and var2 to right
_
var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan
C
arp
e
nter
co
n
straints_req
u
ired:
d
e
te
c
t
a bun
c
h
o
f
n
e
w typ
e
s of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constraints: allow f
u
nction constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpe
n
ter
c
o
n
s
t
r
aints: don't s
t
ore sign
e
d vs uns
i
gned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Dan
C
arpe
n
t
er
kern
e
l_pri
n
t
f
: don't segfault on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpent
e
r
user_data: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
type_va
l
:
u
se smatch_container_
o
f() informati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpen
t
er
user_data: this fil
e
is replaced by check_user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
D
a
n Carpenter
i
m
plied: add
a
timeout in smatch_
i
mpli
e
d
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
D
a
n Car
p
enter
flow
:
delet
e
out
o
f
scope variables
for compound statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpen
t
e
r
s
cope: mo
v
e a check f
o
r
STMT_COMPOUN
D
earl
i
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
te
r
vali
d
ation/sm
_
casts
.
c:
u
pdate to no
t
use an uninti
a
l
iz
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
r
e
ve
r
t "smatch_t
y
pe
.
c
: c
o
mparison ex
p
res
s
i
ons alway
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
valida
t
ion/sm_buf_size
6
.
c
:
updat
e
form
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpente
r
parse: make an ar
r
a
y larger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpente
r
h
e
lper: f
i
x get_array_ex
p
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
assign
e
d_expr:
s
ave a record when
a
function sets foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Car
p
enter
modifica
t
ion_hooks: handle PARAM_SE
T
ear
l
ier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
ter
.
gitignore:
i
gnore
.
s
m
atch,
.
sma
t
ch
.
sql and
.
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carp
e
nte
r
constraints:
a
dd a c
o
mm
e
nt
,
remove debug c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
c
o
nstraints_r
e
q
uired: s
t
ore more requi
r
ed co
n
strain
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
n
t
er
call_math:
a
d
d kzalloc() to t
h
e list of allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
call_math: preven
t
an endless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
a
l
location_funcs: add __
a
l
loc_skb(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an C
a
rpenter
c
onstraints: fix sele
c
ting the r
e
q
u
ired constr
a
int
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
struct_assig
n
ment:
fix parsing of invalid
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Dan
C
a
rpenter
symbo
l
:
let is_ptr_type() take N
U
L
L pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpenter
co
r
e:
add
N
U
LL checks for parsing invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Ca
r
penter
get_user_overflow: verify that that
it's a
c
ompare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next