Jingxuan He

Hi, Our automatic tool detected this statically. We manually checked it and identified it as a bug, because `self.node_index` is a `dict` (for example, see [this line](https://github.com/tensorflow/tensorflow/blob/87c892726d1ca89d24d4e384482a1c6bbbb4e1aa/tensorflow/python/autograph/pyct/cfg.py#L349)) and thus the...

These binaries are taken from [Ubuntu Debug Symbol Packages](https://wiki.ubuntu.com/Debug%20Symbol%20Packages). `pyelftools` can also parse these binaries. Check [this line](https://github.com/eliben/pyelftools/blob/master/elftools/elf/sections.py#L34) and [this line](https://github.com/eliben/pyelftools/blob/master/elftools/elf/sections.py#L82) from `pyelftools` on how it handles compressed sections.

I encountered the same issue. Please fix it. bug reproduction: ``` from capstone import Cs, CS_ARCH_ARM, CS_MODE_THUMB cs = Cs(CS_ARCH_ARM, CS_MODE_THUMB) cs.detail = True inst = list(cs.disasm(bytearray([0x57, 0xf8, 0x23, 0x00]),...

Hi, Can you provide a formatted version of the error? It is hard for me to find the cause with the unformatted version. Best, Jingxuan

Hi, It is also hard for me to find the root cause. Can you provide more information? One possible reason is out-of-memory error if you run the scripts with too...

This bug was spotted by our automated tool statically. I am not familiar with the codebase so it would be difficult for me to add a test.

Any news on this?

The tool based one our latest ICML'22 paper. Link to the [paper](https://arxiv.org/abs/2204.10049) and the [repo](https://github.com/eth-sri/learning-real-bug-detector).

> Interesting, but I think without the automated false-positive detection and lack of reasoning leading to why it should be fixed it might be more noise than help. To be...

@potiuk No.