Chi Zhang

Compile error on Windows

4

I want to compile bincat on Windows and follow this [link,](https://github.com/airbus-seclab/bincat/blob/master/doc/windows_build.md), then meet this error: ``` $ make windist PYTHON=python Compiling OCaml part................................................. make[1]: Entering directory '/home/SEG_ZC/bincat/ocaml/src' ocamllex frontend/lexer.mll 57...

I want to develop another IDA plugins and call pathcing api in other plugins to modify the assembly code, does patching support this operation?

How to determine if a packet is malicious packets vim pacp file

how to download the elf file

12

very sorry for interrupting you. can you tell me how to download the elf file? i can't use the flash() or flash_file() to download the elf file.

When building the qemu image, there will be a timeout

9

Hi, When I building the qemu disk image, there will be a timeout.  How can I do to fix it? Thank you

Insufficient checking on unground variable

1

Hi, Consider the following program: ``` .type typeHejh = symbol .type typeMrgs = unsigned .type typeAiik = symbol .decl tdfw(A:float, B:float, C:float) .decl hhxs(A:typeHejh, B:typeAiik, C:number, D:typeAiik) .decl vxeo(A:typeHejh, B:symbol,...

Assertion failure on `Auto-Scheduling`

1

The following program triggers an assertion failure: ``` .decl A(x:float) .decl B(x: unsigned) .decl res(a:float) .output res A(-1). B(1). res(a) :- B(x), A(a). ``` This is the command: ``` souffle...

"inline" causes assertion failure "functor type not set"

3

Hi, The following program meets assertion failure: ``` .decl xxjm(A:unsigned) .decl muis(A:number, B:unsigned) .decl nngh(A:number, B:unsigned, C:number, D:unsigned, E:unsigned, F:unsigned, G:number, H:unsigned) btree .decl mspn(A:number, B:unsigned, C:unsigned) no_magic .decl bcqg(A:number,...

Negative zero causes different results for interpreter mode and compiler mode

15

Hi, This problem related to #1378 . But I find that negative zero causes different results for interpreter mode and compiler mode (with `-c`). This is the dl file and...

`inline` causes assertion failure `numeric constant type not set`

1

Hi, Consider the following program: ``` .type typeUllz