-
Notifications
You must be signed in to change notification settings - Fork 15
fix(tracer): fix BSD-incompatible sed injection at remaining jvm/native call sites #2047
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
carlos-alm
merged 117 commits into
main
from
fix/issue-1913-tracer-sed-injection-uses-bsd-incompatible
Jul 11, 2026
+262
−43
Merged
Changes from all commits
Commits
Show all changes
117 commits
Select commit
Hold shift + click to select a range
2b6a00d
fix: scope codegraph batch complexity targets to file paths
carlos-alm b28051a
fix: exclude parameters and interface/type members from dead-role cla…
carlos-alm 17fbcba
fix: credit import-type usages as exports consumers
carlos-alm 26918bb
fix: prevent fn-impact/query crash when -f/--file is passed
carlos-alm be6432c
fix: correct exported-symbol detection for literal and object-literal…
carlos-alm 4ead840
fix: exclude primitive type keywords from ast --kind string matching
carlos-alm f6326bf
fix: resolve call edges through renamed import specifiers
carlos-alm 590f560
fix: couple file_hashes updates with edge regeneration in incremental…
carlos-alm d3ea4a4
fix: compare signature-change diffs using new-file line ranges
carlos-alm c306812
feat: add environment doctor check for stale native binary and missin…
carlos-alm 8bb5893
fix: eliminate non-deterministic ordering in community detection
carlos-alm 46037b1
fix: sync update-graph.sh hook extension allowlist with EXTENSIONS
carlos-alm 6a84cf9
fix: recompute directory structure metrics for affected directories o…
carlos-alm 8d936d1
refactor: register hardcoded execFileSync/execSync maxBuffer values i…
carlos-alm 11c84be
fix: gate blast-radius check on newly introduced risk, not pre-existi…
carlos-alm 963301a
fix: gate identifier-argument dynamic call edges on callback-acceptin…
carlos-alm 3e8035d
fix: gate Array.from's callback arg by position, not just callee name
carlos-alm 879635e
fix: scope reexportedSymbols to actually-named re-export specifiers
carlos-alm 0fe9fc3
fix: stop CFG block/edge count from overriding AST-derived cyclomatic…
carlos-alm ccf3c19
fix: backfill edges.technique for incrementally-inserted calls edges
carlos-alm d5b1162
fix: wrap remote embedding JSON parse failure in EngineError
carlos-alm 8971017
refactor: extract shared platform-default-path helper in config.ts
carlos-alm 056c5e4
refactor: decompose loadConfig and related high-effort functions in c…
carlos-alm 0738171
refactor: decompose findDbPath and openRepo in db/connection.ts (docs…
carlos-alm 6f2423c
refactor: dedupe busy/locked error detection into isBusyOrLockedError
carlos-alm 4c02378
fix: log statSync failures in findDbPath instead of silently swallowi…
carlos-alm 0698e16
test: add direct unit coverage for closeDbPair/closeDbPairDeferred/cl…
carlos-alm 4ac3b99
fix: correct blast-radius/fn-impact computation for line-shifted decl…
carlos-alm 6767f09
feat: wire points-to solver max-iterations cap through DEFAULTS.analy…
carlos-alm 5f6f30a
refactor: route console.log calls in domain/search through logger
carlos-alm b479318
refactor: reduce cyclomatic complexity of computeDeltaModularityDirected
carlos-alm c39ac40
refactor: unify impact-level rendering format between audit and fn-im…
carlos-alm 067674f
refactor: dedupe computeSavings via pct helper and persist partial to…
carlos-alm f6807b4
fix: add main.rs driver to rust dynamic tracer fixture
carlos-alm 1c07a54
fix: scope diff file-header detection to between-hunk positions
carlos-alm bf82aa2
fix: update titan-grind's dead-symbol script for current roles --json…
carlos-alm cd02d27
fix: thread configured busyTimeoutMs through remaining read-only quer…
carlos-alm 980b5dc
fix: resolve computed string-literal keys in object-literal extractio…
carlos-alm 4a873a3
fix: add same-class bare-call fallback to incremental rebuild path (d…
carlos-alm 8f3348a
fix: unify Object.defineProperty accessor fallback kind-filtering bet…
carlos-alm acf804c
refactor: share chunked statement-cache primitive between builder and…
carlos-alm 986c851
refactor: cache prepared statements in applyEdgeTechniquesAfterNative…
carlos-alm 71e9174
fix: replace fixed-depth directory-proximity check with symmetric dis…
carlos-alm d2935cc
refactor: remove unreachable Partition delta-computation interface me…
carlos-alm 6515186
fix: emit reference edges for function identifiers used as object-lit…
carlos-alm 30c491a
refactor: unify call-ref and tests rendering format between audit and…
carlos-alm 9db911b
fix: classify destructured bindings as constant, not function (docs c…
carlos-alm 70559fc
refactor: adopt timeMedian in remaining benchmark timing loops
carlos-alm 822e0eb
refactor: decompose runPerfBenchmarks in token-benchmark.ts
carlos-alm fcdfe7d
fix: attribute liveness to Lua functions assigned to global/builtin i…
carlos-alm ee6362c
refactor: extract shared sedi() helper for tracer scripts
carlos-alm d4e6212
fix: restore reflection dynamicKind for .call/.apply/.bind (docs chec…
carlos-alm aec5d2b
fix: restrict entry-role classification to function/method-kind symbo…
carlos-alm d250f8d
fix: credit destructured dynamic import() bindings as exports consumers
carlos-alm 75978e2
fix: recognize Lua function nodes in complexity metrics computation (…
carlos-alm af17b6d
fix: scope global call-resolution fallback to same-language candidate…
carlos-alm dd447bc
fix: credit instanceof ClassName checks as exports consumers
carlos-alm a79a8a1
fix: update automated-review workflow to use current claude-code-acti…
carlos-alm d84f6b5
refactor: widen outputResult signature, remove redundant casts at cal…
carlos-alm e7a2255
fix: port Leiden algorithm to native Rust for cross-engine community-…
carlos-alm b54972a
feat: detect exported-symbol loss from full file deletion in checkNoS…
carlos-alm 1821a8b
fix(complexity): scope summary stats to file/target/kind filters
carlos-alm d45aba7
fix(extractors): label property_signature interface/type members as k…
carlos-alm 69d8a6f
fix(roles): exclude genuine class/struct properties from dead-role cl…
carlos-alm db08219
fix(resolver): scope extends/implements edges to same-file/import/lan…
carlos-alm 79cd761
fix: track inline per-specifier type-only import modifier
carlos-alm cbfa954
fix(native): widen NativeRepository file filters to accept string[]
carlos-alm c0e7eae
fix(native): remove unused source param from get_first_call_arg
carlos-alm 2dabe21
fix(extractors): align native/WASM definitions order for object-liter…
carlos-alm b1eb9af
fix(extractors): capture top-level const definitions regardless of in…
carlos-alm 4a1e279
fix: exclude PHP scalar type-hint/cast keywords from ast --kind string
carlos-alm 40b5e24
fix: track barrel re-export renames (export { X as Y } from ...)
carlos-alm 1506896
fix: record local alias for dynamic import() destructuring renames
carlos-alm 2dfd6bc
fix: resolve renamed-import receiver calls in qualified-method lookup
carlos-alm ccea0cb
fix(native): propagate edge/node write failures out of run_pipeline
carlos-alm 93ccfa3
fix(exports): discriminate file-level from symbol-level consumer entries
carlos-alm e105c26
docs: refresh CONTRIBUTING.md for TypeScript architecture and current…
carlos-alm 5d99bf0
fix(exports): credit plain imports of TypeScript interfaces/type aliases
carlos-alm e0ab9dc
fix(hooks): point update-graph.sh fallback build path at dist/cli.js
carlos-alm 730b49b
fix(hooks): resolve track-edits.sh's PROJECT_DIR from the edited file…
carlos-alm 0d7e8e6
fix: capture removed files' cross-directory neighbors before purge
carlos-alm c5b9a34
docs: fix stale codegraph check flag names in recommended-practices.md
carlos-alm 2de6550
fix(cycles): classify cycles whose only closing edges are speculative
carlos-alm e5fe754
fix(resolver): recognize identifier args to user-defined higher-order…
carlos-alm 4eef28e
fix(native): scope barrel-only import skipping to transient barrel re…
carlos-alm 4090355
refactor(ast-analysis): extract shared CFG/complexity result-merging …
carlos-alm bf8e969
fix(incremental): port CHA/RTA dispatch, points-to, and dynamic-sink …
carlos-alm 51b9e23
fix(config): derive ENV_LLM_KEYS from ENV_LLM_MAP to prevent drift
carlos-alm a62bab7
fix(resolver): resolveByGlobal picks the single best match, not every…
carlos-alm 8f52d28
fix(embed): resolve default DB path from positional dir, not cwd
carlos-alm 59220a5
refactor(leiden): extract makePartition's inline getters to cut cyclo…
carlos-alm 2e1aa11
docs: regenerate stale audit/diff-impact example output blocks
carlos-alm 3d436ca
fix(rust): resolve self.field, unit-struct, and constructor-typed locals
carlos-alm 668451c
docs: add missing titan-grind mirror to claude-code-skills examples
carlos-alm 4bccd4b
fix(scripts): migrate ts-resolve-loader.js off deprecated module.regi…
carlos-alm 25ba42f
fix(native): recover renamed import names in the FFI hybrid import-ed…
carlos-alm 431c0e5
fix: reconnect reverse-dep edges correctly when a sibling group's siz…
carlos-alm ab6a685
fix: derive loadConfig() rootDir from --db path in read-only query fu…
carlos-alm 17e265b
fix(native): thread config.db.busyTimeoutMs into NativeDatabase open …
carlos-alm fdedff8
fix(extractors): unwrap computed string-literal keys in typeMap/proto…
carlos-alm 6ef1731
fix(native): add Object.defineProperty accessor dispatch post-pass to…
carlos-alm afca17f
fix(resolver): kind-filter same-file bare-name lookup for receiver-be…
carlos-alm 801d290
fix(resolver): attribute new ClassName() calls to the constructor method
carlos-alm a45e74d
fix(extractors): attribute same-file ES6 getter/setter property reads…
carlos-alm 453a768
fix(resolver): require invocation evidence for object-literal value-r…
carlos-alm 1d957a4
fix(extractors): resolve inline object-literal dispatch tables on WASM
carlos-alm 438f2da
fix(extractors): emit per-element definitions for array-pattern destr…
carlos-alm 0a07066
fix(scripts): resolve benchmark hub targets to a single, kind-filtere…
carlos-alm 5933236
refactor(scripts): decompose runSession in token-benchmark.ts
carlos-alm 771a64c
fix(scripts): resolve token-benchmark.ts --perf imports to real neste…
carlos-alm 2810b4c
fix(lua): port eval/computed-key dynamic-call detection to WASM extra…
carlos-alm b63a700
docs(roles): correct hasActiveFileSiblings JSDoc to match population …
carlos-alm 8e3d353
fix(tracer): fix BSD-incompatible sed injection at remaining jvm/nati…
carlos-alm af58002
fix: resolve merge conflicts with main (docs check acknowledged)
carlos-alm f978eb0
fix: correct sedi_insert_before docstring to say every match, not fir…
carlos-alm 3dabba5
test: document why tracer-common.sh is excluded from the sed-injectio…
carlos-alm def6c68
fix(tracer): avoid GNU sed -i cross-device rename failure on Windows CI
carlos-alm File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
169 changes: 169 additions & 0 deletions
169
tests/benchmarks/resolution/tracer/tracer-common.test.ts
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,169 @@ | ||
| /** | ||
| * Regression coverage for #1913: the sed-injection helpers in | ||
| * tracer-common.sh must produce output that is byte-identical on GNU sed | ||
| * (Linux CI) and BSD sed (macOS dev boxes), which — unlike GNU — rejects the | ||
| * single-line `a\text` / `i\text` shortcut and requires the text on the line | ||
| * after the backslash. | ||
| * | ||
| * These tests exercise the shared helpers directly with bash + sed (whatever | ||
| * sed the host provides), independent of any per-language compiler toolchain | ||
| * (javac/kotlinc/scalac/groovyc/dotnet/dart/zig), so they run identically in | ||
| * every environment regardless of which toolchains happen to be installed. | ||
| */ | ||
| import { execFileSync } from 'node:child_process'; | ||
| import fs from 'node:fs'; | ||
| import os from 'node:os'; | ||
| import path from 'node:path'; | ||
| import { fileURLToPath } from 'node:url'; | ||
| import { afterEach, beforeEach, describe, expect, it } from 'vitest'; | ||
|
|
||
| const __dirname = path.dirname(fileURLToPath(import.meta.url)); | ||
| const TRACER_DIR = __dirname; | ||
| const TRACER_COMMON = path.join(TRACER_DIR, 'tracer-common.sh'); | ||
|
|
||
| function runHelper(fnCall: string, file: string): string { | ||
| execFileSync('bash', ['-c', `source "${TRACER_COMMON}"; ${fnCall}`]); | ||
| return fs.readFileSync(file, 'utf8'); | ||
| } | ||
|
|
||
| describe('tracer-common.sh sed-injection helpers (#1913)', () => { | ||
| let tmpDir: string; | ||
|
|
||
| beforeEach(() => { | ||
| tmpDir = fs.realpathSync(fs.mkdtempSync(path.join(os.tmpdir(), 'tracer-common-test-'))); | ||
| }); | ||
|
|
||
| afterEach(() => { | ||
| fs.rmSync(tmpDir, { recursive: true, force: true }); | ||
| }); | ||
|
|
||
| it('sedi_insert_before inserts text directly before the matching line (native-tracer.sh csharp RunWithValidation site)', () => { | ||
| const file = path.join(tmpDir, 'Program.cs'); | ||
| fs.writeFileSync( | ||
| file, | ||
| [ | ||
| 'class Program {', | ||
| ' public static void Main() {', | ||
| ' CallTracer.Dump();', | ||
| ' }', | ||
| '}', | ||
| '', | ||
| ].join('\n'), | ||
| ); | ||
|
|
||
| const out = runHelper( | ||
| `sedi_insert_before '/CallTracer.Dump/' ' RunWithValidation();' "${file}"`, | ||
| file, | ||
| ); | ||
|
|
||
| expect(out).toContain(' RunWithValidation();\n CallTracer.Dump();'); | ||
| }); | ||
|
|
||
| it('sedi_insert_before_end inserts before the matching brace within a range (jvm/native dump-injection sites)', () => { | ||
| const file = path.join(tmpDir, 'main.dart'); | ||
| fs.writeFileSync(file, ['void main() {', ' print(1);', '}', ''].join('\n')); | ||
|
|
||
| const out = runHelper( | ||
| `sedi_insert_before_end '/^void main/' '/^\\}/' '/^\\}/' ' CallTracer.instance.dump();' "${file}"`, | ||
| file, | ||
| ); | ||
|
|
||
| expect(out.split('\n')).toEqual([ | ||
| 'void main() {', | ||
| ' print(1);', | ||
| ' CallTracer.instance.dump();', | ||
| '}', | ||
| '', | ||
| ]); | ||
| }); | ||
|
|
||
| it('sedi_insert_before_end honors distinct range-end and insert-line patterns (jvm-tracer.sh java dump site)', () => { | ||
| // java's dump site scopes the range with a loose /\}/ end-address but | ||
| // only inserts before a line that is *purely* a closing brace, so the | ||
| // range and insertion patterns must be tracked independently. | ||
| const file = path.join(tmpDir, 'Main.java'); | ||
| fs.writeFileSync( | ||
| file, | ||
| [ | ||
| 'public class Main {', | ||
| ' public static void main(String[] args) {', | ||
| ' foo();', | ||
| ' }', | ||
| '}', | ||
| '', | ||
| ].join('\n'), | ||
| ); | ||
|
|
||
| const out = runHelper( | ||
| `sedi_insert_before_end '/public static void main/' '/\\}/' '/^[[:space:]]*\\}/' ' CallTracer.dump();' "${file}"`, | ||
| file, | ||
| ); | ||
|
|
||
| expect(out).toContain(' foo();\n CallTracer.dump();\n }\n}'); | ||
| }); | ||
|
|
||
| it('sedi_append_unless appends after matching lines except negated ones, including a space before the brace (jvm-tracer.sh java/groovy per-method sites)', () => { | ||
| const file = path.join(tmpDir, 'BaseService.java'); | ||
| fs.writeFileSync( | ||
| file, | ||
| [ | ||
| 'public abstract class BaseService {', | ||
| '', | ||
| ' protected void log(String message) {', | ||
| ' System.out.println(message);', | ||
| ' }', | ||
| '}', | ||
| '', | ||
| ].join('\n'), | ||
| ); | ||
|
|
||
| const out = runHelper( | ||
| `sedi_append_unless '/\\)[[:space:]]*\\{$/' '/class |interface /' ' CallTracer.traceCall();' "${file}"`, | ||
| file, | ||
| ); | ||
|
|
||
| // The method signature line (ending in ") {") gets the call appended... | ||
| expect(out).toContain( | ||
| ' protected void log(String message) {\n CallTracer.traceCall();', | ||
| ); | ||
| // ...but the class declaration line (also ending in "{") is excluded. | ||
| expect(out.split('\n')[0]).toBe('public abstract class BaseService {'); | ||
| }); | ||
|
|
||
| it('rejects a regression back to the GNU-only single-line a\\/i\\ shortcut in the tracer scripts', () => { | ||
| // Every dump()/traceCall() injection now goes through the shared helpers | ||
| // above, so the raw sed scripts embedded directly in the language | ||
| // tracers should contain zero remaining single-line "i\text"/"a\text" | ||
| // occurrences (the exact defect #1913 fixed) — this guards against | ||
| // future injection sites reintroducing the GNU-only shortcut. | ||
| // | ||
| // tracer-common.sh itself is deliberately NOT in this list: its helpers | ||
| // build the sed script inside double-quoted bash strings, so a literal | ||
| // backslash is written as "i\\" (escaped for the enclosing quotes) | ||
| // immediately followed by a newline. That raw "\\" trips the /[ai]\\\S/ | ||
| // pattern below as a false positive — the second backslash satisfies \S | ||
| // — even though it's the correct portable multi-line form, not the | ||
| // banned single-line shortcut. Trade-off: a future helper mistakenly | ||
| // written with the real GNU-only form directly inside tracer-common.sh | ||
| // would go undetected by this guard. | ||
| const guardedFiles = ['jvm-tracer.sh', 'native-tracer.sh', 'go-tracer.sh']; | ||
|
|
||
| for (const name of guardedFiles) { | ||
| const code = fs | ||
| .readFileSync(path.join(TRACER_DIR, name), 'utf8') | ||
| .split('\n') | ||
| // Drop comment lines so prose that *describes* the banned form (as | ||
| // this very fix's changelog comments do) isn't mistaken for it. | ||
| .filter((line) => !line.trim().startsWith('#')) | ||
| .join('\n'); | ||
| // \S excludes the newline that must immediately follow a portable | ||
| // "i\" / "a\" — so this only matches the banned single-line form | ||
| // where real text follows the backslash on the same line. | ||
| const offender = code.match(/[ai]\\\S/); | ||
| expect( | ||
| offender, | ||
| `${name} contains a GNU-only single-line a\\/i\\ form: ${offender}`, | ||
| ).toBeNull(); | ||
| } | ||
| }); | ||
| }); | ||
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
tracer-common.shitselfThe guard intentionally skips
tracer-common.shto avoid false-positives from thei\\in the helpers' own portable implementation (the JS regex/[ai]\\\S/would match the second backslash ini\\<newline>text). That's the right trade-off, but it means a new injection helper mistakenly written with the GNU-only form directly insidetracer-common.shwould go undetected. A comment in the test recording why the file is excluded would make this intentional gap visible to the next contributor.Note: If this suggestion doesn't match your team's coding style, reply to this and let me know. I'll remember it for next time!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Added a comment at the
guardedFilesdeclaration documenting the exclusion (commit 3dabba5) — records that tracer-common.sh's own helpers embed a literali\\(escaped for the enclosing double-quoted bash string) immediately followed by a newline, which trips the/[ai]\\\S/pattern as a false positive since the second backslash satisfies\S, and notes the resulting trade-off explicitly: a real GNU-only shortcut added directly inside tracer-common.sh would go undetected by this guard.