pub(all) struct CWEStat {
  cwe_id : Int
  name : String
  count : Int
}

pub(all) enum Confidence {
  High
  Medium
  Low
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Config {
  rules : Map[String, RuleConfig]
  exclude : Array[String]
  includes : Array[String]
  output_format : String
  min_severity : Severity
  changed_files : Array[String]
}

pub(all) struct FileStat {
  file : String
  finding_count : Int
  error_count : Int
  warning_count : Int
}

pub(all) struct Finding {
  rule_id : RuleId
  severity : Severity
  confidence : Confidence
  message : String
  file : String
  line : Int
  column : Int
  end_line : Int
  end_column : Int
  snippet : String
  fingerprint : String
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FuncTaintSummary {
  name : String
  file : String
  line : Int
  params : Array[String]
  param_sinks : Map[String, Array[TaintSink]]
}

pub(all) struct ImportContext {
  has_cmark : Bool
  has_rabbita : Bool
  has_mocket : Bool
  has_crescent : Bool
  has_liquid : Bool
  has_pug : Bool
  is_stdlib : Bool
}

pub(all) struct InterProceduralContext {
  summaries : Map[String, FuncTaintSummary]
}

pub(all) struct LLMAnalysisRequest {
  finding : Finding
  source_context : String
  import_context : ImportContext
  prompt : String
  system_prompt : String
}

pub(all) struct LLMAnalysisResult {
  finding : Finding
  is_true_positive : Bool
  confidence : Double
  explanation : String
  severity_adjustment : Severity?
  remediation : String
}

pub(all) struct LLMConfig {
  base_url : String
  model : String
  api_key : String
}

pub(all) struct Location {
  file : String
  line : Int
  column : Int
}

pub(all) struct OwaspStat {
  category : String
  count : Int
  cwe_ids : Array[Int]
}

pub(all) struct PoCTemplate {
  finding : Finding
  poc_type : PoCType
  title : String
  description : String
  prerequisites : Array[String]
  attack_steps : Array[String]
  script : String
  expected_result : String
  cwe_url : String
}

pub(all) enum PoCType {
  HttpRequest
  RawSocket
  BrowserBased
  CLICommand
}

pub(all) struct Remediation {
  rule_id : String
  title : String
  risk_summary : String
  fix_description : String
  code_before : String
  code_after : String
  references : Array[String]
  owasp_category : String
}

pub(all) struct RuleConfig {
  enabled : Bool
  severity : Severity?
}

pub(all) struct RuleId {
  cwe : Int
  variant : String
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RuleInfo {
  id : RuleId
  name : String
  description : String
  default_severity : Severity
}

pub(all) struct RuleStat {
  rule_id : String
  name : String
  count : Int
  severity : Severity
}

pub(all) struct ScanResult {
  findings : Array[Finding]
  files_scanned : Int
  errors : Array[String]
}

pub(all) struct ScanSummary {
  total_findings : Int
  error_count : Int
  warning_count : Int
  info_count : Int
  files_scanned : Int
  files_with_findings : Int
  rules_triggered : Array[RuleStat]
  file_stats : Array[FileStat]
  cwe_categories : Array[CWEStat]
  owasp_mapping : Array[OwaspStat]
  scan_errors : Int
}

pub(all) enum Severity {
  Error
  Warning
  Info
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TaintFlow {
  source : TaintSource
  sink : TaintSink
  source_location : Location
  sink_location : Location
  path : Array[String]
}

pub(all) enum TaintSink {
  HtmlOutput
  SqlQuery
  FilePathConcat
  HeaderValue
  CookieValue
  ShellCommand
  ExternJsEval
  RedirectUrl
}

pub(all) enum TaintSource {
  RouteParam(String)
  QueryParam(String)
  RequestBody
  RequestHeader(String)
  WebSocketMessage
  FileUpload
  FormField(String)
}

pub(all) struct TaintState {
  tainted_vars : Map[String, TaintedVar]
  flows : Array[TaintFlow]
  current_file : String
}

pub(all) struct TaintedVar {
  name : String
  source : TaintSource
  file : String
  line : Int
}

fn analyze_imports(pkg_dir : String) -> ImportContext

fn analyze_mod_imports(project_root : String) -> ImportContext

fn build_summary(result : ScanResult, rules : Array[RuleInfo]) -> ScanSummary

fn collect_audit_files(root : String, config : Config) -> Array[(String, String)]

fn collect_func_summaries(source : String, file : String, ctx : InterProceduralContext) -> Unit

fn compute_fingerprint(rule_id : RuleId, snippet : String) -> String

fn confidence_from_str(s : String) -> Confidence

fn confidence_str(c : Confidence) -> String

fn cwe022_info() -> RuleInfo

fn cwe079_cmark_info() -> RuleInfo

fn cwe079_inner_html_info() -> RuleInfo

fn cwe079_template_info() -> RuleInfo

fn cwe094_info() -> RuleInfo

fn cwe113_info() -> RuleInfo

fn cwe116_info() -> RuleInfo

fn cwe248_info() -> RuleInfo

fn cwe346_info() -> RuleInfo

fn cwe614_info() -> RuleInfo

fn cwe676_info() -> RuleInfo

fn cwe704_info() -> RuleInfo

fn cwe770_info() -> RuleInfo

fn cwe942_info() -> RuleInfo

fn filter_baseline(findings : Array[Finding], baseline : Map[String, Bool]) -> Array[Finding]

fn filter_by_llm_results(results : Array[LLMAnalysisResult], min_confidence : Double) -> Array[LLMAnalysisResult]

fn format_json(result : ScanResult) -> String

fn format_llm_report(results : Array[LLMAnalysisResult]) -> String

fn format_poc_report(pocs : Array[PoCTemplate]) -> String

fn format_poc_script(poc : PoCTemplate) -> String

fn format_prompt_as_json(req : LLMAnalysisRequest, model? : String) -> String

fn format_remediation_report(remediations : Array[Remediation]) -> String

fn format_sarif(result : ScanResult) -> String

fn format_summary_json(summary : ScanSummary) -> String

fn format_summary_text(summary : ScanSummary) -> String

fn format_taint_report(flows : Array[TaintFlow]) -> String

fn format_text(result : ScanResult, verbose : Bool) -> String

fn generate_all_pocs(findings : Array[Finding], imports : ImportContext) -> Array[PoCTemplate]

fn generate_analysis_prompt(finding : Finding, source : String, imports : ImportContext) -> LLMAnalysisRequest

fn generate_baseline(findings : Array[Finding]) -> String

fn generate_batch_prompts(findings : Array[Finding], sources : Map[String, String], imports : ImportContext) -> Array[LLMAnalysisRequest]

fn generate_deep_audit_script(llm_config : LLMConfig, findings : Array[Finding], source_files : Array[(String, String)]) -> String

fn generate_llm_script(llm_config : LLMConfig, requests : Array[LLMAnalysisRequest]) -> String

fn generate_poc(finding : Finding, _imports : ImportContext) -> PoCTemplate?

fn get_all_remediations(findings : Array[Finding]) -> Array[Remediation]

fn get_labelled_string_value(args : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Argument
Argument], name : String) -> String?

fn get_remediation(finding : Finding) -> Remediation

fn get_source_line(source : String, line_num : Int) -> String

fn has_labelled_arg(args : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Argument
Argument], name : String) -> Bool

fn has_labelled_bool_arg(args : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Argument
Argument], name : String, value : Bool) -> Bool

fn is_any_constant(expr : 
@moonbitlang/parser/syntax.Expr
Expr) -> Bool

fn is_constant_ident(name : 
@moonbitlang/parser/syntax.LongIdent
LongIdent) -> Bool

fn is_constant_string(expr : 
@moonbitlang/parser/syntax.Expr
Expr) -> Bool

fn is_safe_value(expr : 
@moonbitlang/parser/syntax.Expr
Expr) -> Bool

fn is_sanitized_expr(expr : 
@moonbitlang/parser/syntax.Expr
Expr) -> Bool

fn list_all_rules() -> Array[RuleInfo]

fn load_baseline(path : String) -> Map[String, Bool]

fn load_changed_files(path : String) -> Array[String]

fn load_config(path : String) -> Config

fn load_env(dir : String) -> Map[String, String]

fn load_env_merged(dir : String) -> Map[String, String]

fn load_llm_config(dir : String) -> LLMConfig

fn merge_imports(a : ImportContext, b : ImportContext) -> ImportContext

fn parse_llm_response(finding : Finding, response_json : String) -> LLMAnalysisResult?

fn poc_type_str(t : PoCType) -> String

fn risk_level(score : Double) -> String

fn risk_score(summary : ScanSummary) -> Double

fn rule_id_str(id : RuleId) -> String

fn run_cross_func_taint(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], ctx : InterProceduralContext, _imports : ImportContext) -> Unit

fn run_cwe022(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe079_cmark(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe079_inner_html(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe079_template(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe094(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe113(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe116(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe248(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe346(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe614(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe676(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe704(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe770(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_cwe942(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, source : String, findings : Array[Finding], severity : Severity) -> Unit

fn run_taint_analysis(impls : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Impl
Impl], file : String, _source : String, _imports : ImportContext) -> TaintState

fn scan_project(root : String, config : Config) -> ScanResult

fn severity_from_str(s : String) -> Severity

fn severity_level(s : Severity) -> Int

fn severity_str(s : Severity) -> String

fn taint_flows_to_findings(flows : Array[TaintFlow], _severity : Severity) -> Array[Finding]