blueprint-tsa 1.0.0

package/dist/reproduce/reproduce-config.js

@@ -0,0 +1,59 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TsaVulnerabilityConfigSchema = exports.ConcreteCheckerOptionsSchema = void 0;
+const z = __importStar(require("zod"));
+const DrainOptionsSchema = z.object({ kind: z.literal("drain-check") });
+const OwnerHijackOptionsSchema = z.object({
+    kind: z.literal("owner-hijack-check"),
+    /**
+     * for serialization purposes: bigints are not serializable
+     */
+    methodId: z.string(),
+});
+exports.ConcreteCheckerOptionsSchema = z.xor([
+    DrainOptionsSchema,
+    OwnerHijackOptionsSchema,
+]);
+exports.TsaVulnerabilityConfigSchema = z.object({
+    mode: z.string(),
+    command: z.string(),
+    codePath: z.string(),
+    dataPath: z.string(),
+    suggestedValue: z.string(),
+    suggestedBalance: z.string(),
+    timeout: z.int().nullable(),
+    concreteCheckerOptions: exports.ConcreteCheckerOptionsSchema,
+});

package/dist/reproduce/utils.d.ts

@@ -0,0 +1,4 @@
+import { UIProvider } from "@ton/blueprint";
+export declare const printCleanupInstructions: (ui: UIProvider) => void;
+export declare const getReproductionInstructions: (analyzerId: string) => string;
+export declare const printReproductionInstructions: (ui: UIProvider, analyzerId: string) => void;

package/dist/reproduce/utils.js

@@ -0,0 +1,34 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.printReproductionInstructions = exports.getReproductionInstructions = exports.printCleanupInstructions = void 0;
+const path_1 = __importDefault(require("path"));
+const fs_1 = require("fs");
+const paths_js_1 = require("../common/paths.js");
+const REPRODUCE_INSTRUCTION_HEADER = "To reproduce the vulnerability on the blockchain, run:";
+const REPRODUCE_COMMAND_PREFIX = "> yarn blueprint tsa reproduce --config";
+const printCleanupInstructions = (ui) => {
+    ui.write("");
+    ui.write("To clean reports, run:");
+    ui.write("> yarn blueprint tsa clean");
+    ui.write("");
+};
+exports.printCleanupInstructions = printCleanupInstructions;
+const getReproductionInstructions = (analyzerId) => {
+    const configPath = (0, paths_js_1.getReproduceConfigPath)(analyzerId);
+    if ((0, fs_1.existsSync)(configPath)) {
+        const relativeConfigPath = path_1.default.relative(process.cwd(), configPath);
+        return `${REPRODUCE_INSTRUCTION_HEADER}\n${REPRODUCE_COMMAND_PREFIX} ${relativeConfigPath}`;
+    }
+    return "";
+};
+exports.getReproductionInstructions = getReproductionInstructions;
+const printReproductionInstructions = (ui, analyzerId) => {
+    const instructions = (0, exports.getReproductionInstructions)(analyzerId);
+    if (instructions) {
+        ui.write(instructions);
+    }
+};
+exports.printReproductionInstructions = printReproductionInstructions;

package/dist/tsa.d.ts

@@ -0,0 +1,2 @@
+import { Runner } from "@ton/blueprint";
+export declare const tsa: Runner;

package/dist/tsa.js

@@ -0,0 +1,22 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.tsa = void 0;
+const cli_js_1 = require("./cli.js");
+const constants_js_1 = require("./common/constants.js");
+const tsa = async (args, ui) => {
+    try {
+        const cli = (0, cli_js_1.createCLI)({ ui, args });
+        await cli.parseAsync();
+    }
+    catch (error) {
+        if (error instanceof Error) {
+            ui.clearActionPrompt();
+            ui.write(`${constants_js_1.Sym.ERR} Error: ${error.message}`);
+            process.exit(1);
+        }
+        else {
+            throw error;
+        }
+    }
+};
+exports.tsa = tsa;

package/package.json

@@ -0,0 +1,45 @@
+{
+  "name": "blueprint-tsa",
+  "version": "1.0.0",
+  "description": "TSA plugin for TON Blueprint",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "files": [
+    "dist",
+    "checkers"
+  ],
+  "license": "MIT",
+  "scripts": {
+    "build": "tsc",
+    "lint": "eslint src --ext .ts",
+    "lint:fix": "eslint src --ext .ts --fix",
+    "postinstall": "[ -d dist ] && node dist/install/postinstall.js || true"
+  },
+  "devDependencies": {
+    "@tact-lang/compiler": "^1.6.13",
+    "@ton-community/func-js": "^0.11.0",
+    "@ton/tolk-js": "^1.2.0",
+    "@types/node": "^25.0.3",
+    "@types/tar": "^6.1.13",
+    "@types/unzipper": "^0.10.9",
+    "@types/yargs": "^17.0.35",
+    "@typescript-eslint/eslint-plugin": "^8.0.0",
+    "@typescript-eslint/parser": "^8.0.0",
+    "eslint": "^9.13.0",
+    "eslint-config-prettier": "^10.1.8",
+    "globals": "^15.14.0",
+    "prettier": "3.8.1",
+    "ts-node": "^10.9.2",
+    "typescript": "^5.9.3"
+  },
+  "dependencies": {
+    "@ton/blueprint": "^0.42.0",
+    "@ton/core": "^0.62.0",
+    "@ton/crypto": "^3.3.0",
+    "@ton/ton": "^16.1.0",
+    "tar": "^7.5.2",
+    "unzipper": "^0.12.3",
+    "yargs": "^17.7.2",
+    "zod": "^4.3.6"
+  }
+}