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
assigned_expr: remove debug code
2018-01-17
Dan Carpenter
assigned_ex
p
r: remove d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Da
n
Carpen
t
er
kern
e
l_printf
:
%
px is vali
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carp
e
n
t
e
r
str
e
e: debugging:
pri
n
t the number of states i
n
__p
r
int_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mta
g
:
c
o
mmit all mtag r
e
lated
c
ode 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
crashi
n
g bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
container_of: ha
n
d
l
e function calls
l
ike
f
oo->
b
ar
(
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
sm
a
tch
:
get
t
h
e
smat
c
h bin
d
ir correctly
w
hen it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
user_dat
a
2: empty states are not user
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpen
t
er
constraints_required: improve han
d
l
ing of assig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
p
ente
r
db: do
n
'
t
split by NULL vs non-N
U
L
L when there
a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpenter
fl
o
w:
s
tore a backup of the start time when parsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carp
e
nte
r
helper: c
h
ang
e
some nonsense values to
o
t
h
er no
n
sense
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
C
a
r
pent
e
r
DB
:
in
t
ro
d
uce
a
timeout handling caller
i
nfo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpen
t
e
r
address: fix han
d
ling of &foo->bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpent
e
r
contstraint
s
: use caller
i
nfo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpenter
con
s
traint
s
: move print_return_implies_cons
t
rained()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpent
e
r
c
onstraints: cleanup
u
n
met_
c
on
s
traint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carp
e
n
ter
const
r
aints: fix add_
c
onstraint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
D
an C
a
rpenter
mtag: introduce create_
m
t
a
g_a
l
ias()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpente
r
m
tag:
fix get_mtag() for recorded
states a
n
d
fo
r
arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
l
i
nks
:
no ne
e
d to re
c
ord
l
i
nks out
s
ide
a
function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
t
y
p
e
_val: cache D
B
info as a speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
string_lis
t
:
p
revent a
u
se after free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpe
n
ter
mtag: rename from mta
g
s plural to mtag singu
l
ar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
helper: keep a small cache of recentl
y
used variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carp
e
n
t
e
r
e
x
t
ra:
p
ass expressi
o
n pointer to
mod/nomod hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpe
n
ter
extra: write infrastructure t
o
pass expr to no_mod
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db
/
build_
e
arl
y
_ind
e
x
.
sh: set up
m
or
e
mtag indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expressions: i
n
itialize ->membe
r
_offs
e
t(
)
i
n
m
e
m
ber_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
f
u
nction_hooks: s
e
t path impossibl
e
i
f
we cull everything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
r
p
en
t
e
r
m
t
ags:
remove the &
p
r
e-
o
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpe
n
ter
scrip
t
s
/
g
e
n_al
l
ocation_list
.
s
h
:
ad
d
__alloc_skb()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
e
nter
db/fixup_kernel
.
sh: snp
r
intf() retu
r
n
s
aren't re
a
ll
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
e
x
tr
a
: pass t
h
e modifi
e
d
expressi
o
n to extra_
m
o
d_hooks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extr
a
: store value
s
for expressions like "f
o
o[3]
.
bar"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpe
n
ter
address: don't se
g
fault parsing inval
i
d cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
i
g
nore:
r
e-write an
d
add _exp
r
() versi
o
n
s
of f
u
nct
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
param_se
t
/f
i
lter: PARAM_
S
ET instead
o
f PARAM_A
D
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
parse_call_math: use a
s
signed values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
sval
:
improve sva
l
_binop_over
f
lows
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
extra:
don't
modify con
s
t paramete
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
p
enter
address/typ
e
: make som
e
f
unction parame
t
er
s
const
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
Carpenter
struct
_
assignment:
remov
e
a
n
duplicate N
U
L
L
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpe
n
t
er
struct_assignment: don't double pars
e
ulo
n
g assignm
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpent
e
r
struct_a
s
signment: fix
a
NULL dereferenc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arpenter
db/mtags: add mta
g
_data and mtag_m
a
p tables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan
Ca
r
p
e
nter
db/fn_ptr_
d
ata_link: d
o
n't store
du
p
li
c
ate
r
ecords
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
e
nter
db: allow SQL statemen
t
s
to be run
la
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
D
an Carpenter
db: introduce ge
t
_mtag_name_expr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_assign
m
e
n
t:
h
a
n
d
le non str
u
ct, poi
n
ter assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_assignment:
fix
h
andling of
non_struct_assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpe
n
ter
struc
t
_
a
s
s
i
gnment: split
h
and
l
e_non_struct_ass
i
gmen
t
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpent
e
r
i
nd
e
x_overflow: make all messages "error:" instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan C
a
rpenter
index_overfl
o
w:
small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carp
e
nter
index_overflow: don't w
a
rn about impo
s
sible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
mtag:
i
n
tro
d
uce memory tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Ca
r
penter
implications:
s
et_state() should trump im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-21
Dan Car
p
e
nter
buf_
c
ompari
s
o
n
: copy
the
c
ode from smatc
h
_constraints
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpenter
i
mplied
:
imp
r
ove the "too hairy
"
m
ess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan Car
p
ent
e
r
compar
i
son:
s
tore th
e
expr
e
ssions involved (if it
'
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan Ca
r
penter
com
p
ar
i
son: re
n
ame var1 to left
_
var and var2
t
o ri
g
ht_var
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Da
n
C
a
rpe
n
ter
constraints_required: de
t
ect a bunch of ne
w
types of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
D
an
C
a
rpenter
constr
a
ints: allow f
u
nc
t
i
on constraints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan Ca
r
penter
constraints: don't store signed vs unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-04
Dan Carpenter
kerne
l
_printf: do
n
'
t
s
e
g
f
ault on inval
i
d co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
user
_
data: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
t
y
pe_
v
al: use s
m
a
t
ch_c
o
nt
a
iner_o
f
() informati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
D
a
n
C
arpe
n
ter
u
s
e
r
_data: this file is replaced
by check_u
s
e
r_data2
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carp
e
nter
implie
d
: add a
t
imeout in smatch_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Car
p
en
t
er
flow: delete o
u
t of sco
p
e variables for compound sta
t
emen
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
D
a
n
C
a
rpenter
scope: move a
c
heck for STMT_COMPOUND
e
a
r
lie
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
enter
valida
t
io
n
/sm_casts
.
c: update t
o
n
ot use an unin
t
ialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpenter
revert
"smat
c
h_ty
p
e
.
c: comp
a
rison ex
p
re
s
sions a
l
wa
y
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
validation/sm
_
buf_
s
ize6
.
c: update format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Ca
r
pente
r
parse: make an array lar
g
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpenter
helpe
r
: f
i
x
get_arr
a
y_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
C
a
r
penter
ass
i
gned_expr: save a record when a
fu
n
ct
i
o
n
sets
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
modification_hooks: handle PA
R
A
M
_SET e
a
r
lier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
e
r
.
gitignore:
i
g
nore
.
s
match,
.
smatch
.
sql
a
nd
.
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Carpe
n
ter
c
o
nstraints:
a
dd
a
c
o
m
m
ent, remove debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Ca
r
penter
const
r
aints
_
r
e
quired:
store
more required constraints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
cal
l
_math: add kza
l
loc() to the li
s
t of allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
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
arpenter
allo
c
ation_funcs: add __alloc_skb()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpent
e
r
constrai
n
t
s: fix
s
el
e
cting the required constraint
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-30
R
asmus Villemo
e
s
check_kerne
l
_printf
.
c
: warn about "%lx", (long)ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmus V
i
llemoes
smatch_type
.
c: compariso
n
ex
p
ressions always have type int
commit
|
commitdiff
|
tree
2017-10-30
Rasmus V
i
llemoe
s
smatch_ty
p
e
.
c: f
i
x
ty
p
e of
p
o
i
n
ter diff
commit
|
commitdiff
|
tree
2017-10-27
Dan C
a
rpenter
struct_
a
ssi
g
nment: fix
parsing of invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
symbo
l
: let is_ptr_type() take
N
ULL po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-26
Dan Car
p
enter
c
o
re: add NUL
L
checks
for
parsing i
n
valid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carp
e
nter
g
e
t_user_ov
e
rflow: verify tha
t
that it's a compare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-26
Ra
s
mus Villemoes
chec
k
_ker
n
el
_
printf
.
c: c
h
eck %pOF argument is struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Villem
o
es
chec
k
_kernel_printf
.
c:
remove copy-pasto
e
d variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus
V
il
l
emoes
check_kernel
_
pri
n
tf
.
c: prepare for
more tests for integer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Villemoes
c
h
eck_kernel_printf
.
c: use
get_real_base_type in
t
ype
d
ef_lookup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-24
Dan Car
p
en
t
e
r
container_of: use
C
ONTAINER
t
ype inste
a
d o
f
PARAM_
U
S
ED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-19
Dan
Carpe
n
ter
pre-proc
e
ss: do
n
't read
b
eyon
d
end of array when looking
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-19
Dan Carpe
n
t
e
r
buf
_
size, kernel_printf
:
don't
s
egfault o
n
i
nvalid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-19
Dan Carpente
r
container_of: add
a
c
omme
n
t about returning a
contain
e
r_of()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next