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
Dan Carpenter
cor
e
: silen
c
e some false positives from par
s
in
g
inv
a
lid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpent
e
r
implied: us
e
a time base
d
timeo
u
t
instead o
f
counti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan Ca
r
pent
e
r
extra:
h
and
l
e loops like: while (--i >= 0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
function_hooks: f
a
ke an a
s
s
i
g
nment whe
n
func
t
i
o
ns return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
D
an Car
p
ente
r
c
h
ec
k
_free_strict: New stricte
r
cross
fun
c
tion
u
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpent
e
r
ch
e
c
k_
a
tomic_inc_dec:
track
a
tomic_inc() and atom
i
c
_
dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan C
a
rpenter
assigned_expr: handle fa
k
e
a
s
sign
m
ents b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Da
n
Carpenter
assign
e
d_expr: remov
e
debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpe
n
ter
kernel_printf
:
%px is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
D
an Carpent
e
r
s
t
re
e
:
d
ebuggin
g
: pr
i
nt
t
h
e num
b
er
of
s
tat
e
s in __
p
rint_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Da
n
Carpenter
mtag: commit a
l
l mt
a
g r
e
l
a
t
ed code t
o
d
at
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
smdb
.
py: fix so
m
e crashing bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Carpe
n
ter
cont
a
in
e
r_of:
h
andle
function
c
alls li
k
e foo->bar
(
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
an Carpen
t
er
sma
t
c
h: get the smatch bin d
i
r correctly when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
t
e
r
user_d
a
ta2: empty states are not user
d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n C
a
rpente
r
c
o
nstrain
t
s_requir
e
d:
i
mprove handling of
a
ssig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db:
d
on't split by NULL
vs non-NULL when there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
flow:
s
tore
a
b
ackup
of
the start time
w
hen parsin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
helper: ch
a
nge
s
o
m
e
n
ons
e
nse values to oth
e
r nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpente
r
DB: in
t
roduce a timeout handling caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpenter
a
ddress: fix handling of
&
foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carp
e
nter
contstraints: use caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpe
n
ter
const
r
aints:
m
ove
p
rint_re
t
urn_implies_con
s
trained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constraints: cleanup unm
e
t
_const
r
aint
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
cons
t
rain
t
s: fix add_co
n
s
traint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpe
n
ter
m
ta
g
: int
r
odu
c
e crea
t
e_mtag_alias()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n
C
arpenter
mtag: fi
x
g
et_mtag() for reco
r
ded s
t
ates and for arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
Carpente
r
links: no need to r
e
cor
d
links outside 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
D
B info as a
speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Carpenter
string_list: pr
e
vent a use after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpenter
mtag: rename from mtags plur
a
l to
mtag singular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
ter
helper: ke
e
p a small cache of rece
n
tl
y
used
v
ariabl
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: p
a
ss expr
e
ssion pointer to mod/nomo
d
h
ooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra
:
w
r
ite infrastruc
t
u
re to pass expr
to
n
o
_mo
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
penter
db/buil
d
_early_
i
ndex
.
sh: set
up more mtag indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expre
s
sions: initialize ->memb
e
r_offset() in member
_
expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpenter
f
unction_ho
o
ks: set
pat
h
impossible if we c
u
ll every
t
hing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
mtags: remove
t
h
e & pre-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arp
e
nter
scripts/gen_allocation_list
.
sh: add __alloc_
s
kb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
Carpenter
db/fix
u
p_kernel
.
sh:
snprint
f
() retur
n
s aren't really
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
extra: pass the modified
e
x
p
re
s
si
o
n to e
x
tra_mod
_
hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpenter
extra: store values 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 Carpenter
address: don't seg
f
a
u
lt parsing in
v
ali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
ig
n
o
r
e: r
e
-wr
i
te and add
_
e
x
pr() versions of function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
param_se
t
/
f
i
l
ter: PARAM_SET instead of PARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an
Carp
e
n
t
er
par
s
e_ca
l
l_math: use a
s
signed values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
penter
s
v
al: i
m
prove sval_binop_overflows
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
extra: don'
t
modif
y
const
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
address/
t
ype: make some
function
p
arameters
co
n
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struc
t
_
a
s
si
g
nment
:
r
emove an du
p
lica
t
e NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpenter
struct_assignment: don
'
t
double parse ulong assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
ar
p
ente
r
struct
_
as
s
ignmen
t
: fix a NULL dereferenc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db
/
mt
a
gs: add mtag_data and mt
a
g_map tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n Carpe
n
ter
d
b
/f
n
_ptr_data
_
link: d
o
n't
s
tore duplic
a
t
e
records
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Car
p
enter
db
:
allow SQL statements
to
be ru
n
later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpe
n
ter
d
b: introduce
g
et_mtag_n
a
me_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpen
t
e
r
struct_as
s
ignment: h
a
ndle non s
t
ruct, pointer assi
g
nments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpe
n
ter
st
r
uct_assignmen
t
:
f
ix handling of non_struct
_
assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpen
t
er
stru
c
t_assignment: split handle_non_struct_ass
i
gment
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
a
n C
a
rpente
r
index_
o
verfl
o
w: make all
m
essages "erro
r
:
"
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
a
n Carpenter
index_overflow:
s
m
all cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Da
n
Carpenter
index_ove
r
fl
o
w: don't
warn
abo
u
t imposs
i
ble
path
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
mtag
:
intr
o
duc
e
m
e
mory tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
im
p
li
c
ations: s
e
t_st
a
te()
s
h
o
u
l
d trump implicati
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carpenter
buf_comparison: co
p
y the code from smatch_constrai
n
ts
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan
Carpenter
implied:
i
m
p
r
ove t
h
e "t
o
o
ha
i
ry" message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
D
an Carpenter
comparis
o
n:
stor
e
the expressi
o
ns involved (if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Da
n
Carpent
e
r
comparison: r
e
name var1 t
o
left_var
and var2 to righ
t
_var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
D
a
n Carpenter
constraint
s
_
r
equired: detect a bunc
h
of new types
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constr
a
in
t
s: allow funct
i
on constraint
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Da
n
Carp
e
nter
const
r
a
ints: don
'
t
s
tore signed v
s
unsign
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Da
n
C
a
rpenter
kern
e
l_printf
:
don't
s
egf
a
ult o
n
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
user_data: f
i
x compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpe
n
ter
type_val:
us
e
s
match
_
contai
n
er_of
(
) information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
use
r
_
d
ata: this f
i
le
i
s replaced by check_user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpente
r
implied: add
a timeout in smatch_im
p
lied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan C
a
r
p
enter
fl
o
w: delete out of
s
co
p
e
v
ariables for co
m
p
o
und st
a
t
ement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpen
t
e
r
scope: move a chec
k
for STMT_COMPOUND earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
vali
d
ation/sm_casts
.
c
:
update to not use an unintialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
enter
r
e
ver
t
"smatch_type
.
c:
compariso
n
expres
s
ions a
l
ways
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an
C
arpente
r
validati
o
n/sm
_
b
u
f_size6
.
c
:
update
f
or
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an
C
arpente
r
parse: mak
e
a
n
a
rray la
r
g
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpente
r
helper: fi
x
get_array_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
ter
assig
n
ed_expr: save a record w
h
e
n
a
f
u
ncti
o
n s
e
ts foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
modification_ho
o
k
s:
h
andle
P
ARA
M
_S
E
T
e
arli
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpen
t
e
r
.
g
i
t
i
gnor
e
: ignore
.
smatch
,
.
smatch
.
sql
and
.
smat
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
con
s
traints: add a co
m
ment, remov
e
de
b
u
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constraints_r
e
quired
:
sto
r
e more required constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Carpenter
call_math:
a
dd kzalloc() to
t
h
e
list
o
f allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
penter
call_math: prev
e
nt an endless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpe
n
ter
allocation_funcs:
add _
_
alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpenter
c
o
nst
r
a
i
nts:
f
i
x se
l
ecting the
require
d
con
s
t
r
aint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
check_kernel_printf
.
c: w
a
rn about "%lx", (long)ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
smatch_ty
p
e
.
c: comp
a
ri
s
on expressions always have type int
commit
|
commitdiff
|
tree
2017-10-30
R
asmus Villemoes
s
m
atch_type
.
c: fix type of po
i
n
t
er d
i
ff
commit
|
commitdiff
|
tree
2017-10-27
D
a
n Ca
r
penter
stru
c
t_assignment
:
f
i
x parsi
n
g of invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Dan C
a
rp
e
nter
symbo
l
: let i
s
_ptr_type() take NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Ca
r
penter
core: add
N
U
LL checks for
parsing
inv
a
lid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpe
n
ter
get_
u
s
er_overflow: verify that that
it's a
c
ompare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Vill
e
moes
chec
k
_ker
n
el_prin
t
f
.
c: ch
e
ck %
p
OF
a
rgu
m
ent is st
r
uct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next