blueprint-tsa 1.1.0 → 1.1.2

package/dist/commands/audit.js

@@ -89,7 +89,7 @@ function buildCheckResult(checkName, analyzer, passedMessage, failedMessage, con
     }
     return result;
 }
-async function runOpcodeInfoCheck(contractName, contractPath, ui, timeout, opcodes, verbose, legacyAnalysisArtifacts, iterationLimit, recursionLimit) {
+async function runOpcodeInfoCheck(contractName, contractPath, ui, timeout, opcodes, verbose, legacyAnalysisArtifacts, iterationLimit, recursionLimit, interactive) {
     // Calculate timeout per opcode
     let opcodeTimeout = null;
     if (timeout !== null && opcodes.length > 0) {
@@ -103,6 +103,7 @@ async function runOpcodeInfoCheck(contractName, contractPath, ui, timeout, opcod
         contract: contractName,
         iterationLimit,
         recursionLimit,
+        interactive,
         legacyAnalysisArtifacts,
     };
     const results = [];
@@ -118,13 +119,14 @@ async function runDrainCheck(contractName, contractPath, ui, commonArgs) {
     const analyzer = await (0, drain_check_js_1.runDrainCheckAnalysis)(ui, contractPath, commonArgs, `${constants_js_1.DRAIN_CHECK_NAME} completed.`);
     return buildCheckResult(constants_js_1.DRAIN_CHECK_NAME, analyzer, "No drain vulnerabilities detected", "Vulnerability found - contract may be vulnerable to drain attacks", contractName, commonArgs.timeout);
 }
-async function runReplayAttackCheck(contractName, contractPath, ui, timeout, verbose, iterationLimit, recursionLimit, legacyAnalysisArtifacts) {
+async function runReplayAttackCheck(contractName, contractPath, ui, timeout, verbose, iterationLimit, recursionLimit, legacyAnalysisArtifacts, interactive) {
     const analyzer = await (0, replay_attack_check_js_1.runReplayAttackCheckAnalysis)(ui, contractPath, {
         timeout,
         verbose,
         contract: contractName,
         iterationLimit,
         recursionLimit,
+        interactive,
         legacyAnalysisArtifacts,
     }, null, `${constants_js_1.REPLAY_ATTACK_CHECK_NAME} completed.`);
     return buildCheckResult(constants_js_1.REPLAY_ATTACK_CHECK_NAME, analyzer, "No replay attack vulnerabilities detected", "Vulnerability found - contract may be vulnerable to replay attacks", contractName, timeout);
@@ -222,7 +224,7 @@ const auditCommand = async (ui, parsedArgs) => {
     const ownerMethod = parsedArgs["owner-method"];
     const disableOpcodeExtraction = parsedArgs["disable-opcode-extraction"];
     const verbose = parsedArgs.verbose;
-    await (0, build_utils_js_1.buildAllContracts)(ui);
+    await (0, build_utils_js_1.buildAllContracts)(ui, parsedArgs.interactive);
     const contractPath = (0, paths_js_1.findCompiledContract)(contractName);
     if (!(0, fs_1.existsSync)(contractPath)) {
         ui.write(`\n${constants_js_1.Sym.ERR} Contract ${contractName} not found`);
@@ -254,6 +256,7 @@ const auditCommand = async (ui, parsedArgs) => {
             ui,
             codePath: contractPath,
             contractName,
+            interactive: parsedArgs.interactive,
         });
     }
     // Calculate timeout if not provided
@@ -283,7 +286,7 @@ const auditCommand = async (ui, parsedArgs) => {
     // Run opcode-info check
     ui.write("");
     ui.write(`${constants_js_1.Sym.WAIT} Step 1/${checkCount}: running opcode authorization analysis...`);
-    summary.opcodeInfo = await runOpcodeInfoCheck(contractName, contractPath, ui, effectiveTimeout, opcodes, verbose ?? false, parsedArgs[common_analyzer_args_js_1.VERBOSE_ANALYSIS_ARTIFACTS_OPTION], parsedArgs[common_analyzer_args_js_1.ITERATION_LIMIT_OPTION], parsedArgs[common_analyzer_args_js_1.RECURSION_LIMIT_OPTION]);
+    summary.opcodeInfo = await runOpcodeInfoCheck(contractName, contractPath, ui, effectiveTimeout, opcodes, verbose ?? false, parsedArgs[common_analyzer_args_js_1.VERBOSE_ANALYSIS_ARTIFACTS_OPTION], parsedArgs[common_analyzer_args_js_1.ITERATION_LIMIT_OPTION], parsedArgs[common_analyzer_args_js_1.RECURSION_LIMIT_OPTION], parsedArgs.interactive);
     // Run drain-check
     ui.write("");
     ui.write(`${constants_js_1.Sym.WAIT} Step 2/${checkCount}: running drain check...`);
@@ -302,7 +305,7 @@ const auditCommand = async (ui, parsedArgs) => {
     // Run replay-attack-check
     ui.write("");
     ui.write(`${constants_js_1.Sym.WAIT} Step 3/${checkCount}: running replay attack check...`);
-    const replayResult = await runReplayAttackCheck(contractName, contractPath, ui, effectiveTimeout, verbose ?? false, commonArgs.iterationLimit, commonArgs.recursionLimit, commonArgs.legacyAnalysisArtifacts ?? false);
+    const replayResult = await runReplayAttackCheck(contractName, contractPath, ui, effectiveTimeout, verbose ?? false, commonArgs.iterationLimit, commonArgs.recursionLimit, commonArgs.legacyAnalysisArtifacts ?? false, parsedArgs.interactive);
     summary.checks.push(replayResult);
     // Run bounce-check
     ui.write("");

package/dist/commands/bounce-check.js

@@ -63,6 +63,7 @@ const runBounceCheckAnalysis = async (ui, contractPath, commonArgs, completionMe
             checkerCell,
             properties,
             codePath: contractPath,
+            interactive: commonArgs.interactive ?? true,
             legacyAnalysisArtifacts: commonArgs.legacyAnalysisArtifacts,
         });
         const reportDir = (0, paths_js_1.getReportDirectory)(analyzer.id);
@@ -94,7 +95,7 @@ const runBounceCheckAnalysis = async (ui, contractPath, commonArgs, completionMe
 exports.runBounceCheckAnalysis = runBounceCheckAnalysis;
 const bounceCheckCommand = async (ui, parsedArgs) => {
     const contractName = parsedArgs.contract;
-    await (0, build_utils_js_1.buildAllContracts)(ui);
+    await (0, build_utils_js_1.buildAllContracts)(ui, parsedArgs.interactive);
     const contractPath = (0, command_utils_js_1.resolveBuiltContract)(ui, contractName);
     const { opcodes, timeout } = await (0, command_utils_js_1.resolveOpcodesAndTimeout)(ui, contractName, contractPath, {
         disableOpcodeExtraction: parsedArgs["disable-opcode-extraction"],

package/dist/commands/command-utils.js

@@ -33,7 +33,9 @@ const resolveBuiltContract = (ui, contractName) => {
 exports.resolveBuiltContract = resolveBuiltContract;
 const hasExplicitTimeout = (timeout) => timeout !== null && timeout !== undefined;
 exports.hasExplicitTimeout = hasExplicitTimeout;
-const isInteractiveEnabled = (interactive) => interactive !== false;
+const isInteractiveEnabled = (interactive) => interactive !== false &&
+    process.stdin.isTTY === true &&
+    process.stdout.isTTY === true;
 exports.isInteractiveEnabled = isInteractiveEnabled;
 const confirmOpcodeExtractionWait = async (ui, options) => {
     if (!(0, exports.isInteractiveEnabled)(options.interactive)) {
@@ -89,6 +91,7 @@ const resolveOpcodesAndTimeout = async (ui, contractName, contractPath, opts) =>
             ui,
             codePath: contractPath,
             contractName,
+            interactive: opts.interactive,
         });
     }
     let timeout = opts.explicitTimeout ?? null;

package/dist/commands/create-checker.d.ts

@@ -0,0 +1,11 @@
+import { CommandModule } from "yargs";
+import { CommandContext } from "../cli.js";
+declare const SUPPORTED_LANGUAGES: readonly ["Tolk", "FunC"];
+export type CheckerLanguage = (typeof SUPPORTED_LANGUAGES)[number];
+export interface StoredCheckerDraft {
+    checkerLanguage: CheckerLanguage;
+    contractName: string;
+}
+export declare function createCreateCheckerCommand(context: CommandContext): CommandModule<object, object>;
+export declare function executeCreateCheckerCommand(context: CommandContext): Promise<void>;
+export {};

package/dist/commands/create-checker.js

@@ -0,0 +1,70 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createCreateCheckerCommand = createCreateCheckerCommand;
+exports.executeCreateCheckerCommand = executeCreateCheckerCommand;
+const fs_1 = require("fs");
+const path_1 = __importDefault(require("path"));
+const constants_js_1 = require("../common/constants.js");
+const paths_js_1 = require("../common/paths.js");
+const CREATE_CHECKER_COMMAND = "create-checker";
+const CREATE_CHECKER_DESCRIPTION = "Collect information for a user-defined checker template";
+const CHECKERS_DIRECTORY_NAME = "checkers";
+const CHECKER_CONFIG_FILE_EXTENSION = ".json";
+const TOLK_LANGUAGE = "Tolk";
+const FUNC_LANGUAGE = "FunC";
+const SUPPORTED_LANGUAGES = [TOLK_LANGUAGE, FUNC_LANGUAGE];
+const CHOOSE_CHECKER_LANGUAGE_MESSAGE = "Choose checker language";
+const EMPTY_VALUE_MESSAGE = "Value cannot be empty. Please try again.";
+function createCreateCheckerCommand(context) {
+    return {
+        command: CREATE_CHECKER_COMMAND,
+        describe: CREATE_CHECKER_DESCRIPTION,
+        builder: {},
+        handler: async () => {
+            await executeCreateCheckerCommand(context);
+        },
+    };
+}
+async function executeCreateCheckerCommand(context) {
+    const { ui } = context;
+    ui.write("Create custom checker draft");
+    ui.write("");
+    const checkerName = await promptRequiredValue(ui, "Checker name");
+    const checkerLanguage = await promptCheckerLanguage(ui);
+    const contractName = await promptRequiredValue(ui, "Contract name to check");
+    const checkerDraft = {
+        checkerLanguage,
+        contractName,
+    };
+    const draftPath = persistCheckerDraft(checkerName, checkerDraft);
+    ui.write("");
+    ui.write(`${constants_js_1.Sym.OK} Checker draft stored successfully.`);
+    ui.write(`Name: ${checkerName}`);
+    ui.write(`Language: ${checkerDraft.checkerLanguage}`);
+    ui.write(`Contract: ${checkerDraft.contractName}`);
+    ui.write(`Saved to: ${draftPath}`);
+}
+async function promptRequiredValue(ui, label) {
+    while (true) {
+        const value = (await ui.input(label)).trim();
+        if (value.length > 0) {
+            return value;
+        }
+        ui.write(`${constants_js_1.Sym.WARN} ${EMPTY_VALUE_MESSAGE}`);
+    }
+}
+async function promptCheckerLanguage(ui) {
+    const languageChoices = [...SUPPORTED_LANGUAGES];
+    return await ui.choose(CHOOSE_CHECKER_LANGUAGE_MESSAGE, languageChoices, (language) => language);
+}
+function persistCheckerDraft(checkerName, draft) {
+    const checkersDirectory = path_1.default.join((0, paths_js_1.findTSAProjectDirectory)(), CHECKERS_DIRECTORY_NAME);
+    (0, fs_1.mkdirSync)(checkersDirectory, { recursive: true });
+    const fileName = `${checkerName}${CHECKER_CONFIG_FILE_EXTENSION}`;
+    const filePath = path_1.default.join(checkersDirectory, fileName);
+    (0, fs_1.writeFileSync)(filePath, `${JSON.stringify(draft, null, 2)}\n`);
+    return filePath;
+}

package/dist/commands/drain-check.js

@@ -50,6 +50,7 @@ const runDrainCheckAnalysis = async (ui, contractPath, commonArgs, completionMes
         checkerCell: (0, core_1.beginCell)().endCell(),
         properties,
         codePath: contractPath,
+        interactive: commonArgs.interactive ?? true,
         legacyAnalysisArtifacts: commonArgs.legacyAnalysisArtifacts,
     });
     const reportDir = (0, paths_js_1.getReportDirectory)(analyzer.id);
@@ -82,7 +83,7 @@ const runDrainCheckAnalysis = async (ui, contractPath, commonArgs, completionMes
 exports.runDrainCheckAnalysis = runDrainCheckAnalysis;
 const drainCheckCommand = async (ui, parsedArgs) => {
     const contractName = parsedArgs.contract;
-    await (0, build_utils_js_1.buildAllContracts)(ui);
+    await (0, build_utils_js_1.buildAllContracts)(ui, parsedArgs.interactive);
     const contractPath = (0, command_utils_js_1.resolveBuiltContract)(ui, contractName);
     const { opcodes, timeout } = await (0, command_utils_js_1.resolveOpcodesAndTimeout)(ui, contractName, contractPath, {
         disableOpcodeExtraction: parsedArgs["disable-opcode-extraction"],
@@ -145,6 +146,7 @@ const drainCheckConcrete = async (ui, config, completionMessage = "Analysis comp
         checkerCell,
         properties,
         codePath: config.codePath,
+        interactive: true,
     });
     await analyzer.run(constants_js_1.DRAIN_CHECK_CONCRETE_FILENAME, (wrapper) => [
         "custom-checker-compiled",

package/dist/commands/opcode-info.js

@@ -64,6 +64,7 @@ async function runOpcodeAuthorizationCheckAnalysis(opcode, contractPath, ui, com
         checkerCell,
         properties,
         codePath: contractPath,
+        interactive: commonArgs.interactive ?? true,
         legacyAnalysisArtifacts: commonArgs.legacyAnalysisArtifacts,
     });
     const sarifPath = (0, paths_js_1.getSarifReportPath)(analyzer.id);
@@ -152,7 +153,7 @@ function formatOpcodeInfo(infos) {
 const opcodeInfoHandler = async (context, args) => {
     const { ui } = context;
     const { timeout, contract, verbose } = args;
-    await (0, build_utils_js_1.buildAllContracts)(ui);
+    await (0, build_utils_js_1.buildAllContracts)(ui, args.interactive);
     const codePath = (0, paths_js_1.findCompiledContract)(contract);
     if (!(0, fs_1.existsSync)(codePath)) {
         ui.write(`\n${constants_js_1.Sym.ERR} Contract ${contract} not found`);
@@ -167,6 +168,7 @@ const opcodeInfoHandler = async (context, args) => {
         ui,
         codePath,
         contractName: contract,
+        interactive: args.interactive,
     });
     if (opcodes.length === 0) {
         ui.write("");

package/dist/commands/owner-hijack-check.js

@@ -61,6 +61,7 @@ const runOwnerHijackCheckAnalysis = async (ui, contractPath, methodId, commonArg
         checkerCell,
         properties,
         codePath: contractPath,
+        interactive: commonArgs.interactive ?? true,
         legacyAnalysisArtifacts: commonArgs.legacyAnalysisArtifacts,
     });
     const reportDir = (0, paths_js_1.getReportDirectory)(analyzer.id);
@@ -96,7 +97,7 @@ exports.runOwnerHijackCheckAnalysis = runOwnerHijackCheckAnalysis;
 const ownerHijackCheckCommand = async (ui, parsedArgs) => {
     const contractName = parsedArgs.contract;
     const methodId = BigInt((0, core_1.getMethodId)(parsedArgs["method-name"]));
-    await (0, build_utils_js_1.buildAllContracts)(ui);
+    await (0, build_utils_js_1.buildAllContracts)(ui, parsedArgs.interactive);
     const contractPath = (0, command_utils_js_1.resolveBuiltContract)(ui, contractName);
     const { opcodes, timeout } = await (0, command_utils_js_1.resolveOpcodesAndTimeout)(ui, contractName, contractPath, {
         disableOpcodeExtraction: parsedArgs["disable-opcode-extraction"],
@@ -171,6 +172,7 @@ const ownerHijackCheckConcrete = async (ui, config, concreteCheckerOptions, comp
         checkerCell,
         properties,
         codePath: config.codePath,
+        interactive: true,
     });
     await analyzer.run(constants_js_1.OWNER_HIJACK_CHECK_CONCRETE_FILENAME, (wrapper) => [
         "custom-checker-compiled",

package/dist/commands/replay-attack-check.js

@@ -74,6 +74,7 @@ const runReplayAttackCheckAnalysis = async (ui, contractPath, commonArgs, seqnoD
         checkerCell,
         properties,
         codePath: contractPath,
+        interactive: commonArgs.interactive ?? true,
         legacyAnalysisArtifacts: commonArgs.legacyAnalysisArtifacts,
     });
     const reportDir = (0, paths_js_1.getReportDirectory)(analyzer.id);
@@ -111,7 +112,7 @@ const resolveSeqnoData = (ui, seqnoMethodName, seqnoRestriction) => {
 };
 const replayAttackCheckCommand = async (ui, parsedArgs) => {
     const contractName = parsedArgs.contract;
-    await (0, build_utils_js_1.buildAllContracts)(ui);
+    await (0, build_utils_js_1.buildAllContracts)(ui, parsedArgs.interactive);
     const contractPath = (0, command_utils_js_1.resolveBuiltContract)(ui, contractName);
     const timeout = parsedArgs.timeout ?? null;
     const seqnoData = resolveSeqnoData(ui, parsedArgs["seqno-method-name"], parsedArgs["seqno-restriction"]);

package/dist/common/analyzer-wrapper.d.ts

@@ -10,6 +10,7 @@ export interface AnalyzerWrapperConfig {
     checkerCell: Cell;
     properties: TreeProperty[];
     codePath: string;
+    interactive: boolean;
     legacyAnalysisArtifacts?: boolean;
     expectsSarifReport?: boolean;
 }
@@ -27,6 +28,7 @@ export declare class AnalyzerWrapper {
     private tempCheckerCellPath;
     private progressTimer;
     id: string;
+    private isInteractiveEnabled;
     constructor(config: AnalyzerWrapperConfig);
     /**
      * Prints analysis information to UI

package/dist/common/analyzer-wrapper.js

@@ -15,10 +15,6 @@ const draw_js_1 = require("./draw.js");
 const format_utils_js_1 = require("./format-utils.js");
 const result_parsing_js_1 = require("./result-parsing.js");
 const paths_js_1 = require("./paths.js");
-/**
- * Generic wrapper for checker-based vulnerability analysis
- * Handles common logic for compiling, running, and cleaning up checker analysis
- */
 const ANALYZER_RUNNING_MESSAGE = "Running TSA analysis...";
 const ANALYZER_SUCCESS_LOG_PREFIX = "TSA run log saved to:";
 const ANALYZER_NON_EMPTY_LOG_MESSAGE = "TSA produced additional log output. Check the log file for details.";
@@ -38,6 +34,11 @@ const MESSAGE_BODY_INPUT_KEY = "messageBody";
 const CONTRACT_DATA_INPUT_KEY = "contractData";
 const INDENT_SIZE = 2;
 class AnalyzerWrapper {
+    isInteractiveEnabled() {
+        return (this.config.interactive !== false &&
+            process.stdin.isTTY === true &&
+            process.stdout.isTTY === true);
+    }
     constructor(config) {
         this.tempBocPath = null;
         this.tempCheckerCellPath = null;
@@ -74,7 +75,9 @@ class AnalyzerWrapper {
         if (this.config.checkerPath == null) {
             return;
         }
-        this.config.ui.setActionPrompt(`${constants_js_1.Sym.WAIT} Compiling checker...`);
+        if (this.isInteractiveEnabled()) {
+            this.config.ui.setActionPrompt(`${constants_js_1.Sym.WAIT} Compiling checker...`);
+        }
         try {
             const bocCode = await (0, build_utils_js_1.compileFuncFileToBase64Boc)(this.config.checkerPath, checkerFilename);
             const bocBuffer = Buffer.from(bocCode, "base64");
@@ -82,7 +85,9 @@ class AnalyzerWrapper {
             (0, fs_1.writeFileSync)(this.tempBocPath, bocBuffer);
         }
         catch (error) {
-            this.config.ui.clearActionPrompt();
+            if (this.isInteractiveEnabled()) {
+                this.config.ui.clearActionPrompt();
+            }
             this.config.ui.write(`\n${constants_js_1.Sym.ERR} Compilation failed: ${error.message}`);
             process.exit(1);
         }
@@ -140,6 +145,9 @@ class AnalyzerWrapper {
     }
     startProgressBar(timeoutSeconds) {
         this.stopProgressBar();
+        if (!this.isInteractiveEnabled()) {
+            return;
+        }
         if (timeoutSeconds === null) {
             this.config.ui.setActionPrompt(`${constants_js_1.Sym.WAIT} ${ANALYZER_RUNNING_MESSAGE}`);
             return;
@@ -161,7 +169,7 @@ class AnalyzerWrapper {
     }
     async showCompletedProgressBar(timeoutSeconds) {
         this.stopProgressBar();
-        if (timeoutSeconds === null) {
+        if (!this.isInteractiveEnabled() || timeoutSeconds === null) {
             return;
         }
         this.config.ui.setActionPrompt(`${constants_js_1.Sym.WAIT} ${ANALYZER_RUNNING_MESSAGE} ${this.formatProgressBar(1)}`);
@@ -229,6 +237,7 @@ class AnalyzerWrapper {
         const reportDir = path_1.default.dirname((0, paths_js_1.getSummaryPath)(this.id));
         const sarifPath = (0, paths_js_1.getSarifReportPath)(this.id);
         const exploitExecutionIndex = (0, result_parsing_js_1.findExploitExecutionIndex)(sarifPath);
+        const shouldRemoveSarifReport = (0, result_parsing_js_1.isSarifResultsEmpty)(sarifPath) || (0, result_parsing_js_1.isSingleNonFailingResult)(sarifPath);
         const executionDirs = (0, fs_1.readdirSync)(reportDir)
             .filter((entry) => entry.startsWith(EXECUTION_DIRECTORY_PREFIX))
             .map((entry) => path_1.default.join(reportDir, entry))
@@ -267,6 +276,10 @@ class AnalyzerWrapper {
                 (0, fs_1.rmSync)(extraContractDataDir, { recursive: true, force: true });
             }
         }
+        if (shouldRemoveSarifReport && (0, fs_1.existsSync)(sarifPath)) {
+            (0, fs_1.unlinkSync)(sarifPath);
+        }
+        this.removeDirectoryIfEmpty(reportDir);
     }
     /**
      * Runs the checker analysis with custom analyzer arguments
@@ -287,6 +300,7 @@ class AnalyzerWrapper {
             const timeoutValue = timeoutIndex >= 0 ? (analyzerArgs[timeoutIndex + 1] ?? null) : null;
             const timeoutSeconds = timeoutValue !== null ? Number.parseInt(timeoutValue, 10) : null;
             const analyzer = await analyzer_js_1.Analyzer.create();
+            (0, paths_js_1.getReportDirectory)(this.id); // report directory should be created here
             const logPath = (0, paths_js_1.getTsaRunLogPath)(this.id);
             this.startProgressBar(Number.isFinite(timeoutSeconds) ? timeoutSeconds : null);
             const result = await analyzer.run(analyzerArgs, logPath);
@@ -302,16 +316,7 @@ class AnalyzerWrapper {
                 if (!(0, fs_1.existsSync)(sarifPath)) {
                     throw new Error(MISSING_SARIF_ERROR_MESSAGE);
                 }
-                if (!this.usesVerboseAnalysisArtifacts() &&
-                    (0, result_parsing_js_1.isSarifResultsEmpty)(sarifPath)) {
-                    if (!hasLogOutput) {
-                        (0, fs_1.rmSync)((0, paths_js_1.getReportDirectory)(this.id), {
-                            recursive: true,
-                            force: true,
-                        });
-                    }
-                }
-                else {
+                if (!this.usesVerboseAnalysisArtifacts()) {
                     this.normalizeExportedInputs();
                 }
             }
@@ -379,12 +384,15 @@ class AnalyzerWrapper {
             return;
         }
         const summaryPath = (0, paths_js_1.getSummaryPath)(this.id);
-        const typedInputLine = `Typed input: ${this.getResolvedTypedInputPath(vulnerability.executionIndex)}`;
+        const relativeSummaryPath = path_1.default.relative(process.cwd(), summaryPath);
+        const relativeTypedInputPath = path_1.default.relative(process.cwd(), this.getResolvedTypedInputPath(vulnerability.executionIndex));
+        const relativeSarifPath = path_1.default.relative(process.cwd(), sarifPath);
+        const typedInputLine = `Typed input: ${relativeTypedInputPath}`;
         const reportLines = [
             `${constants_js_1.Sym.WARN} Vulnerability found!`,
-            `Summary path: ${summaryPath}`,
+            `Summary path: ${relativeSummaryPath}`,
             typedInputLine,
-            `SARIF with full information: ${sarifPath}`,
+            `SARIF with full information: ${relativeSarifPath}`,
         ];
         if (descriptionUrl) {
             reportLines.push("");

package/dist/common/build-utils.d.ts

@@ -1,3 +1,3 @@
 import { UIProvider } from "@ton/blueprint";
-export declare const buildAllContracts: (ui: UIProvider) => Promise<void>;
+export declare const buildAllContracts: (ui: UIProvider, interactive: boolean) => Promise<void>;
 export declare const compileFuncFileToBase64Boc: (filePath: string, fileName: string) => Promise<string>;

package/dist/common/build-utils.js

@@ -9,8 +9,13 @@ const fs_1 = require("fs");
 const path_1 = __importDefault(require("path"));
 const func_js_1 = require("@ton-community/func-js");
 const constants_js_1 = require("./constants.js");
-const buildAllContracts = async (ui) => {
-    ui.setActionPrompt(`${constants_js_1.Sym.WAIT} Compiling contracts...`);
+const buildAllContracts = async (ui, interactive) => {
+    const isInteractiveTerminal = interactive &&
+        process.stdin.isTTY === true &&
+        process.stdout.isTTY === true;
+    if (isInteractiveTerminal) {
+        ui.setActionPrompt(`${constants_js_1.Sym.WAIT} Compiling contracts...`);
+    }
     try {
         await (0, blueprint_1.buildAll)(ui);
     }

package/dist/common/constants.d.ts

@@ -4,9 +4,9 @@ export declare class Sym {
     static ERR: string;
     static WAIT: string;
 }
-export declare const TSA_VERSION = "v0.5.1";
-export declare const TSA_NAME = "tsa-cli-v0.5.1.jar";
-export declare const TSA_URL = "https://github.com/espritoxyz/tsa/releases/download/v0.5.1/tsa-cli.jar";
+export declare const TSA_VERSION = "v0.5.4";
+export declare const TSA_NAME = "tsa-cli-v0.5.4.jar";
+export declare const TSA_URL = "https://github.com/espritoxyz/tsa/releases/download/v0.5.4/tsa-cli.jar";
 export declare const DRAIN_CHECK_SYMBOLIC_FILENAME = "drain-check-symbolic.fc";
 export declare const DRAIN_CHECK_CONCRETE_FILENAME = "drain-check-concrete.fc";
 export declare const DRAIN_CHECK_ID = "drain-check";

package/dist/common/constants.js

@@ -8,7 +8,7 @@ Sym.OK = "✅";
 Sym.WARN = "⚠️";
 Sym.ERR = "❌";
 Sym.WAIT = "⏳";
-exports.TSA_VERSION = "v0.5.1";
+exports.TSA_VERSION = "v0.5.4";
 exports.TSA_NAME = `tsa-cli-${exports.TSA_VERSION}.jar`;
 exports.TSA_URL = `https://github.com/espritoxyz/tsa/releases/download/${exports.TSA_VERSION}/tsa-cli.jar`;
 exports.DRAIN_CHECK_SYMBOLIC_FILENAME = "drain-check-symbolic.fc";

package/dist/common/opcode-extractor.d.ts

@@ -3,5 +3,6 @@ export interface OpcodeExtractorConfig {
     ui: UIProvider;
     codePath: string;
     contractName: string;
+    interactive?: boolean;
 }
 export declare function extractOpcodes(config: OpcodeExtractorConfig): Promise<number[]>;

package/dist/common/opcode-extractor.js

@@ -36,6 +36,7 @@ async function extractOpcodes(config) {
             checkerCell: new core_1.Cell(),
             properties,
             codePath: config.codePath,
+            interactive: config.interactive ?? true,
             expectsSarifReport: false,
         });
         const args = [

package/dist/common/result-parsing.d.ts

@@ -1,5 +1,6 @@
 export declare const findExploitExecutionIndex: (sarifPath: string) => number | undefined;
 export declare const findNonFailingExecution: (sarifPath: string) => number | undefined;
+export declare const isSingleNonFailingResult: (sarifPath: string) => boolean;
 export declare const isSarifResultsEmpty: (sarifPath: string) => boolean;
 export declare const getMessageValue: (sarifPath: string, index: number) => bigint | null;
 export declare const getInitialBalance: (sarifPath: string, index: number) => bigint;

package/dist/common/result-parsing.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.getInitialBalance = exports.getMessageValue = exports.isSarifResultsEmpty = exports.findNonFailingExecution = exports.findExploitExecutionIndex = void 0;
+exports.getInitialBalance = exports.getMessageValue = exports.isSarifResultsEmpty = exports.isSingleNonFailingResult = exports.findNonFailingExecution = exports.findExploitExecutionIndex = void 0;
 const fs_1 = require("fs");
 const constants_js_1 = require("./constants.js");
 const getSarifResults = (sarifPath) => {
@@ -24,6 +24,12 @@ const findNonFailingExecution = (sarifPath) => {
     return findExecutionByMessage(sarifPath, constants_js_1.EXPECTED_MESSAGE_NON_FAILING);
 };
 exports.findNonFailingExecution = findNonFailingExecution;
+const isSingleNonFailingResult = (sarifPath) => {
+    const results = getSarifResults(sarifPath);
+    return (results.length === 1 &&
+        results[0]?.message?.text === constants_js_1.EXPECTED_MESSAGE_NON_FAILING);
+};
+exports.isSingleNonFailingResult = isSingleNonFailingResult;
 const isSarifResultsEmpty = (sarifPath) => {
     return getSarifResults(sarifPath).length === 0;
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "blueprint-tsa",
-  "version": "1.1.0",
+  "version": "1.1.2",
   "description": "TSA plugin for TON Blueprint",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",