kaidokert / fixed-bigint-rs / 26998457324
98%
main: 98%

LAST BUILD BRANCH: asm-grep-helper-scope
DEFAULT BRANCH: main
Ran
Jobs 1
Files 26
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 98.316%. Remained the same
26998457324

Pull #122

github

kaidokert 
Strip +offset/-offset/@plt suffixes from captured call targets

`objdump` decorates the call-target operand differently depending on
file format and reloc type:

- ELF GOTPCREL: `R_X86_64_GOTPCREL _ZN…E-0x4`
- Inline tag with non-zero offset: `<some_helper+0x10>`
- PLT decoration: `<memcpy@plt>`
- GOT decoration: `<__some_sym@GOTPCREL>`

The previous capture took the whole token, so on every ELF target the
reachability walker silently dropped most edges (Codex verified on
x86_64-linux: `helpers scanned: 0`). Mach-O on aarch64-apple-darwin
happened to print bare names in the relocation form, which is why the
local smoke missed it.

Normalise via a single helper that truncates at the first `+` / `-` /
`@` / whitespace, applied at both extraction sites (relocation line
and inline `<…>` tag). Also widen the inline-tag regex to tolerate
the trailing `@ imm = #0x…` annotation that thumb objdump appends.

Add compiler-builtin / libc memset-family allowlist entries:
`__aeabi_memcpy/set/clr/move` (ARM EABI) and bare `memcpy/set/clr/
move/cmp` and `bcmp` (Linux/Mach-O). These get pulled in transitively
from anything doing array initialisation; their branches are
size-bound (public parameter), same shape as our own per-limb loops.
Pull Request #122: Extend asm-grep scope to follow helpers reachable from fixtures

2860 of 2909 relevant lines covered (98.32%)

367.57 hits per line

Jobs
ID Job ID Ran Files Coverage
1 26998457324.1 26
98.32
 GitHub Action Run
Source Files on build 26998457324