analyzerpython

package

v1.0.0-rc.2 Latest Latest Go to latest Published: Oct 6, 2026 License: AGPL-3.0, AGPL-3.0-or-later Imports: 12 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/Beamfall/corvint

Links

Open Source Insights

Documentation ¶

Overview ¶

Package analyzerpython implements the unregistered Python 3.12 candidate.

Constants ¶

View Source

const (
	Profile = "corvint-analyzer-candidate/experimental"
	Family  = "python"

	MaxRequestBytes = 1_500_000
	MaxInputs       = 128
	MaxInputBytes   = 1_048_576
	MaxFacts        = 4_096
	MaxOutputBytes  = 1_048_576
)

Variables ¶

This section is empty.

Functions ¶

func AnalyzeFrame ¶

func AnalyzeFrame(frame []byte) []byte

AnalyzeFrame is the public compatibility entry point. It performs no I/O.

func Process ¶

func Process(frame []byte) []byte

Process accepts one canonical LF-framed Python 3.12 request. It structurally bounds JSON before decoding and processes decoded source one input at a time.

Types ¶

type Echo ¶

type Echo struct {
	Handle string `json:"handle"`
	SHA256 string `json:"sha256"`
}

type Fact ¶

type Fact struct {
	Kind           string `json:"kind"`
	InputHandle    string `json:"input_handle"`
	RelatedHandle  string `json:"related_handle"`
	Subject        string `json:"subject"`
	Predicate      string `json:"predicate"`
	Value          string `json:"value"`
	InstanceID     string `json:"instance_id"`
	EvidenceSHA256 string `json:"evidence_sha256"`
}

type Input ¶

type Input struct {
	Handle        string `json:"handle"`
	Family        string `json:"family"`
	Path          string `json:"path"`
	SHA256        string `json:"sha256"`
	ContentBase64 string `json:"content_base64"`
}

type Request ¶

type Request struct {
	Profile           string  `json:"profile"`
	Family            string  `json:"family"`
	RequestID         string  `json:"request_id"`
	ScopeID           string  `json:"scope_id"`
	CompilationUnitID string  `json:"compilation_unit_id"`
	Target            Target  `json:"target"`
	Inputs            []Input `json:"inputs"`
}

type Target ¶

type Target struct {
	OS           string   `json:"os"`
	Architecture string   `json:"architecture"`
	ABI          string   `json:"abi"`
	Features     []string `json:"features"`
}

Source Files ¶

View all Source files

analyzer.go

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL