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
smatch: get the smatch bin dir correctly when it's a symlink
2018-01-12
D
a
n
Car
p
enter
smat
c
h: get the
sm
a
tch bin
d
ir
c
o
rrectly when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpenter
user_data2: empty
s
tate
s
are not
u
ser
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constr
a
ints_required
:
improve hand
l
i
n
g of assi
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpente
r
db: d
o
n
't s
p
lit by NULL vs non-NULL when there a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
flow
:
store a b
a
c
k
up of the
s
ta
r
t t
i
me when p
a
rsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
n
te
r
helper: change some nonsense values t
o
other no
n
sense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
D
B: in
t
r
o
duce a timeout ha
n
d
l
ing caller
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
enter
address: fix handli
n
g
of &
f
o
o-
>
bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
c
o
ntstraints:
u
s
e
c
aller
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
constra
i
nts
:
move pri
n
t_return
_
im
p
l
ie
s
_constrained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpe
n
t
e
r
constraints
:
clean
u
p
unmet_con
s
traint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpente
r
constraints:
f
ix add_const
r
aint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpe
n
ter
mtag
:
i
n
tro
d
uce crea
t
e_mtag_ali
a
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
an Carp
e
nter
mtag: fi
x
get_mtag() for
rec
o
r
d
ed states
a
n
d for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
links:
no
need
to
record links outside a function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpen
t
er
type_v
a
l:
cache DB in
f
o as a s
p
eed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpente
r
string_lis
t
: prevent a us
e
after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
D
an Ca
r
p
e
nte
r
mtag: rename fr
o
m mtags plural to m
t
a
g singular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
a
rpenter
helper: k
e
ep a small cache of recently used variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
extra: pa
s
s
e
xpression pointer to mod
/
n
o
m
o
d hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra:
w
r
ite infrastructure
t
o pass expr t
o
no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpenter
db/build
_
early_index
.
sh: set up mo
r
e
m
tag
in
d
exes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
ar
p
enter
expres
s
i
o
ns: initialize
-
>member_offset() in member_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n
Carpenter
f
unctio
n
_hook
s
: set path impossible if
we
c
ull everything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
mtags: remove the
& pre-
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpenter
scripts/gen_allocation_list
.
sh: add __alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
ter
d
b
/
f
ixup
_
kernel
.
sh:
s
n
printf(
)
returns
a
ren't rea
l
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
extra: pass the m
o
dified expression to extra
_
mod_hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
ext
r
a: store values for e
x
pressions like "
f
oo[3]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
a
rpente
r
address: don't segfault parsing
i
n
valid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
r
p
ente
r
ignore
:
re
-
w
rit
e
and a
d
d _expr() versions of functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
param_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 Carpent
e
r
parse
_
call_math: use assign
e
d
v
alues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpen
t
er
s
v
al:
i
mp
r
ove sv
a
l_b
i
nop
_
overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
penter
e
x
tra: don't
modify const parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpe
n
ter
addres
s
/type: m
a
ke s
o
m
e
functio
n
parameters con
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct
_
assignme
n
t: remo
v
e an d
u
plicate NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assignm
e
nt:
don't double parse ulong
a
s
si
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpen
t
e
r
struct_assig
n
me
n
t:
f
ix a
NU
L
L derefer
e
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpe
n
ter
db/mtags: ad
d
mtag_d
a
ta and mtag_map tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/fn_ptr_data_link: don't store dup
l
icate reco
r
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carp
e
nter
d
b
: a
l
low
S
QL statemen
t
s to
b
e r
u
n la
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
d
b: intro
d
uce get
_
mtag_name_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_assignment: han
d
l
e
no
n
struct, p
o
inter assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
an Carpenter
struct_assignment: fix handling of non_stru
c
t_assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
ar
p
enter
struct_assignment: split handle_non_struct_assi
g
ments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan C
a
rpenter
index_o
v
erfl
o
w: make all me
s
s
a
ge
s
"error:
"
inste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
i
ndex_overflow: small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
a
n
Carpenter
i
n
dex_overfl
o
w: don
'
t warn about impossib
l
e paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Da
n
Carpenter
m
t
ag:
i
ntr
o
du
c
e memory ta
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
implications: set_state() s
h
o
u
ld tru
m
p implicat
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carpent
e
r
buf
_
comparison: copy the code from smatch_constraints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpenter
implied: improve
t
he "too hairy" mess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
D
an Carp
e
nter
comp
a
rison: store th
e
e
x
press
i
o
n
s
inv
o
lved (if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
D
an Carpenter
comparison: r
e
name va
r
1 to l
e
ft_var
and va
r
2 to right_v
a
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
constraints_required: de
t
ect
a bunch o
f
new types of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan
C
a
rpenter
c
o
nstraints:
allow functi
o
n constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Car
p
ente
r
constraints: don't store sig
n
ed
vs u
n
signed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Dan Carpenter
kernel_printf: don'
t
se
g
fault on i
n
val
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Car
p
ent
e
r
user_d
a
t
a: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
D
a
n
C
ar
p
enter
typ
e
_val: us
e
smatch_c
o
nta
i
n
er_o
f
() info
r
mat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Ca
r
penter
user_data: this
file is repla
c
e
d
b
y
chec
k
_user_d
a
ta2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan
C
arpenter
implied: add a timeout in
s
match_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
flow: delet
e
out
o
f
scope variable
s
for compound s
t
atement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carp
e
nter
s
cope:
move a check for STMT_COMPOUND earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
validat
i
on
/
sm_casts
.
c: update to not use an
u
nin
t
ialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
er
reve
r
t "s
m
a
tch_
t
ype
.
c:
c
omparison expr
e
ssi
o
ns always
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
er
val
i
dation/sm_
b
uf_size6
.
c
: update for
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n C
a
rpe
n
ter
parse: make an array
l
arg
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
enter
helper: fix
g
et_arr
a
y_expr(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
assig
n
ed_expr: save a
r
ecord when a functio
n
sets foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpente
r
modification
_
hoo
k
s: handle
P
ARA
M
_SET
e
arlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
C
arpenter
.
git
i
gnore:
ignore
.
smat
c
h
,
.
smatch
.
sql and
.
s
match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an C
a
rpenter
con
s
trai
n
ts: add
a comment, re
m
ove
d
e
b
u
g
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpenter
constrai
n
ts_required: stor
e
more requi
r
ed
constra
i
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
enter
c
a
l
l
_math:
add kzalloc() to the list of alloca
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
cal
l
_mat
h
: prevent a
n
endl
e
ss
lo
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
C
a
rpen
t
er
a
llocat
i
on_funcs
:
add _
_
a
lloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
constraints
:
fix selecting the requ
i
red const
r
ain
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
check_kernel
_
printf
.
c: wa
r
n about "%lx", (l
o
ng
)
ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Vi
l
lem
o
es
smatch_type
.
c
:
com
p
ari
s
on
exp
r
essions always have
t
ype int
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
s
m
atch_type
.
c:
f
ix t
y
pe of pointer diff
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
st
r
uct_assignment: fix
p
arsing of inval
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
D
a
n Carpente
r
symbol: let is_ptr
_
t
ype() take NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpenter
core
:
add
N
ULL checks for parsing inv
a
li
d
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Da
n
Carpenter
get_u
s
e
r
_overflow:
verif
y
that th
a
t it's a comp
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus
V
illemoes
chec
k
_
kernel_printf
.
c: c
h
eck %pOF argument is struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
R
a
smus
V
illemoes
check_kernel_prin
t
f
.
c:
r
e
move copy
-
p
ast
o
ed variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Rasmu
s
Vill
e
moe
s
c
heck_kern
e
l_pri
n
t
f
.
c:
p
rep
a
r
e
for more
tests for inte
g
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus Villemoes
c
h
ec
k
_ker
n
el_printf
.
c
:
use get_real
_
base_type i
n
t
ypedef_looku
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-24
Dan Carpente
r
containe
r
_of: use CO
N
TAI
N
ER t
y
pe inste
a
d of PARAM_USED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-19
Dan Car
p
e
n
ter
pre
-
p
rocess: don't re
a
d beyond
e
nd of array
whe
n
looking
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-19
Dan C
a
r
penter
buf_size,
k
ernel_pr
i
ntf: don't segfault on inva
l
i
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-19
Dan
C
arp
e
nter
cont
a
iner_of: add a comment about retur
n
ing
a
container_of(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-19
Dan Car
p
enter
container_of:
get_o
f
fset_from_container_o
f
(
)
should
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-19
Dan Carpenter
db/cle
a
r
_
user_data: u
s
e check_user_data2 in
s
tead
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-19
Dan
C
arpenter
db: complain if we can't open the
schema file
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-19
Dan Car
p
enter
d
b: ad
d
a comme
n
t and do so
m
e
w
hite s
p
a
c
e change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-19
Dan Carpenter
db: don't assume function
c
alls are s
y
m
b
ols (inste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-19
Dan Carpen
t
e
r
d
b
/fixup_kernel
.
sh:
fi
x
a bad SQL
c
ommand
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next