Flavio Toffalini

forging chunk issues

2

Hi! I am trying "forging chunks" in a x64 machine, Ubuntu 18.04.2 LTS. This is the code I am execution + some printf for debug. ``` #include #include #include int...

Hi! I am trying to use the `linux_process_stack` plugin (this one https://github.com/volatilityfoundation/volatility/blob/master/volatility/plugins/linux/process_stack.py). The environment is a Linux machine with Ubuntu 18.04. I am wondering, is this plugin is still maintained?...

Taint analysis and aliases

7

I am trying to use SVF to build analysis, but I am not sure what SVF's component better fits my needs. First, I describe my problem along with a couple...

Hi, I am trying the samples in SGX-LKL, in particular redis. I am in an Ubuntu 18.04. I manged to succesfully run `helloworld` from the sample folder. Morever, I use...

dump and restore point-to analysis

8

Is there a way to store the result of a point-to-analysis (or PTACallGraph)? My problem is that the point to analysis takes hours for big projects (such as OpenSSL). I...

custom point to analysis

4

As a follow up of [this issue](https://github.com/SVF-tools/SVF/issues/1166). I tried to implement my custom point to analysis. I extended the FlowSensitive analysis with a custom subclass: `class MyAnalysis : public FlowSensitive`....

FlowSensitive analysis do not recolve indirect jumps.

4

Hi! I am using the last SVF commit `f889cfbf7a4694183abbb3417f81887a44acab29` and I noticed the FlowSensitive analysis seems not to resolve the indirect jumps. Let's take this C snippet of code. ```C...

Assertion `iter!=objSymMap.end() && "obj sym not found"

11

Hi, I am analyzing libxml2 compiled with `-O0 -g`, but seems that SVG generates an internal error when updating the call-graph. It seems an internal error of SVF. I am...

cJSON_DeleteItemFromArray considers dicts and arrays equally

1

I noticed the function `cJSON_DeleteItemFromArray` does not distinguish between arrays and dicts. Check this example: ```C int main(int argc, char** argv) { cJSON *cjson_0 = nullptr; char *x = "{\"\":...

Strange behavior observed in cJSON_ReplaceItemInArray

1

I encountered this strange behavior in the API `cJSON_ReplaceItemInArray`. Here below I paste a minimal example and an explanation. I replicated this error in the latest cJSON commit `87d8f0961a01bf09bef98ff89bae9fdec42181ee`, and...