solidity-argus 0.1.5 → 0.1.6

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "solidity-argus",
-  "version": "0.1.5",
+  "version": "0.1.6",
   "description": "Solidity smart contract security auditing plugin for OpenCode — 4 specialized agents, 8 tools, and a curated vulnerability knowledge base",
   "keywords": ["solidity", "security", "audit", "opencode", "plugin", "smart-contract", "ethereum", "defi", "slither", "foundry"],
   "author": "Apegurus",

package/src/features/error-recovery/tool-error-recovery.ts

@@ -7,6 +7,8 @@ const RECOVERY_HINTS: Record<string, string> = {
   scvd: "Check SCVD API at https://api.scvd.dev — may be temporarily unavailable",
 }
 
+const VIA_IR_HINT = "Project uses via_ir — Slither uses forge-flatten fallback automatically. Ensure forge and solc-select are installed."
+
 export function createToolErrorRecoveryHandler() {
   const logger = createLogger()
 
@@ -14,6 +16,17 @@ export function createToolErrorRecoveryHandler() {
     const { tool, result } = toolResult
     const lowerResult = result.toLowerCase()
 
+    const isViaIr =
+      lowerResult.includes("via_ir") ||
+      lowerResult.includes("via-ir") ||
+      lowerResult.includes("flatten fallback") ||
+      lowerResult.includes("flatten-fallback")
+
+    if (isViaIr && tool.includes("slither")) {
+      logger.info(`Tool error recovery hint for ${tool}: ${VIA_IR_HINT}`)
+      return `\n[Argus Recovery Hint] ${VIA_IR_HINT}`
+    }
+
     const isError =
       lowerResult.includes("enoent") ||
       lowerResult.includes("not found") ||

package/src/tools/slither-tool.ts

@@ -12,6 +12,7 @@ type SlitherArgs = {
   detectors?: string[];
   exclude?: string[];
   solc_version?: string;
+  via_ir?: boolean;
 };
 
 type SlitherDetector = {
@@ -135,6 +136,12 @@ const FALLBACK_TRIGGERS = [
   "crytic_compile",
   "empty AST",
   "Compilation failed",
+  "via_ir",
+  "via-ir",
+  "viaIR",
+  "YulException",
+  "StackTooDeep",
+  "Stack too deep",
 ];
 
 function shouldTryFlattenFallback(errors: string[], stderr: string): boolean {
@@ -354,9 +361,26 @@ export async function executeSlitherAnalyze(
   runCommand: RunSlitherCommand = runSlitherCommand
 ): Promise<SlitherAnalyzeResult> {
   const startedAt = Date.now();
-  const command = buildCommand(args);
   context.metadata({ title: `Slither analysis: ${args.target}` });
 
+  if (args.via_ir) {
+    const fallbackResult = await flattenFallback(args, context, {
+      ...defaultFlattenDeps,
+      runCommand,
+    });
+    if (fallbackResult) return fallbackResult;
+    return {
+      success: false,
+      findingsCount: 0,
+      findings: [],
+      executionTime: Date.now() - startedAt,
+      errors: ["via_ir enabled — flatten fallback failed. Ensure forge and solc are available."],
+      error: "Project uses via_ir which is incompatible with Slither direct analysis. Flatten fallback also failed.",
+    };
+  }
+
+  const command = buildCommand(args);
+
   try {
     const runResult = await runCommand(command, context.abort);
     const errors: string[] = [];
@@ -449,6 +473,18 @@ export async function executeSlitherAnalyze(
   }
 }
 
+export function detectViaIr(target: string): boolean {
+  const projectDir = target.endsWith(".sol") ? join(target, "..") : target;
+  const foundryTomlPath = join(projectDir, "foundry.toml");
+  if (!existsSync(foundryTomlPath)) return false;
+  try {
+    const content = readFileSync(foundryTomlPath, "utf-8");
+    return /^\s*via[_-]ir\s*=\s*true/m.test(content);
+  } catch {
+    return false;
+  }
+}
+
 export const slitherTool = tool({
   description:
     "Run Slither static analysis and return normalized findings for Solidity targets.",
@@ -459,7 +495,8 @@ export const slitherTool = tool({
     solc_version: tool.schema.string().optional(),
   },
   async execute(args, context) {
-    const result = await executeSlitherAnalyze(args, context);
+    const viaIr = detectViaIr(args.target);
+    const result = await executeSlitherAnalyze({ ...args, via_ir: viaIr }, context);
     return JSON.stringify(result);
   },
 });

package/src/utils/project-detector.ts

@@ -7,6 +7,7 @@ export interface ProjectConfig {
   testDir: string;
   solcVersion?: string;
   remappings: string[];
+  viaIr: boolean;
   rootDir: string;
 }
 
@@ -43,6 +44,7 @@ export async function detectProject(dir: string): Promise<ProjectConfig> {
   let testDir = "test";
   let solcVersion: string | undefined;
   let remappings: string[] = [];
+  let viaIr = false;
 
   // Parse Foundry config if present
   if (hasFoundry) {
@@ -51,6 +53,7 @@ export async function detectProject(dir: string): Promise<ProjectConfig> {
     testDir = foundryConfig.testDir || testDir;
     solcVersion = foundryConfig.solcVersion;
     remappings = foundryConfig.remappings;
+    viaIr = foundryConfig.viaIr;
   }
 
   // Set Hardhat defaults if it's a Hardhat project
@@ -64,6 +67,7 @@ export async function detectProject(dir: string): Promise<ProjectConfig> {
     testDir,
     solcVersion,
     remappings,
+    viaIr,
     rootDir,
   };
 }
@@ -78,6 +82,7 @@ async function parseFoundryToml(
   testDir?: string;
   solcVersion?: string;
   remappings: string[];
+  viaIr: boolean;
 }> {
   const content = await Bun.file(filePath).text();
 
@@ -86,6 +91,7 @@ async function parseFoundryToml(
     testDir: undefined as string | undefined,
     solcVersion: undefined as string | undefined,
     remappings: [] as string[],
+    viaIr: false,
   };
 
   // Extract [profile.default] section - stop at next section or EOF
@@ -116,6 +122,12 @@ async function parseFoundryToml(
     result.solcVersion = solcMatch[1];
   }
 
+  // Parse via_ir = true/false
+  const viaIrMatch = profileSection.match(/^\s*via[_-]ir\s*=\s*(true|false)/m);
+  if (viaIrMatch && viaIrMatch[1] === "true") {
+    result.viaIr = true;
+  }
+
   // Parse remappings array - handles both single line and multiline
   const remappingsMatch = profileSection.match(
     /remappings\s*=\s*\[([\s\S]*?)\]/