Skip to content

[joern-scan] Propagate scan defaults into REPL and Scan#5855

Merged
max-leuthaeuser merged 4 commits intomasterfrom
max/issue5831
Mar 4, 2026
Merged

[joern-scan] Propagate scan defaults into REPL and Scan#5855
max-leuthaeuser merged 4 commits intomasterfrom
max/issue5831

Conversation

@max-leuthaeuser
Copy link
Contributor

Add scan-specific config fields (scanMaxCallDepth, scanScriptNames, scanTagNames) to BridgeBase.Config and inject Scan.defaultOpts into the generated REPL startup when running the scan plugin. Pass the scan defaults into ShellConfig from JoernScan so the interactive shell is preconfigured. Update Scan to prefer Scan.defaultOpts for max call depth (when the placeholder default is present) and to use default script names/tags when none are provided.

Fixes: #5831

Add scan-specific config fields (scanMaxCallDepth, scanScriptNames, scanTagNames) to BridgeBase.Config and inject Scan.defaultOpts into the generated REPL startup when running the scan plugin. Pass the scan defaults into ShellConfig from JoernScan so the interactive shell is preconfigured. Update Scan to prefer Scan.defaultOpts for max call depth (when the placeholder default is present) and to use default script names/tags when none are provided.

Fixes: #5831
@max-leuthaeuser max-leuthaeuser merged commit 47941fb into master Mar 4, 2026
8 checks passed
@max-leuthaeuser max-leuthaeuser deleted the max/issue5831 branch March 4, 2026 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bug] No result from Joern Scan with simple Use after free example

2 participants