registry / Remote code execution / effect-analyzer / 3.4.1

effect-analyzer@3.4.1

Static analysis for Effect-TS code. Analyze Effect code to extract structure, calculate complexity, and generate visualizations.

AI Security Review

scanned 4d ago · by lpm-firewall-ai

The manifest exposes the CLI, and its git-ref diff path passes parsed values to a shell command without escaping them. This is a concrete, user-triggered command injection risk, so warn rather than block.

Static reason

One or more suspicious static signals were detected.; previous stored version diff introduced dangerous source

Trigger

A user invokes the CLI diff feature with a git-ref source whose ref or path contains shell syntax.

Impact

Crafted input may execute commands with the privileges of the CLI process.

Mechanism

The CLI interpolates the parsed ref and path into a `git show` command passed to `execSync`.

AI rationale

Evidence

package.jsondist/cli.js

Decision evidence

public snapshot

AI called this Suspicious at 96.0% confidence as Critical Vulnerability with medium false-positive risk.

Evidence for warning

The package exposes a CLI at `dist/cli.js`.
The CLI interpolates parsed `--diff` ref and path values into a shell command and executes it with `execSync`.
The command is reachable when the CLI processes a git-ref source argument.

Evidence against

The shell command runs only when a user invokes the CLI diff feature with a git-ref source; the inspected code does not show install-time execution.

Behavioral surface

Source

ChildProcessCryptoDynamicRequireEnvironmentVarsFilesystemShell

Supply chain

HighEntropyStringsMinifiedUrlStrings

ManifestNo manifest risk signals triggered.

scanned 32 file(s), 3.83 MB of source, external domains: cdn.jsdelivr.net, effect.website, github.com, jagreehal.github.io, json.schemastore.org, www.w3.org

Source & flagged code

6 flagged

dist/rules.jsView file

Lines 1-23javascript

