Adam

``` cstool -d arm64 '40809f4c' 0 40 80 9f 4c st2 {v0.16b, v1.16b}, [x2], #32 ID: 710 (st2) op_count: 3 operands[0].type: REG = v0 operands[0].access: READ Vector Arrangement Specifier: 0x1...

AArch64 cond operands

1

There are a number of ARM64 instructions that represent a condition code as an operand. These include: ``` ccmn, ccmp, cinc, cinv, cneg, csel, cset, csetm, csinc, csinv, csneg, fccmp,...

ARM: op.shift.value and op.mem.lshift differ for shifted index reg

1

For the following ARM instruction's memory operand, capstone reports `op.shift.value` of `2`, but `op.mem.lshift` of `0`. ``` ldr r0, [r1, r2, lsl #2] ``` The header file seems to suggest...

The aliases `sxtl{2}` and `uxtl{2}` are preferred over `SSHLL{2} ., ., #0` and `USHLL{2} ., ., #0`. New test cases: ``` !# sxtl/uxtl aliases !# CS_ARCH_ARM64, CS_MODE_ARM, CS_OPT_DETAIL 0x20,0xa4,0x08,0x0f ==...

cstest does not test multiple instruction lines per issue

1

The `cstest` regression test suite specifies tests using something like this: ``` !# issue 1661 M68K invalid transfer direction in MOVEC instruction !# CS_ARCH_M68K, CS_MODE_BIG_ENDIAN | CS_MODE_M68K_040, None 0x4E,0x7A,0x00,0x02 ==...

The following aarch64 SVE2 splice instructions do not assemble correctly. I assembled these instructions using `-march=armv8-a+sve2` with `aarch64-linux-gnu-gcc`. I tried disassembling these with `cstool` built from the commit on the...

Assertion failure: `index.isDefined(var.getName()) && "variable not grounded"'

6

Souffle fails an assertion for the example below. This occurs in release 2.3 and latest master (ecee065f54bea9f0caf7b7508b17577948c277ea). ``` $ souffle -g test.cpp test.dl souffle: /home/aseitz/Projects/souffle/src/ast2ram/seminaive/ValueTranslator.cpp:47: virtual souffle::Own souffle::ast2ram::seminaive::ValueTranslator::visit_(souffle::type_identity, const souffle::ast::Variable&):...

Segmentation fault with ungrounded variable (record + inline)

2

Souffle generates a segmentation fault when printing error message for ungrounded variable in a record when the rule is inlined, see below. This occurs in release 2.3 and latest master...

Unpacking a record seems to prevent indexing on the record ID

1

This issue regards inefficient query plan generation when using records, similar to #2211, but I think it's sufficiently different case to warrant another issue. Consider this program: ``` .type node_t...

Generated C++ compile time regression

4

The latest commit of Souffle, 66b96fd07e7124d0e46bcf7cdc1cc5bf61f54cc3, generates C++ code that takes substantially longer to build than previous Souffle versions. This regression appears to be introduced by https://github.com/souffle-lang/souffle/pull/2215. (As a note,...