Sacha Ayoun
Sacha Ayoun
The documentation was a bit unclear, and after reading it, it was unclear to me what a concrete example of the behaviour described by the following sentence was: > This...
Hi! This PR aims at adding a `_latex` target to the `@doc` standard alias. There is no open issue containing the word `latex` so I thought I might just as...
**Describe the bug** I'm getting an error when compiling a projet : ``` Error: cannot parse file "path/to/harfbuzz.js" (orig:"path/to/harfbuzz.js" from l:3, c:0) ``` this file contains ```js // Provides: rehb_new_face...
Hello, I loaded packages (that are unfortunately not open-source) and built the callgraph using spark & VTA, and obtained this error: ``` Exception in thread "main" java.lang.NullPointerException at soot.jimple.spark.builder.MethodNodeFactory.caseStaticFieldRef(MethodNodeFactory.java:404) at...
Hi! This might, or might not be an actual bug report, it is very difficult to assess. We're using Soot as a library to extract some callgraphs. In particular, while...
Hello, I use soot to do the following: - Load some classes (by setting a process_dir and excluding the ones I don't want from it) - Build a callgraph -...
Hello! It looks like deriving `ord` when a type contains a variant called `Error` leads a bug. This is what happens:  While if we do the same thing with...
### Description of changes: Right now, because of CBMC, Kani produces a `x = nondet()` for a `Deinit(x)`. Progressing on #920, I'm making this small PR to mark these statements...
CBMC doesn't model pointer alignments, see #1168 . This leads to unsoundness in the kani proofs - although keep in mind that these are really corner cases. Rust expects pointers...
Hi ! It seems that `aws_string_new_from_array` is over allocating a bit of memory in each string. Because of the fact that `aws_string` is defined as follow : ```c struct aws_string...