diff options
| author | Theofilos Augoustis <37243696+taugoust@users.noreply.github.com> | 2025-11-07 09:54:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-07 09:54:27 +0100 |
| commit | a569419cf43d3c2a9cde150f46b6e30631fc6a5e (patch) | |
| tree | ee401db58089b13648d89e06fbb7f1ede1e0bf87 /reproducers/issue-1373.c | |
| parent | cfd9715eeff97c11ebc3f78288f9f516c79b0663 (diff) | |
| parent | 718d83441cb0039c18dad6d27ba8de39fd95a649 (diff) | |
| download | focaccia-a569419cf43d3c2a9cde150f46b6e30631fc6a5e.tar.gz focaccia-a569419cf43d3c2a9cde150f46b6e30631fc6a5e.zip | |
Merge pull request #21 from TUM-DSE/ck/reproducers
Add reproducers
Diffstat (limited to 'reproducers/issue-1373.c')
| -rw-r--r-- | reproducers/issue-1373.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/reproducers/issue-1373.c b/reproducers/issue-1373.c new file mode 100644 index 0000000..b9f100e --- /dev/null +++ b/reproducers/issue-1373.c @@ -0,0 +1,6 @@ +void main() { + asm("push 512; popfq;"); + asm("mov rax, 0xffffffff84fdbf24"); + asm("mov rbx, 0xb197d26043bec15d"); + asm("adox eax, ebx"); +} |