README
- ::to_reprSieveError::to_repr
- ::equalAudit::equal
- ::not_equalAudit::not_equal
- ::to_jsonAudit::to_json
- ::to_reprAudit::to_repr
- ::equalDisposition::equal
- ::not_equalDisposition::not_equal
- ::to_jsonDisposition::to_json
- ::to_reprDisposition::to_repr
- ::equalFinding::equal
- ::not_equalFinding::not_equal
- ::to_jsonFinding::to_json
- ::to_reprFinding::to_repr
- ::defaultLimits::default
- ::equalLimits::equal
- ::not_equalLimits::not_equal
- ::to_jsonLimits::to_json
- ::to_reprLimits::to_repr
- ::equalOperation::equal
- ::not_equalOperation::not_equal
- ::to_jsonOperation::to_json
- ::to_reprOperation::to_repr
- ::equalPartRecord::equal
- ::not_equalPartRecord::not_equal
- ::to_jsonPartRecord::to_json
- ::to_reprPartRecord::to_repr
T
Rebuilt
- ::equalReceipt::equal
- ::not_equalReceipt::not_equal
- ::to_jsonReceipt::to_json
- ::to_reprReceipt::to_repr
- ::equalRelationship::equal
- ::not_equalRelationship::not_equal
- ::to_jsonRelationship::to_json
- ::to_reprRelationship::to_repr
- ::equalRewritePlan::equal
- ::not_equalRewritePlan::not_equal
- ::to_jsonRewritePlan::to_json
- ::to_reprRewritePlan::to_repr
V
audit
V
digest
V
plan
V
rebuild
V
resolve_target
V
verify

partsieve

OOXML capability audit and verified rebuild; restricted XLSM spike

ooxml

xlsx

vba

audit

verified-rebuild

Download zip

Author

zlhahaha

Version

0.1.0-spike

License

Apache-2.0

Repository

github.com/zlhahaha/partsieve.git

Last updated

19 days ago

Downloads

#zlhahaha/partsieve

See README.md for the implemented spike, commands, limits, evidence, and unsupported features. The first prototype version is 0.1.0-spike.

SieveError

source

pub(all) suberror SieveError {
  Refused(String)
  Incomplete(String)
} derive(@moonbitlang/core/debug.Debug
Debug)

SieveError::to_repr

source

fn SieveError::to_repr(SieveError) -> @moonbitlang/core/debug.Repr
Repr

Audit

source

