riantr/moonbit_static_analysis/src/jsoncli

README

riantr/moonbit_static_analysis/src/jsoncli does not have a README file

Finding

type Finding derive(ToJson)

one finding, flattened for JSON

Two fields beside severity:

confidence -- how much the lens CHECKED. The severity says how bad the finding is if it is real; the confidence says how sure the analyzer is that it is real, and the two are independent.
family_id -- the family's STABLE id. family is the public NAME, and a name is a second vocabulary that can be renamed without anybody noticing; the id cannot be renumbered, so a consumer can pin it.

FrameRep

source

type FrameRep derive(ToJson)

one virtual-stack frame

Reply

source

type Reply derive(ToJson)

the reply envelope

Request

source

type Request derive(@moonbitlang/core/json.FromJson
FromJson)

SpecReq

source

type SpecReq derive(@moonbitlang/core/json.FromJson
FromJson)

machine tables, mirroring @statecheck.MachineSpec in wire form; every field is optional and defaulted at conversion

Source Files

main.mbt

Install

Download zip

Three-inspection (structural / type / behavior) static analysis for MoonBit programs, every toolchain file kind (.mbt / .mbtx / .mbti / .mbt.md / .mbtp) and state-machine tables

static-analysislinterstate-machineabstract-interpretationfile-kindsmbtiliterate-markdownformal-verification

riantr

MIT