Skip to content

docs: Correct code block formatting in README - #5

Merged
seqradev merged 1 commit into
mainfrom
seqradev-patch-1
Jan 16, 2026
Merged

docs: Correct code block formatting in README#5
seqradev merged 1 commit into
mainfrom
seqradev-patch-1

Conversation

@seqradev

Copy link
Copy Markdown
Member

No description provided.

@seqradev
seqradev merged commit 2360e97 into main Jan 16, 2026
5 checks passed
@seqradev
seqradev deleted the seqradev-patch-1 branch January 16, 2026 16:31
misonijnik pushed a commit that referenced this pull request Mar 19, 2026
misonijnik added a commit that referenced this pull request Mar 19, 2026
misonijnik pushed a commit that referenced this pull request Mar 19, 2026
* fix unknown object super class

* Fix cfg build performance
Saloed pushed a commit that referenced this pull request Mar 20, 2026
* Add `library` to yaml-serialization

* Add `dependencies` to yaml-serialization

* Add `bypassVerification` to yaml-serialization

* Add `taintCopyOnly`
Saloed pushed a commit that referenced this pull request Mar 20, 2026
* Add `library` to yaml-serialization

* Add `dependencies` to yaml-serialization

* Add `bypassVerification` to yaml-serialization

* Add `taintCopyOnly`
Saloed added a commit that referenced this pull request Jun 29, 2026
New sample packages under samples-go/ wired into GoSampleBasedTest, each
isolating a limitation found while improving the Go ruleset (see issues.md):

- TypedFieldReadSource (#1): typed receiver on a field-read source crashes
  analysis (IllegalStateException "Unsupported field-source position: This").
- InterfaceImplSink (#2): a typed receiver matches only the exact static
  type, not a concrete implementor of the interface.
- TypedArgSink (#3): a type ascription in argument position is ignored.
- FieldReadSink (#4): a field-read sink never fires in taint mode.
- MapValueToReceiver (#5): confirms the core DOES propagate a map value into
  a receiver-position sink, so the full-scan ServeJSON false-negative is an
  unroll-strategy/config issue, not a core bug.

#1-#4 are @disabled with a todo referencing the issue; removing @disabled
reproduces the bug now and the test should pass once it is fixed. #5 is
enabled and passing. Full GoSampleBasedTest: 89 tests, 0 failures, 5 skipped.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
misonijnik added a commit that referenced this pull request Jul 3, 2026
…equester.connect

Add a multi-statement ssrf sink pattern that follows a HttpHost
constructed from
untrusted data into connect:
  $HOST = new org.apache.hc.core5.http.HttpHost($UNTRUSTED); ...;
connect($HOST, ...)
This pairs with the field-sensitive HttpHost#<init> passThrough
(hostName vfield)
on the model branch. The #5 sample uses the intermediate-variable form
so the
pattern binds $HOST across the construction and the connect call. Suite:
OK 979.
misonijnik added a commit that referenced this pull request Jul 4, 2026
…equester.connect

Add a multi-statement ssrf sink pattern that follows a HttpHost
constructed from
untrusted data into connect:
  $HOST = new org.apache.hc.core5.http.HttpHost($UNTRUSTED); ...;
connect($HOST, ...)
This pairs with the field-sensitive HttpHost#<init> passThrough
(hostName vfield)
on the model branch. The #5 sample uses the intermediate-variable form
so the
pattern binds $HOST across the construction and the connect call. Suite:
OK 979.
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.

1 participant