pub(all) struct Audit {
  schema : String
  input_hash : String
  format : String
  main_part : String
  coverage : String
  profile : String
  checked_rules : Array[String]
  limitations : Array[String]
  parts : Array[PartRecord]
  relationships : Array[Relationship]
  findings : Array[Finding]
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Audit::equal

source

fn Audit::equal(Audit, Audit) -> Bool

Audit::not_equal

source

fn Audit::not_equal(x : Audit, y : Audit) -> Bool

Audit::to_json

source

fn Audit::to_json(Audit) -> Json

Audit::to_repr

source

fn Audit::to_repr(Audit) -> @moonbitlang/core/debug.Repr
Repr

Disposition

source

pub(all) struct Disposition {
  part : String
  classification : String
  before_hash : String
  after_hash : String?
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Disposition::equal

source

fn Disposition::equal(Disposition, Disposition) -> Bool

Disposition::not_equal

source

fn Disposition::not_equal(x : Disposition, y : Disposition) -> Bool

Disposition::to_json

source

fn Disposition::to_json(Disposition) -> Json

Disposition::to_repr

source

fn Disposition::to_repr(Disposition) -> @moonbitlang/core/debug.Repr
Repr

Finding

source

pub(all) struct Finding {
  rule : String
  capability : String
  part : String
  evidence : Array[String]
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Finding::equal

source

fn Finding::equal(Finding, Finding) -> Bool

Finding::not_equal

source

fn Finding::not_equal(x : Finding, y : Finding) -> Bool

Finding::to_json

source

fn Finding::to_json(Finding) -> Json

Finding::to_repr

source

fn Finding::to_repr(Finding) -> @moonbitlang/core/debug.Repr
Repr

Limits

source

pub(all) struct Limits {
  input_bytes : Int
  entry_bytes : Int
  total_bytes : Int
  entries : Int
  xml_bytes : Int
  xml_depth : Int
  xml_nodes : Int
  xml_attributes : Int
  output_bytes : Int
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Limits::default

source

fn Limits::default() -> Limits

Limits::equal

source

fn Limits::equal(Limits, Limits) -> Bool

Limits::not_equal

source

fn Limits::not_equal(x : Limits, y : Limits) -> Bool

Limits::to_json

source

fn Limits::to_json(Limits) -> Json

Limits::to_repr

source

fn Limits::to_repr(Limits) -> @moonbitlang/core/debug.Repr
Repr

Operation

source

pub(all) struct Operation {
  kind : String
  part : String
  relationship_id : String
  rule : String
  reason : String
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Operation::equal

source

fn Operation::equal(Operation, Operation) -> Bool

Operation::not_equal

source

fn Operation::not_equal(x : Operation, y : Operation) -> Bool

Operation::to_json

source

fn Operation::to_json(Operation) -> Json

Operation::to_repr

source

fn Operation::to_repr(Operation) -> @moonbitlang/core/debug.Repr
Repr

PartRecord

source

pub(all) struct PartRecord {
  name : String
  content_type : String
  sha256 : String
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

PartRecord::equal

source

fn PartRecord::equal(PartRecord, PartRecord) -> Bool

PartRecord::not_equal

source

fn PartRecord::not_equal(x : PartRecord, y : PartRecord) -> Bool

PartRecord::to_json

source

fn PartRecord::to_json(PartRecord) -> Json

PartRecord::to_repr

source

fn PartRecord::to_repr(PartRecord) -> @moonbitlang/core/debug.Repr
Repr

Rebuilt

source

pub(all) struct Rebuilt {
  bytes : Bytes
  receipt : Receipt
}

Receipt

source

pub(all) struct Receipt {
  schema : String
  tool : String
  rules : String
  policy : String
  profile : String
  input_hash : String
  output_hash : String
  input_size : Int
  output_size : Int
  input_format : String
  output_format : String
  limits : Limits
  audit : Audit
  plan : RewritePlan
  dispositions : Array[Disposition]
  structure : String
  preservation : String
  independent_validation : String
  limitations : Array[String]
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Receipt::equal

source

fn Receipt::equal(Receipt, Receipt) -> Bool

Receipt::not_equal

source

fn Receipt::not_equal(x : Receipt, y : Receipt) -> Bool

Receipt::to_json

source

fn Receipt::to_json(Receipt) -> Json

Receipt::to_repr

source

fn Receipt::to_repr(Receipt) -> @moonbitlang/core/debug.Repr
Repr

Relationship

source

pub(all) struct Relationship {
  source : String
  id : String
  kind : String
  target : String
  resolved : String
  external : Bool
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Relationship::equal

source

fn Relationship::equal(Relationship, Relationship) -> Bool

Relationship::not_equal

source

fn Relationship::not_equal(x : Relationship, y : Relationship) -> Bool

Relationship::to_json

source

fn Relationship::to_json(Relationship) -> Json

Relationship::to_repr

source

fn Relationship::to_repr(Relationship) -> @moonbitlang/core/debug.Repr
Repr

RewritePlan

source

pub(all) struct RewritePlan {
  schema : String
  input_hash : String
  policy : String
  profile : String
  operations : Array[Operation]
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

RewritePlan::equal

source

fn RewritePlan::equal(RewritePlan, RewritePlan) -> Bool

RewritePlan::not_equal

source

fn RewritePlan::not_equal(x : RewritePlan, y : RewritePlan) -> Bool

RewritePlan::to_json

source

fn RewritePlan::to_json(RewritePlan) -> Json

RewritePlan::to_repr

source

fn RewritePlan::to_repr(RewritePlan) -> @moonbitlang/core/debug.Repr
Repr

audit

source

fn audit(input : Bytes, limits? : Limits) -> Audit raise

digest

source

fn digest(bytes : BytesView) -> String

plan

source

fn plan(input : Bytes, limits? : Limits) -> RewritePlan raise

rebuild

source

fn rebuild(input : Bytes, limits? : Limits) -> Rebuilt raise

resolve_target

source

fn resolve_target(source : String, target : String) -> String raise

verify

source

fn verify(output : Bytes, original : Bytes, limits? : Limits) -> Receipt raise

Source Files

Site source Report issue Packages Build queue Skills Statistics

partsieve

#zlhahaha/partsieve

#SieveError

#SieveError::to_repr

#Audit

#Audit::equal

#Audit::not_equal

#Audit::to_json

#Audit::to_repr

#Disposition

#Disposition::equal

#Disposition::not_equal

#Disposition::to_json

#Disposition::to_repr

#Finding

#Finding::equal

#Finding::not_equal

#Finding::to_json

#Finding::to_repr

#Limits

#Limits::default

#Limits::equal

#Limits::not_equal

#Limits::to_json

#Limits::to_repr

#Operation

#Operation::equal

#Operation::not_equal

#Operation::to_json

#Operation::to_repr

#PartRecord

#PartRecord::equal

#PartRecord::not_equal

#PartRecord::to_json

#PartRecord::to_repr

#Rebuilt

#Receipt

#Receipt::equal

#Receipt::not_equal

#Receipt::to_json

#Receipt::to_repr

#Relationship

#Relationship::equal

#Relationship::not_equal

#Relationship::to_json

#Relationship::to_repr

#RewritePlan

#RewritePlan::equal

#RewritePlan::not_equal

#RewritePlan::to_json

#RewritePlan::to_repr

#audit

#digest

#plan

#rebuild

#resolve_target

#verify

Source Files

SieveError

SieveError::to_repr

Audit

Audit::equal

Audit::not_equal

Audit::to_json

Audit::to_repr

Disposition

Disposition::equal

Disposition::not_equal

Disposition::to_json

Disposition::to_repr

Finding

Finding::equal

Finding::not_equal

Finding::to_json

Finding::to_repr

Limits

Limits::default

Limits::equal

Limits::not_equal

Limits::to_json

Limits::to_repr

Operation

Operation::equal

Operation::not_equal

Operation::to_json

Operation::to_repr

PartRecord

PartRecord::equal

PartRecord::not_equal

PartRecord::to_json

PartRecord::to_repr

Rebuilt

Receipt

Receipt::equal

Receipt::not_equal

Receipt::to_json

Receipt::to_repr

Relationship

Relationship::equal

Relationship::not_equal

Relationship::to_json

Relationship::to_repr

RewritePlan

RewritePlan::equal

RewritePlan::not_equal

RewritePlan::to_json

RewritePlan::to_repr

audit

digest

plan

rebuild

resolve_target

verify