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
type_val: record fewer "unknown" assignments
2018-01-25
D
a
n Carpenter
t
y
pe_val: record fe
w
er "unknown" assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
flow: set loop_count
t
o
zero whe
n
parsing inline fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
a
rpenter
core: silence some f
a
lse p
o
s
i
t
ives fro
m
pars
i
ng invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpente
r
im
p
lied: use
a tim
e
based timeout instead of counting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Car
p
enter
extra: h
a
ndle loops like: while (--i >= 0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan C
a
rpenter
function_
h
ooks: fake an
assign
m
ent when functions
r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
D
an Carpenter
c
heck_free_strict: New s
t
ricte
r
cross
f
unction use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
D
a
n Carpent
e
r
ch
e
ck_a
t
omi
c
_inc_dec: track atomic_inc() and atomic_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Carpenter
as
s
igned_expr: hand
l
e fake
a
s
s
ignments
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Da
n
Carpenter
assigned_e
x
pr:
r
emove debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Da
n
Carpenter
kernel
_
pr
i
ntf: %px is val
i
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpe
n
ter
stree: d
e
bugging: print the number of states
in __print
_
stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
arpenter
m
t
ag: commit all mtag related co
d
e to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Da
n
C
a
rpe
n
ter
smdb
.
py: fix som
e
crashing bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
c
o
ntainer
_
of: handl
e
function calls l
i
ke foo->bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
s
match: get the smatch bi
n
dir
correctly whe
n
i
t's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpenter
u
s
e
r
_data2: emp
t
y
s
tates are not
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpenter
constraints
_
required:
i
mprove handling of as
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpent
e
r
db:
don't split by
N
U
LL vs non-
N
ULL when there
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpen
t
er
flow: st
o
re a b
a
ckup of
t
h
e
sta
r
t
time
w
h
en parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an C
a
rpenter
helper:
c
h
a
nge som
e
nonsen
s
e values to other nonse
n
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
DB: introdu
c
e
a
t
imeout ha
n
dling ca
l
ler info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carpenter
address: fix handling
o
f &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
contstraints: use ca
l
l
er info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Ca
r
penter
c
o
nst
r
aints: move
p
rint_return_implies_constrained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpenter
constraints:
cleanup unm
e
t_co
n
straint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constraint
s
: fix
a
dd_
c
onst
r
aint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carp
e
nter
mtag
:
introduce cr
e
a
te
_
m
t
a
g
_a
l
ia
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Carpenter
mta
g
: fix ge
t
_mtag()
for recorded state
s
and for arr
a
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
links: no n
e
ed to record link
s
outsid
e
a function cal
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
t
ype_val: cache DB info as
a spee
d
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
string_
l
ist
:
prevent a
u
se afte
r
f
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan C
a
rpent
e
r
mtag:
rename fr
o
m mtags
plural to mtag singular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
a
r
p
enter
helper: keep a small cache of recently used variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
extra
:
p
a
ss
exp
r
ession po
i
nte
r
to m
o
d/no
m
od hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
ex
t
ra: wr
i
te infrast
r
ucture to pass expr
to no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpen
t
e
r
db/bui
l
d
_
early_index
.
sh
:
set up
mor
e
mtag i
n
dex
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
e
x
p
ress
i
ons: initialize ->member_offset()
i
n member_
e
xpression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Car
p
enter
function_hooks: set path impossib
l
e if we cull
e
veryth
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
m
tags: remove the &
p
re-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
scrip
t
s/gen_all
o
c
atio
n
_l
i
st
.
sh:
a
dd __
a
lloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/
f
i
x
up_kernel
.
sh: snp
r
intf()
retur
n
s
a
re
n
't
r
e
a
lly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
penter
extra: pa
s
s the mo
d
ified expres
s
io
n
to e
x
tra_mod_hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra
:
s
t
o
re va
l
ues fo
r
e
x
pressio
n
s like "foo[
3
]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpen
t
er
add
r
e
ss: don't
segfault
parsing inv
a
l
id code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
ignore: re-write a
n
d add _expr()
vers
i
o
n
s of functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
p
ara
m
_
s
e
t/fi
l
t
e
r:
P
ARAM_S
E
T instead of PARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpenter
p
a
rse_call_math: use ass
i
g
n
ed values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
sval: improve sval_b
i
nop_ov
e
r
f
lows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
extra:
don
'
t mo
d
i
f
y const parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
address/type: make some functi
o
n parameters
c
ons
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assignment
:
remov
e
an duplicate NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assignment:
d
on't double parse ulong assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
struct_assignm
e
nt
:
fix
a NULL
d
eref
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpent
e
r
db/mtags: add mtag_data and mta
g
_map tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/fn
_
ptr_data_link:
d
on't store d
u
p
l
icate recor
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
C
a
rpen
t
er
db: allow SQL
s
t
atements to be run later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
d
b:
in
t
r
oduc
e
ge
t
_mtag_name_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_as
s
ignment:
h
an
d
le non
s
truct, poin
t
er
a
ss
i
gnments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_
a
ssignment:
f
i
x handl
i
ng of non_struc
t
_assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_assi
g
n
me
n
t: split handl
e
_non_struct_assigments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Da
n
Carpenter
index
_
overfl
o
w: ma
k
e
all message
s
"e
r
ror:"
instea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Car
p
enter
index_overflow: s
m
all cle
a
nu
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpe
n
ter
in
d
ex_overflow:
d
on't warn
ab
o
ut impos
s
ib
l
e paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
mtag: introduce memory tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carp
e
nter
implications: se
t
_sta
t
e(
)
should trump implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carpenter
buf_comparison: copy th
e
code from sm
a
tch_con
s
train
t
s
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpent
e
r
impli
e
d
: impr
o
ve the
"
to
o
hairy" m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpenter
compar
i
s
o
n: store the e
x
pressions
involv
e
d (if i
t
's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Da
n
C
a
rpenter
compa
r
iso
n
:
r
ename var1
to lef
t
_
v
ar and var2 to right_var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Ca
r
p
e
nter
constraints_required: detect
a bunch of
n
ew types of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
D
a
n Carpe
n
t
e
r
c
o
nst
r
aints: a
l
low function co
n
strain
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
D
a
n Carpenter
constr
a
ints:
d
on't store signed vs unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Dan Carpenter
k
e
rne
l
_
p
rintf
:
don't segfault
o
n invalid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
user_dat
a
:
fix comp
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Car
p
ent
e
r
type_val: use smatch_contai
n
er_
o
f()
info
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
D
an
C
arpe
n
ter
user_data:
t
his file is replaced by check_user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
implied: add a ti
m
eout in smatch_
i
mp
l
ied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpent
e
r
fl
o
w: dele
t
e out
o
f scope
v
ari
a
b
l
es for compound statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpe
n
ter
scope: move a check f
o
r STMT_
C
OMP
O
UND ea
r
lier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
v
alidati
o
n/sm_casts
.
c
: update to
n
ot use an unintial
i
zed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
revert
"smatch_type
.
c: com
p
arison express
i
ons always
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
validatio
n
/sm_bu
f
_s
i
ze6
.
c
: update
forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpent
e
r
par
s
e: m
a
ke an a
r
ray larger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
helper:
fix get_arr
a
y_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Ca
r
penter
ass
i
gned_expr: sa
v
e a record when a function sets
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
m
odification_ho
o
k
s
:
h
a
n
d
le PARAM_SET ea
r
lier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
.
giti
g
n
ore:
i
gnore
.
smatch,
.
smatch
.
sql and
.
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
constr
a
ints: add a comment, remov
e
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
constraints_required: s
t
ore more require
d
con
s
traints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
ar
p
enter
call_math: add kzalloc
(
)
t
o
the list of allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
ca
l
l_
m
ath: prevent
a
n endless lo
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
a
rpe
n
t
er
a
llocation
_
func
s
: add __alloc_s
k
b()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
constrain
t
s: fix se
l
ecting the required constrain
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
R
asmus Villemoes
check_kernel_
p
rint
f
.
c: warn about "%
l
x", (
l
ong)ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
smatch_type
.
c: comp
a
rison
expressions always have type i
n
t
commit
|
commitdiff
|
tree
2017-10-30
Rasmus V
i
l
l
emoes
smatch_type
.
c:
fix t
y
p
e
of point
e
r
diff
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
st
r
uct_assignment: fix parsing of inv
a
l
id code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
symbol: let is_ptr
_
type
(
) take
N
ULL p
o
in
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Ca
r
pe
n
ter
co
r
e: add NULL chec
k
s for pa
r
si
n
g invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next