1import{createRequire as Gi}from"module";var dt=null,vn=null,wn=new Map,An=e=>globalThis.process?.getBuiltinModule?.(e),Vi=()=>{let e=An("node:module")??An("module"),t=e&&typeof e=="object"&&"createRequire"in e?e.createRequire:void 0;if(!t)return null;try{return t(import.meta.url)("ts-morph")}catch{return null}};var Rn=e=>{vn=e,dt=null};var E=()=>{if(dt)return dt;let e=vn?.()??Vi();if(!e)throw new Error("ts-morph is not configured. In Node, install ts-morph as a dependency. In browser builds, call setTsMorphModule() or setTsMorphLoader() before analysis.");return dt=e,e},Fn=e=>{let t=e??"__defa ...

2`);else return;let a=s.search(/\n\s*@/);return a!==-1&&(s=s.substring(0,a)),s.trim()||void 0}let o=r.getText(),c=/\/\*\*\s*\n?\s*\*\s*([^@]*?)(?=\n\s*\*\s*@|\*\/)/.exec(o);if(c?.[1])return c[1].replace(/\n\s*\*\s*/g," ").trim()||void 0}let n=e.getLeadingCommentRanges();if(n.length>0){let r=n[n.length-1];if(!r)return;let i=r.getText();if(i.startsWith("/**")){let o=i.replace(/^\/\*\*\s*/,"").replace(/\s*\*\/\s*$/,"").replace(/^\s*\*\s?/gm,"").trim(),c=o.search(/\n

3`).map(a=>a.replace(/^\s*\*\s?/,"")).join(`

4`),n=[],r,i=[],o,c=/@(param|returns?|throws?|exception|example)\s*(.*)/gi,s;for(;(s=c.exec(t))!==null;){let a=s[1].toLowerCase(),l=s[2].trim();if(a

5`)}function Ad(e){return JSON.stringify({valid:e.valid,errorCount:e.errors.length,warningCount:e.warnings.length,diagnostics:e.diagnostics.map(t=>({rule:t.rule,severity:t.severity,message:t.message,fix:t.fix,location:t.location?{line:t.location.line,column:t.location.column}:void 0,nodeId:t.nodeId}))},null,2)}function vd(e){return e.valid&&e.warnings.length===0?"All strict mode checks passed":e.valid?`Passed with ${e.warnings.length} warning(s)`:`${e.errors.length} error(s), ${e.warnings.length} warning(s)`}import{Option as ge}from"effect";import{Option as vs}from"effect";var ct=(e,t)=>{t(e);l ...

Medium

Dynamic Require

Package source references dynamic require/import behavior.

dist/rules.jsView on unpkg · L3

6`)};var J="https://effect.website/docs",wi={"untagged-throw":{docsUrl:`${J}/error-management/expected-errors/`,example:{bad:`Effect.gen(function* () {

7 if (!user) throw new Error("not found");

8});`,good:`class UserNotFound extends Data.TaggedError("UserNotFound")<{}> {}

10Effect.gen(function* () {

11 if (!user) return yield* Effect.fail(new UserNotFound());

12});`}},"identity-catch":{docsUrl:`${J}/error-management/fallback/`,example:{bad:"Effect.catch(eff, (e) => Effect.fail(e));",good:`// Either drop the catch entirely, or actually recover:

13Effect.catch(eff, (e) => Effect.succeed(defaultValue));`}},"tryPromise-without-catch":{docsUrl:`${J}/error-management/unexpected-errors/`,example:{bad:'Effect.tryPromise(() => fetch("/x"));',good:`class FetchError extends Data.TaggedError("FetchError")<{ readonly cause: unknown }> {}

15Effect.tryPromise({

16 try: () => fetch("/x"),

17 catch: (e) => new FetchError({ cause: e }),

18});`}},"promise-api-in-gen":{docsUrl:`${J}/getting-started/creating-effects/`,example:{bad:`Effect.gen(function* () {

19 const results = Promise.all([a(), b()]);

20 return results;

21});`,good:`Effect.gen(function* () {

22 const results = yield* Effect.all([a, b], { concurrency: "unbounded" });

23 return results;

Long lines were clipped for display.

Lines 68-104javascript

68 yield* TestClock.adjust("5 minutes");

69 // assertions

70 }).pipe(Effect.provide(TestContext.TestContext), Effect.runPromise),

71);`}},"detached-fiber-in-test":{docsUrl:`${J}/concurrency/fibers/`,example:{bad:`it("forks"

dist/cli.jsView file

•Manifest-reachable source captures an API credential, sends it to a fixed unofficial gateway, and persists that redirection in agent or shell configuration. dist/cli.js: `))}return t});function Rn(e){let t=n=>r=>e?`\x1B[${n}m${r}\x1B[0m`:r;return{dim:t(2),green:t(32),cyan:t(36),yellow:t(33),red:t(31),bold:t(1)}}var rs=e=>{let t=e??".";if(Ol(t))retu... `)}function $y(e){return e.replace(/'/g,"\\'").replace(/"/g,'\\"')}import{Effect as Vl}from"effect";var Gl=1,Jl={pretty:!0,includeMetadata:!0,compact:!1},Zl=(e,t)=>Vl.gen(function*... `)}),ds=(e,t,n,r="TB",s=!0,i,o=!1)=>Dn.gen(function*(){let a=mh(e,n),d=yield*hh(t,r,s,i,o,e);return yield*Dn.tryPromise({try:()=>ao.writeFile(a,d,"utf-8"),catch:c=>new ls({outputPa... `)},xh=(e,t)=>{let n=st.dirname(e),r=t.replace(/[^a-zA-Z0-9_-]/g,"_").toLowerC

High

Credential Redirect Persistence

Manifest-reachable source sends a prompted API credential to a fixed unofficial gateway and persists the redirection.

dist/cli.jsView on unpkg

scripts/analyze-public-repos.tsView file

Lines 1-35typescript

1/**

2 * Clone public Effect repos into .analysis-output/, run effect-analyze (colocated

3 * .effect-analysis.md), and optionally run coverage audit and append a one-line

4 * summary to .analysis-output/NOTES.md.

5 *

6 * Usage: pnpm build && pnpm run analyze:public-repos [--refresh]

7 *

8 * --refresh Re-clone repos that already exist (default: skip existing clones).

9 *

10 * After running, review generated .effect-analysis.md files under .analysis-output

package.jsonView file

•stage = ast_semantic_analysis; reason = ast_parse_error; limitedFiles = 1

High

Semantic Analysis Limited

A bounded semantic-analysis stage reached its safety limit; remaining detectors completed, but this package requires AI review.

package.jsonView on unpkg

dist/diagram.cjsView file

•matchType = previous_version_dangerous_delta matchedPackage = effect-analyzer@3.5.0 matchedIdentity = npm:ZWZmZWN0LWFuYWx5emVy:3.5.0 similarity = 0.875 summary = stored previous version shares package body but lacks this dangerous source file

Critical

Previous Version Dangerous Delta

This package version adds a dangerous source file absent from the previous stored version; route for source-aware review.

dist/diagram.cjsView on unpkg

Source & flagged code

6 flagged · loading source

dist/rules.jsView file

88`&&c.push(S+1);let s=new Map,a=/\/\/\s*(eslint|effect-analyzer)-disable-(next-line|line)\b([^\n]*)/g,l;for(;(l=a.exec(o))!==null;){let S=l.index,b=1;for(let T=1;T<c.length&&!(c[T]>... L89: `)},Vd=(e=!0)=>JSON.stringify(Me(),null,e?2:0),La=()=>Me().map(e=>({id:`${e.domain}:${e.code}`,code:e.code,domain:e.domain,severity:e.severity,confidence:e.confidence,title:e.title... L90: `).trimEnd()},wf=(e,t)=>Pt(e).idsBySpanPath.get(Tn(t))??[];import{Option as Hi}from"effect";var Ff=e=>{let t=[],n=new Map,r=0,i=0,o=0;for(let a of e){let l=Za(a);t.push(...l);for(l...

High

Child Process

Package source references child process execution.

dist/rules.jsView on unpkg · L88

3`).map(a=>a.replace(/^\s*\*\s?/,"")).join(` L4: `),n=[],r,i=[],o,c=/@(param|returns?|throws?|exception|example)\s*(.*)/gi,s;for(;(s=c.exec(t))!==null;){let a=s[1].toLowerCase(),l=s[2].trim();if(a==="param"){let f=/^(?:\{[^}]*\}\... L5: `)}function Ad(e){return JSON.stringify({valid:e.valid,errorCount:e.errors.length,warningCount:e.warnings.length,diagnostics:e.diagnostics.map(t=>({rule:t.rule,severity:t.severity,...

Medium

Dynamic Require

Package source references dynamic require/import behavior.

dist/rules.jsView on unpkg · L3

dist/cli.jsView file

Findings

1 Critical5 High3 Medium4 Low

CriticalPrevious Version Dangerous Deltadist/diagram.cjs

HighChild Processdist/rules.js

HighShell

HighCredential Redirect Persistencedist/cli.js

HighCross File Remote Execution Contextscripts/analyze-public-repos.ts

HighSemantic Analysis Limitedpackage.json

MediumDynamic Requiredist/rules.js

MediumEnvironment Vars

MediumStructural Risk Force Deep Review

LowScripts Present

LowFilesystem

LowHigh Entropy Strings

LowUrl Strings

Affected versions and remediation

This report applies to effect-analyzer@3.4.1.

See all versions of effect-analyzer for other recorded verdicts.

Review the evidence and your use of effect-analyzer@3.4.1 before allowing it. Restrict the permissions described in this report.
Choose an independently verified alternative or release. This report does not establish that other versions are safe.

Evidence last updated: 2026-10-20 16:08:30.574Z (UTC).

Think this verdict is wrong? Dispute it on GitHub or read how reports are produced.

AI Security Review

Decision evidence

Source & flagged code

Source & flagged code

Findings

Affected versions and remediation

Runtime surface

Behavioral surface

Source & flagged code