Lucía Martinez Gavier

false negative when using not

2

When using `not:` in this case, the order of the lines are not considered ```bash weggli '{ function(_($param)); NOT: $foo = _; function(); }' /target/src ``` for example, with this...

It would be nice to have a flag like the `--error` flag in semgrep that exit 1 if there are findings.

Unable to parse labels at end of block

1

Raises `pycparser.plyparser.ParseError` when a label is at the end of a block. For example, the following code fails: ```python from pycparser import CParser ast = CParser().parse( """ int main(){ label:...

Evaluate memory contents

1

### Question Hello! I have the following instruction in a binary: ```s add (%rdi),%eax ``` I want to evaluate the memory content in the address dereferenced there (with some other...

Missing Edge in DDG Graph When Using mov with Immediate Value

4

### Description When analyzing a small binary with the Data Dependency Graph (DDG), the graph misses an edge when the mov instruction is used with an immediate value. Example 1:...