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
Dan C
a
rpen
t
er
type_val:
r
ecor
d
fewer "unk
n
own" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpenter
fl
o
w:
s
et loop_count to
zero wh
e
n
p
arsing i
n
li
n
e functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
core: silence some false posit
i
ves
f
r
o
m p
a
rsing in
v
alid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n
Carpenter
impli
e
d: use a time
b
a
sed timeout in
s
t
e
ad
o
f
counti
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Ca
r
penter
extr
a
: hand
l
e
loops like: while
(--i >=
0) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
D
a
n Ca
r
penter
function_
h
o
o
ks: fake an ass
i
gnment when functions return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan
Carpe
n
t
e
r
check_
f
ree_strict: New stric
t
er cross functi
o
n
u
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
check_atomic_inc_dec: track atom
i
c_
i
nc()
and atomic_de
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Car
p
ente
r
assigned_expr: h
a
ndle fake assignments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan C
a
rpent
e
r
assigned_
e
xpr: re
m
o
v
e
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Ca
r
penter
kerne
l
_pri
n
tf: %px is
valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carp
e
nte
r
s
tree: debugging:
p
rint the
number of st
a
tes in __print_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpente
r
m
t
ag: commit
a
l
l mtag related code
t
o date
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan C
a
rpenter
smdb
.
py
:
fix s
o
me cra
s
hing bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carp
e
n
t
er
cont
a
iner_of: handle func
t
ion c
a
lls like foo->bar(fo
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
D
an
C
arpenter
smat
c
h: get t
h
e smatch bin dir correctly when it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n C
a
r
penter
u
ser_data2: emp
t
y states are
n
o
t use
r
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
ter
constra
i
nts
_
required
:
impro
v
e han
d
lin
g
of as
s
igned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
db
:
d
o
n't split by NULL vs
non-NULL when the
r
e are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpen
t
e
r
flow
:
store a backup of the start time when parsi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
helper
:
c
h
ang
e
s
o
me nonsense values
to ot
h
er
n
onsen
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpenter
DB: i
n
troduce
a
timeou
t
h
andl
i
ng
c
a
ll
e
r info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
C
a
rpen
t
er
address: f
i
x
handling
of &foo->bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
enter
con
t
strain
t
s: use c
a
ller i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpen
t
er
constraints: move print_return_implie
s
_constrai
n
ed
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
constraints:
cleanup unmet_constrai
n
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
ter
con
s
tr
a
int
s
: fix
a
dd_constraint(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
Da
n
Carpenter
mtag: introduce cr
e
ate_
m
tag
_
alias()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan C
a
r
p
enter
mtag: fix get_
m
tag() fo
r
recorded
s
tates and f
o
r arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
links: no need
to re
c
ord links outside a function
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
an Ca
r
pe
n
t
e
r
type_val: cach
e
DB info a
s
a speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
string_
l
ist: pre
v
ent a
u
s
e after free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
D
a
n Carpenter
mtag: r
e
name from mtag
s
pl
u
ra
l
to
mtag singu
l
ar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpenter
helper: ke
e
p a small cach
e
o
f
r
e
cently used var
i
able
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: pass
express
i
on
p
oin
t
er
t
o mod/nomod
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
e
xtr
a
: write
i
nfr
a
structure to
p
ass expr to no_mod
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Ca
r
penter
db/build_
e
a
r
ly_
i
nde
x
.
sh: set up m
o
re mta
g
i
n
dexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
expression
s
: initializ
e
->member_offset() in member_expression(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpen
t
er
function_hooks: se
t
path
i
m
possible if we cull ever
y
thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carp
e
nter
mtags: remove
the & pre-op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpent
e
r
s
c
ripts/
g
en_alloc
a
ti
o
n_list
.
sh: add __alloc_skb()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/fixup_kernel
.
s
h
: snprin
t
f() re
t
urns aren'
t
reall
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
extra: pass the modified
e
xp
r
ession t
o
extra_mod_
h
ooks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: store values
f
or expre
s
s
ions like "foo[3]
.
bar
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Car
p
e
n
ter
address: don't segf
a
ult parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carp
e
nte
r
ignore
:
re-write and add _ex
p
r
()
v
ersions of functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpenter
param_set/filt
e
r: PARAM_SE
T
instead o
f
PARAM_ADD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Ca
r
penter
par
s
e_call_math: use assigned values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
sval: imp
r
ove sva
l
_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
extra: don't modify const parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
address/ty
p
e:
m
ake some
f
u
nc
t
io
n
parameters const
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
s
truct_assignment: remove
a
n
d
upli
c
ate NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
penter
struct_assignment: don't
double
parse ulon
g
assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
Ca
r
pen
t
er
s
truct_
a
ssignment: fix a
N
ULL deref
e
rence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n Carpenter
d
b/mtags: add mtag_data and mta
g
_
map t
a
bles
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
rpenter
db/fn_ptr_data_link: don't store du
p
l
ic
a
t
e
re
c
o
r
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpente
r
db: all
o
w SQL s
t
at
e
ments to be run later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db: introduce get_mtag_name
_
exp
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpen
t
er
s
truct
_
assignment: handle non struc
t
, po
i
nt
e
r
a
s
signm
e
nts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan
Carpenter
struct_assignment: fix handling of non_s
t
ru
c
t_assignm
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
r
p
enter
struct_
a
ssi
g
nment
:
s
p
l
i
t han
d
le_no
n
_struct_
a
ssigm
e
nts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan C
a
rpenter
in
d
ex_overf
l
o
w
: ma
k
e all messages "error:" in
s
tea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Da
n
Carpenter
i
n
dex_overf
l
ow: small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpent
e
r
i
n
dex_overflow
:
don't
w
arn about imp
o
ssible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan
Carpenter
m
tag: intr
o
duce memory tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Da
n
Carpente
r
impl
i
ca
t
ions: se
t
_st
a
te()
s
hould trump implicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carp
e
nter
buf_co
m
parison:
copy t
h
e code from smatch_cons
t
ra
i
nts
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpenter
implied: improve the
"
too
hairy
"
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan
Carpe
n
ter
comparison: store
t
h
e expressions invo
l
ved (if it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpenter
comparison: r
e
name var1 to
l
eft_var and var2 to
r
ight_
v
ar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan C
a
rpen
t
er
const
r
aint
s
_
required: d
e
tect a bu
n
c
h
of ne
w
types of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan C
a
rpenter
con
s
tra
i
nts: allow function
c
onst
r
aint
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
D
an Car
p
enter
constrai
n
ts: do
n
't
s
t
o
re sign
e
d vs unsig
n
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-04
D
a
n
Carpent
e
r
k
ernel_printf: don't segfault
on inval
i
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carp
e
nter
u
s
er_data: fix c
o
mpi
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
D
a
n Carpen
t
er
t
ype_
v
a
l:
u
se smatch
_
container
_
of() infor
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Car
p
enter
user_data: t
h
is f
i
le is r
e
placed by check_user_
d
ata2
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
i
m
p
l
i
ed: add
a
timeout in
smatch_
i
m
p
l
ied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan
C
a
r
pe
n
ter
flow: d
e
lete out of scope variables for compoun
d
stateme
n
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
scope
:
move
a check f
o
r STMT_CO
M
POU
N
D earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
validati
o
n
/sm_
c
asts
.
c: update to not
u
se
a
n u
n
intialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
reve
r
t "smatch_t
y
pe
.
c: comparison
ex
p
ression
s
always
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Car
p
e
n
ter
validation/sm_buf_siz
e
6
.
c: update format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpenter
parse: make an array large
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
ter
helper: fix get_
a
rray_
e
x
p
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
a
s
sig
n
ed
_
expr
:
sa
v
e a
r
ecord when
a fun
c
tion sets foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
ter
modification_hooks: handle PARAM_SET earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
.
g
itignore:
i
g
n
o
r
e
.
smat
c
h,
.
smatch
.
sql and
.
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
an Ca
r
penter
cons
t
rai
n
ts: add
a comme
n
t, remove de
b
ug cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
co
n
straints_requ
i
red:
store
m
ore required cons
t
raints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpenter
call_ma
t
h: add kzalloc() to
the
li
s
t of allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
penter
cal
l
_math: prevent a
n
endless loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
a
l
locati
o
n_funcs:
a
dd _
_
a
lloc_skb()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Carpen
t
er
c
onst
r
aint
s
:
f
ix selecting the
r
equired con
s
tra
i
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus
V
illemoes
check_kernel_printf
.
c:
w
arn about "%l
x
"
,
(long
)
pt
r
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
smat
c
h
_typ
e
.
c
:
c
o
mpa
r
ison expressions
a
lways have type int
commit
|
commitdiff
|
tree
2017-10-30
Rasmus
V
illemoes
s
m
at
c
h
_
type
.
c: fi
x
type of
p
ointer diff
commit
|
commitdiff
|
tree
2017-10-27
Da
n
Ca
r
penter
struct_assignment
:
f
ix par
s
ing of in
v
a
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpent
e
r
sy
m
bol: let is_ptr
_
type() ta
k
e NULL poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-26
Dan
C
arpenter
co
r
e:
a
dd NULL
chec
k
s for parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next