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
flow: set loop_count to zero when parsing inline functions
2018-01-25
Dan Ca
r
pente
r
flow:
set loop_c
o
unt to zer
o
when p
a
rsing in
l
i
n
e
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpent
e
r
core: silence some false positives
f
rom parsing inval
i
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
imp
l
ied: us
e
a
t
im
e
b
a
sed
timeou
t
i
n
stead of cou
n
t
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
extra
:
ha
n
d
le lo
o
p
s like
:
while (--i
>
= 0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
fun
c
t
i
on_ho
o
ks
:
fake an assignment when functions return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Ca
r
penter
ch
e
ck_free_strict: New stricter cross function
use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
C
arpenter
check_a
t
o
mic_inc_dec: trac
k
atomic_inc(
)
and atomic_dec(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
a
s
si
g
n
e
d_expr: handle fa
k
e assignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpent
e
r
assigned_expr: re
m
ov
e
debug
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carp
e
nter
kernel_printf: %px is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
D
a
n Carpenter
stree: d
e
bugging: p
r
int
the number of states
i
n __print_
s
tree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan C
a
rpenter
mtag: comm
i
t
al
l
mtag rel
a
ted code to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
smdb
.
py: fi
x
some crashing bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
container_of: handle function
ca
l
ls lik
e
foo->b
a
r(f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
smatch: ge
t
th
e
smatch bin dir correctl
y
when
it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpente
r
u
s
er_
d
ata2: empt
y
state
s
are
not user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
cons
t
raints_
r
equired: improve handling o
f
a
ssigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
C
ar
p
enter
db: don't s
p
l
it by
NULL vs non-
N
ULL when there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpenter
flow: store a bac
k
up of the start time when
p
a
rsi
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
ter
helpe
r
: change
s
ome
n
onsense values t
o
other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carp
e
nter
D
B: introd
u
ce a timeout hand
l
ing ca
l
ler info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
ad
d
r
e
ss: fi
x
h
a
ndling of &fo
o
->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Car
p
enter
conts
t
raints: use caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpente
r
const
r
aints: mo
v
e print_re
t
urn_implies_constra
i
n
e
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
r
p
enter
constraints: c
l
ea
n
up unm
e
t_constraint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
c
onstraints: fi
x
add_constraint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Da
n
Carp
e
nter
m
tag: introd
u
ce
create_
m
tag_ali
a
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
Carpent
e
r
mtag: fix get_mtag() for re
c
orded states and for ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
l
i
nks: no need to recor
d
links outside a function c
a
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
type_val:
c
ache DB i
n
fo as a
s
peed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n
C
arpenter
s
t
ring_list:
pre
v
en
t
a use after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
D
a
n
Ca
r
penter
mtag: rename fro
m
mt
a
gs
p
lural t
o
mtag singular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
Carpenter
helpe
r
:
keep a sma
l
l cache of recently use
d
variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
ex
t
ra: pass expression poin
t
er to mod/
n
omod hoo
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpent
e
r
extra: write infrastructure to pass e
x
pr to no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
d
b/b
u
ild_early
_
i
n
dex
.
sh:
se
t
u
p m
o
re mtag indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpenter
expres
s
ions: initia
l
ize -
>
m
e
m
b
er_offset() in me
m
ber_expre
s
si
o
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
functi
o
n_hooks: set path impossibl
e
if we c
u
l
l
ev
e
ryt
h
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
Carpenter
mt
a
g
s
: remove
the
& pre-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpente
r
s
cr
i
pts/ge
n
_
a
l
l
o
catio
n
_list
.
sh: add __alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpenter
db/fixup_kernel
.
sh: snprintf()
re
t
urns
aren't really
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Ca
r
pen
t
er
extra
:
pass th
e
modified expression to
extra_mod_hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: store v
a
lues for expressions
lik
e
"foo[3]
.
b
a
r
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
p
enter
a
ddr
e
s
s: don'
t
segfau
l
t parsing
i
n
v
alid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
igno
r
e
:
re-wr
i
te an
d
add
_
expr
(
) versions of functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
Carpenter
par
a
m
_
set/filter
:
PARAM_SET instead
o
f
PARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
parse_call_math: use assigned va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
s
v
a
l:
impro
v
e sva
l
_binop_o
v
erflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
extra
:
d
o
n't modify const
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
pent
e
r
a
d
dres
s
/type: make some function parameter
s
c
onst
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assignment:
remove an duplicate N
U
L
L
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Ca
r
penter
s
truct_as
s
ign
m
ent: don't dou
b
le
p
a
r
se ulong assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
n
t
er
str
u
ct_a
s
sign
m
ent: fi
x
a NUL
L
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/mtag
s
: add
mtag_data a
n
d mtag_map tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/fn_p
t
r_dat
a
_link: do
n
't store duplicate records
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
Carpenter
db: allow SQL
s
tatements to be r
u
n
l
ater
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpenter
db:
intro
d
uce ge
t
_mtag
_
name_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpenter
s
t
ruct_assignment:
handle
n
on stru
c
t,
p
ointer
assi
g
nments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arpente
r
stru
c
t
_assignment: fix han
d
ling of non_struct_assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
rpenter
stru
c
t_assignment:
s
plit handle
_
non_struc
t
_as
s
igments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpe
n
ter
index
_
o
ver
f
low: make all messages "error:" inst
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index_overflow: smal
l
c
leanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index_overflow: don't
warn
abo
u
t
i
mpos
s
ible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
m
t
ag: i
n
troduce memory tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Ca
r
p
enter
i
m
p
lic
a
tions: set_
s
tate() sh
o
uld trump implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carpent
e
r
buf_comp
a
ri
s
on: co
p
y the code f
r
o
m
smatch_c
o
nstraints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpent
e
r
i
mplied: improve the "too ha
i
ry
"
messag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpente
r
comparison: store the
expre
s
sions invo
l
ve
d
(if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
D
a
n Ca
r
penter
c
o
mp
a
riso
n
: rename var
1
to
l
ef
t
_
v
a
r and var2
t
o
righ
t
_va
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carp
e
nter
con
s
trai
n
t
s_requi
r
ed
:
d
etect a bunch of new types of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constr
a
ints: allow functi
o
n
c
o
n
straints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constraints: don't store signe
d
vs unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
D
a
n Ca
r
penter
k
ernel_printf: don't segfau
l
t on invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carp
e
nter
user_data: fi
x
co
m
pile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Car
p
enter
type_
v
al: use smatch_
c
on
t
a
iner_of() i
n
formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Ca
r
penter
user_da
t
a: this file i
s
rep
l
ac
e
d by c
h
eck
_
user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
D
a
n Carpe
n
ter
implied: add a time
o
u
t
in
s
m
atch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan
C
arpente
r
flo
w
: delet
e
out of
scope v
a
riables fo
r
compound
statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
scop
e
: move a check for STMT_COMPOUND earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpent
e
r
validation/sm_casts
.
c:
update to not use an u
n
intialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpenter
revert "smatch_type
.
c: comparison expressions
always
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
validation/sm_buf_s
i
ze6
.
c:
update form
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carp
e
n
t
e
r
par
s
e: make
a
n
array
l
arger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
helper:
fix get_array_expr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
assigned_expr:
s
ave a r
e
cord when a fu
n
ction sets fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
modifi
c
at
i
on_hook
s
: h
a
n
dle PARAM_S
E
T earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
.
giti
g
nore: ignore
.
s
match,
.
smat
c
h
.
sql and
.
sm
a
tch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpen
t
er
constraints:
a
dd a comment, remove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpen
t
er
constraints
_
required: store more requi
r
ed const
r
a
int
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
ente
r
ca
l
l
_math: add kzalloc
(
) to th
e
list o
f
a
l
l
o
cation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
C
a
rpenter
call_math: p
r
event
an endl
e
ss loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpente
r
allocation_f
u
n
cs: add
__alloc_s
k
b(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
c
o
nstraints: fix
selecti
n
g the
required constrain
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
R
a
s
m
us
V
illemoes
che
c
k_kern
e
l
_
pr
i
n
t
f
.
c:
w
arn ab
o
ut
"
%l
x
",
(lo
n
g)ptr
commit
|
commitdiff
|
tree
2017-10-30
R
asmus Villemoes
smat
c
h_type
.
c
:
comparison expressio
n
s always have type int
commit
|
commitdiff
|
tree
2017-10-30
R
as
m
u
s Villemoes
smatc
h
_t
y
pe
.
c: fix type of
p
ointer diff
commit
|
commitdiff
|
tree
2017-10-27
Dan Carp
e
nter
st
r
uct_a
s
signment: fix parsing of
invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
sy
m
b
ol
:
let is_ptr_type() take NULL
poi
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpente
r
core:
a
dd NULL checks for
parsing inva
l
id
c
od
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpenter
g
et_user_ov
e
rflow: verify
t
hat t
h
at it's a
c
ompare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next