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: don't fake an impossible default
2018-01-25
Dan Carpenter
f
low: don't fak
e
a
n impossible
de
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
t
ype_va
l
: record
fewer "unkno
w
n" assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
an Carpente
r
flow: se
t
loop_
c
ount to zero when parsing inline fu
n
ction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
Carpenter
c
o
re:
s
ile
n
ce some
false
p
ositiv
e
s from parsing invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
imp
l
ied: use a time
b
ased
t
imeout instead of counti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Carpenter
extra: handle loops like:
w
hile (--i >= 0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan
Carpenter
functio
n
_ho
o
ks: fake an assignment whe
n
functions return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
check_free_s
t
r
i
c
t: New
s
t
r
icter cross funct
i
on use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
D
an Carpenter
check_atomic_inc_
d
e
c
:
track atomic_inc
(
) and atomic_dec
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
C
arpen
t
er
a
s
signed_ex
p
r: handle fake assi
g
nmen
t
s b
e
t
te
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Carpenter
a
s
s
i
gned_exp
r
: remove debug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan C
a
rpenter
kernel_pri
n
tf: %p
x
is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
stree
:
d
eb
u
gging:
p
rint the
number of st
a
tes in __print_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
Carpente
r
mtag: commit
all mtag related cod
e
to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpen
t
e
r
smdb
.
p
y:
f
i
x some crashin
g
bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
containe
r
_of:
handle function calls
l
ike
f
o
o
->bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
Carpen
t
er
smat
c
h:
g
e
t
the sma
t
ch bin
d
ir cor
r
ectly when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpe
n
ter
user_data2: empty states
a
re not user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpente
r
const
r
a
ints_r
e
quir
e
d
:
imp
r
o
ve handli
n
g of assi
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
d
b: don't sp
l
i
t
b
y
NULL
v
s no
n
-NULL
when there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carpenter
flow: store a backup of the start ti
m
e when parsin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
ter
helper: change so
m
e nonsen
s
e values to ot
h
er n
o
nsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Ca
r
pen
t
er
DB:
i
n
t
r
o
d
uce a ti
m
eout handlin
g
call
e
r
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
enter
addres
s
: fix handling
o
f &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpen
t
er
contstraints:
use caller
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n C
a
r
pent
e
r
constraints: move print_ret
u
rn_implies_
c
o
nstrained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
co
n
s
t
r
ai
n
ts: cleanup
unm
e
t_const
r
aint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
con
s
tra
i
nts: fix add_
c
onstraint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan C
a
rpenter
mtag: introduce
c
reate_mtag_ali
a
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpent
e
r
m
t
ag:
f
ix get_mtag() for reco
r
ded states and for array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
an Carpen
t
er
links: no need
t
o record links
outside
a
functio
n
c
all
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan C
a
rpenter
type_val: cac
h
e DB info a
s
a
s
peed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n Carpente
r
string_list: prevent a use af
t
er free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Da
n
C
a
rpe
n
ter
m
ta
g
: ren
a
me from mtags p
l
ural
t
o mtag singu
l
ar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
helper: keep a small cache of r
e
ce
n
t
ly used variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arp
e
n
t
er
extra: pass expression po
i
nter to
mod/nomod hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpenter
e
x
t
r
a
:
w
r
i
te infrastructure to pass expr to no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
db/build_earl
y
_index
.
sh: se
t
up mo
r
e m
t
ag indexe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expre
s
sion
s
:
initialize ->m
e
m
b
er_offset() in me
m
ber_e
x
pression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
en
t
e
r
function_hooks: set path
i
mpossible if we cull e
v
ery
t
hing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
mtags
:
remo
v
e the & pre-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
scripts
/
gen_a
l
location_l
i
st
.
sh:
a
dd __alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/fixup_kernel
.
sh: snprintf() returns aren't
r
eally
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
enter
extra: pass the
mod
i
fied expr
e
ss
i
on to extra_mod_hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpe
n
ter
extra: store
v
alues f
o
r expressions like "f
o
o[3]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
ent
e
r
addr
e
s
s:
d
o
n't
seg
f
ault parsing in
v
alid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
ignore: r
e
-write and add _expr() vers
i
ons of
functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
pa
r
am_set/filter:
P
ARAM
_
S
E
T inste
a
d of PARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpenter
parse_call_math: use assigned values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpenter
sval: improve sval_binop_overf
l
ows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
a
rp
e
n
ter
ext
r
a: don
'
t modif
y
cons
t
para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
address
/
t
y
pe: make some
functi
o
n
p
arameters cons
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assignment: re
m
ove an duplicate NUL
L
c
he
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
s
truct_assignmen
t
: don't do
u
ble
p
arse
u
long
a
ssignm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpenter
struct_a
s
signment:
fix a NULL deref
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
pen
t
er
db/m
t
ags: ad
d
mt
a
g_data and m
t
a
g
_map
t
ables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
an Carpenter
db/
f
n_
p
tr_data_l
i
nk:
d
o
n
'
t
s
tore
d
uplicate records
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
an Carpenter
db: allow SQ
L
stateme
n
ts to be
run la
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db
:
int
r
od
u
c
e get_mtag_na
m
e_e
x
p
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Car
p
enter
s
t
r
u
c
t_assignment:
handle non str
u
ct, pointer
a
ssignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
r
penter
struc
t
_
assign
m
en
t
: fix hand
l
ing of non_struc
t
_
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arpent
e
r
struct_assignment:
sp
l
it handle_non_struct_assigm
e
n
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
in
d
e
x_overflow: make all messages "error:" in
s
tead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpen
t
er
index
_
overflow:
s
mall cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
a
n Car
p
enter
index_ov
e
rflow:
don't warn about impossibl
e
paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
D
a
n
Carpenter
mta
g
: introduce memory ta
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpen
t
er
i
m
p
lications: set
_
s
tate()
s
hould trump i
m
plic
a
t
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
D
an
Carpenter
b
u
f_comparison
:
c
o
py th
e
code fr
o
m
smatch_constraints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpenter
im
p
lied
:
improve the "too hai
r
y
"
m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan
C
a
rpe
n
t
er
c
ompa
r
is
o
n:
st
o
re the ex
p
ressions involve
d
(i
f
it'
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan
Carpenter
comparison:
renam
e
var1 to left_var an
d
var2 to right_
v
ar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constraints_required: detect a bu
n
ch of new types of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan
Carpenter
constraints:
al
l
ow fun
c
tion
c
onstr
a
ints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carp
e
n
t
er
constraints: don
'
t sto
r
e signed vs unsi
g
ned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Dan Carpenter
kernel_printf:
don't
s
egfault on
i
n
v
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
us
e
r_d
a
t
a
: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
type_val
:
use s
m
atch_containe
r
_of() informatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Car
p
enter
u
ser_data
:
this file is replaced by
c
heck_user_da
t
a
2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpente
r
implied: add a ti
m
eou
t
in smat
c
h_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
flow: delete out of s
c
ope va
r
iables
for compou
n
d statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
sco
p
e: move a check for
S
TMT_C
O
M
POUND ear
l
ier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
v
a
lidat
i
on/s
m
_ca
s
ts
.
c
:
u
p
date to n
o
t use a
n
un
i
nt
i
alized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpente
r
revert
"
smatch_
t
y
p
e
.
c
:
comparison expres
s
ions a
l
ways
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
vali
d
ation/sm
_
buf_si
z
e6
.
c:
update f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Carpenter
pars
e
: make a
n
array larg
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
he
l
per
:
fix get_array_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
er
a
ssigned_expr: save
a record when a f
u
nct
i
on
s
ets foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
pente
r
modification_hooks: handl
e
PA
R
AM_SE
T
earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
C
a
rpenter
.
giti
g
nore: ignore
.
smat
c
h,
.
smatch
.
s
q
l a
n
d
.
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Ca
r
pe
n
ter
constraints: add a c
o
m
ment, remove
d
ebug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constraints_required: s
t
o
r
e more required
cons
t
raints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
call_math:
a
d
d
k
zalloc() to
t
he
list
o
f allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
call_math:
p
r
e
vent an
e
n
dless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpent
e
r
alloca
t
ion_funcs: add __al
l
o
c
_skb
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
C
a
rpenter
co
n
straints: fix selecting the requir
e
d constraint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
Ra
s
mus Ville
m
oes
c
h
e
c
k
_
kernel_pr
i
ntf
.
c: warn about "%lx
"
, (long
)
ptr
commit
|
commitdiff
|
tree
2017-10-30
R
a
sm
u
s Villemoes
smatch
_
type
.
c: comparison expressions always have
type int
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
sma
t
ch_type
.
c: fix type of pointer
d
iff
commit
|
commitdiff
|
tree
2017-10-27
Dan
C
a
rpenter
struct_ass
i
gnment: fi
x
par
s
ing of invalid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Da
n
C
a
rpenter
s
ymbol: let is_ptr_type() take NULL p
o
i
n
t
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next