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
core: silence some false positives from parsing invalid code
2018-01-25
Da
n
Carp
e
nter
core: silence some f
a
l
se pos
i
tives from parsing invali
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpente
r
i
mp
l
ied: use a tim
e
based time
o
ut instead of coun
t
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Ca
r
pent
e
r
ex
t
ra: handle loops like
:
while (--i >= 0)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
D
a
n
Carpe
n
t
er
function_h
o
oks: fake
a
n assi
g
nment when functions re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan
Ca
r
penter
c
h
eck_free_strict: New stricter cross function use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
check_atom
i
c_inc_dec:
t
r
ack
a
tomi
c
_inc() and
a
tomic_
d
e
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned_expr: handle fake assignments
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned_expr:
remove de
b
ug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carp
e
nter
kernel_print
f
: %px i
s
valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpen
t
er
stree: debugging: pr
i
nt the number of states in __print_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mt
a
g
: c
o
m
m
i
t all mtag relate
d
code to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpe
n
ter
sm
d
b
.
py: fix
some crashing
b
ugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carp
e
nt
e
r
contai
n
er_of: handle fu
n
c
t
io
n
ca
l
ls
li
k
e foo
-
>bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
a
r
pent
e
r
smatch: get th
e
smatch bin
di
r
cor
r
ectly when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpenter
user_data2: empty st
a
t
es are
n
o
t
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
c
o
nstr
a
ints_required: imp
r
ove handling of assigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db: don't
split by
NULL
v
s non-NU
L
L
w
hen there
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
f
low: store a backup of the start
t
ime
when
p
arsin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
he
l
per: change some nonsen
s
e values to other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
DB:
int
r
oduc
e
a t
i
meout han
d
ling cal
l
e
r
i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
address:
fix h
a
nd
l
ing of &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
c
o
ntstra
i
nts: us
e
c
a
ll
e
r
i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carp
e
n
t
er
constraints:
mov
e
p
r
int
_
ret
u
rn_implies_cons
t
rai
n
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
ente
r
co
n
straints: cleanup unmet
_
con
s
traint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
ter
c
o
ns
t
raints: fix
a
dd_constraint(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Ca
r
penter
mt
a
g: introduce
c
reate_mtag
_
alias()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
m
t
a
g: fix ge
t
_mta
g
() for recorded states and
f
or arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpen
t
er
links: no need to record links ou
t
s
ide a
funct
i
on call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
type_val: cache DB i
n
fo as a spee
d
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Ca
r
penter
string_list: prevent a use
a
fter free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpenter
m
t
ag: rename
from mtags pl
u
r
al to mtag
s
i
n
g
ular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpen
t
er
helper
:
ke
e
p a small c
a
che o
f
rec
e
ntly
u
sed v
a
riable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
extra: pass exp
r
ession pointer to mo
d
/n
o
m
o
d hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
ex
t
ra: write infrastruct
u
re to pass expr to
no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/bu
i
ld_earl
y
_i
n
dex
.
sh: set up
mo
r
e mtag
i
ndexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
expre
s
sions: ini
t
i
ali
z
e ->member_offs
e
t() in member_
e
xpression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
fu
n
ction_hooks: set p
a
th impos
s
i
ble if
we
cull everything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
e
n
t
e
r
mtags: remove
t
h
e
& pre-
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n C
a
r
pente
r
scri
p
ts/gen_allocation_list
.
sh: add __allo
c
_
skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
db/fixup_k
e
rnel
.
s
h: snprintf() returns aren't rea
l
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
extra: pass the modified expressio
n
t
o
extra_mod_hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
ent
e
r
extra:
store
values f
o
r expressions
lik
e
"foo[3]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
pe
n
t
e
r
add
r
ess:
don't segfault p
a
r
sing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
ignore
:
re-write and add _expr() ver
s
ions of functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpen
t
er
param_set/filter:
P
ARAM_SET
i
nstead
o
f
PARAM_A
D
D
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
parse_ca
l
l_m
a
th: use assigned values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Ca
r
pe
n
ter
sval: imp
r
o
ve sval_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
extra: don't modify const paramete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n C
a
rpenter
address/type: make s
o
me function
p
arameters const
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpe
n
ter
stru
c
t_assignment: remo
v
e an duplicate NUL
L
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpenter
s
t
ruct_
a
ssignm
e
n
t
: don't do
u
ble pars
e
ulong assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
stru
c
t_assig
n
ment:
f
ix
a NULL d
e
ref
e
r
e
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
e
n
ter
db/mtags:
ad
d
mtag_data
a
n
d
m
t
ag_map tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/fn
_
p
tr_
d
ata_
l
ink: don't store duplicate
r
ecords
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
nte
r
db: allow SQL
s
tate
m
ent
s
to be run later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
a
rpenter
db: introduce get_
m
ta
g
_name_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
nter
struct_a
s
sig
n
ment
:
han
d
le non struct, pointer assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struc
t
_assignment:
fix
h
andling of non_struct
_
as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpen
t
er
struct_assignm
e
nt: s
p
lit handle_n
o
n_str
u
ct_assigments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan
C
arpenter
index_over
f
low:
m
ake all messages "error:" instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
ind
e
x_overflow: small
c
leanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan
Carpente
r
in
d
e
x_overflow: don't warn abo
u
t
imp
o
ssible pat
h
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpente
r
mtag: introduc
e
m
emory ta
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
implications: set_state() shou
l
d t
r
ump
i
m
plica
t
io
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carp
e
nter
buf_comparison:
co
p
y the co
d
e from smatch_const
r
aints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
D
an Carpenter
implied: imp
r
o
ve t
h
e "too hairy" message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
D
a
n Carpenter
comparison: store the expressions involved
(
if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan
C
arpente
r
compari
s
on: rename var1 t
o
left_va
r
a
nd var2 to right_var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
co
n
s
trai
n
t
s_required:
d
e
t
ect a bunch of new types
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
c
onst
r
aints: allo
w
fu
n
ction c
o
nstraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Da
n
Carpent
e
r
c
o
n
straints:
don't st
o
re
s
igned vs unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Dan Carpent
e
r
kernel_printf:
don't segfault
o
n invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
D
a
n Carpenter
u
s
er_data:
fi
x
compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
type_v
a
l
:
use smat
c
h_c
o
ntainer_of() information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Ca
r
p
e
nter
u
s
e
r
_
data: this file is replaced by che
c
k_user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
D
a
n
C
a
r
p
enter
implied: add a t
i
meout in smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
fl
o
w
: delete out of s
c
ope v
a
riab
l
e
s f
o
r compound st
a
teme
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
s
c
ope:
m
o
ve a check fo
r
STMT_COMPOUND earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
er
validation/sm_casts
.
c: update to not us
e
a
n
unintialize
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
ent
e
r
r
e
vert "sma
t
c
h_type
.
c: comparison
e
xpressions always
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
penter
validation/
s
m_buf_si
z
e6
.
c: update format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
enter
parse: make an array larger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpe
n
ter
helper: fix get_array_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
assigned_e
x
pr
:
save
a record wh
e
n a
fu
n
ction se
t
s foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
modifica
t
ion_hooks
:
handle PARAM_
S
ET ea
r
l
ie
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
.
g
itignore: ignore
.
smatch,
.
smatch
.
sq
l
and
.
smatc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carp
e
nter
constra
i
nts: add a c
o
mme
n
t, r
e
m
o
v
e
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constr
a
i
n
ts
_
require
d
: s
t
ore more required
co
n
straints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
cal
l
_ma
t
h: add kzalloc() to the l
i
st
o
f allo
c
ation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
ter
call_math: prevent
a
n endles
s
loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
ar
p
enter
alloca
t
ion_fun
c
s:
a
dd __alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constrai
n
ts
:
fix selecting t
h
e r
e
quired
c
onstraint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
R
a
smus Villemoes
check_ke
r
ne
l
_
prin
t
f
.
c: war
n
about "%lx", (long)ptr
commit
|
commitdiff
|
tree
2017-10-30
R
asmus
V
illemoes
sma
t
c
h
_type
.
c: comparison ex
p
res
s
ions always h
a
v
e
t
y
p
e
i
nt
commit
|
commitdiff
|
tree
2017-10-30
Ra
s
mus Villemoes
smat
c
h_type
.
c: fix type of pointer diff
commit
|
commitdiff
|
tree
2017-10-27
Dan Ca
r
penter
s
truct_assignment: fix pars
i
ng of invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Dan Carp
e
n
ter
symbol: let is
_
ptr_ty
p
e() take NULL pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan C
a
r
p
enter
core: a
d
d
NUL
L
che
c
ks for parsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
D
an C
a
rpenter
get_
u
ser_ov
e
r
flow: verify
t
hat th
a
t it's a
c
omp
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Ras
m
us Villemoes
check_kernel_
p
rintf
.
c: chec
k
%pOF argume
n
t is s
t
ruct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next