analyzerkotlinandroid

package

v0.6.0 Latest Latest Go to latest Published: Sep 22, 2026 License: AGPL-3.0, AGPL-3.0-or-later Imports: 14 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 analyzerkotlinandroid implements an unregistered experimental Kotlin/Android analyzer.

Index ¶

Constants
func Process(raw []byte) ([]byte, error)
func ProcessFile(file *os.File) ([]byte, error)
func ProcessReader(reader io.Reader) ([]byte, error)
type Echo
type Fact
type Input
type Request
type Target

Constants ¶

View Source

const (
	Profile         = "corvint-analyzer-candidate/experimental"
	Family          = "kotlin-android"
	MaxRequestBytes = 1_500_000
	MaxInputBytes   = 1 << 20
	MaxOutputBytes  = 1 << 20
)

Variables ¶

This section is empty.

Functions ¶

func Process ¶

func Process(raw []byte) ([]byte, error)

func ProcessFile ¶

func ProcessFile(file *os.File) ([]byte, error)

ProcessFile retains the already-open standard-input descriptor and verifies its identity before and after the bounded read. The candidate never accepts a path, so there is no path lookup or symlink-following operation to race.

func ProcessReader ¶

func ProcessReader(reader io.Reader) ([]byte, error)

ProcessReader has no path or descriptor parameter. It consumes one bounded stream, hashes each in-memory input before and after parsing, and cannot read a repository, execute a process, load a library, or contact a network.

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"`
	StartLine      int    `json:"start_line"`
	StartColumn    int    `json:"start_column"`
	EndLine        int    `json:"end_line"`
	EndColumn      int    `json:"end_column"`
}

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

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