Theofilos Petsios

Hello, getting the following error in neovim, after running `LspServerInstall` ``` Error detected while processing function 183_recompute_pum[42]..183_default_preprocessor: line 6: E716: Key not present in Dictionary: "asyncomplete_lsp_pyls-all" Press ENTER or type...

Add option to highlight variables that escape in the heap

1

This related to issue #231. It would be useful to have an option to highlight variables that are escaping in the heap.

Issue with continuous indentation in Java

1

Hello all, any help for generating the following in Java would be greatly appreciated. Using `Uncrustify-0.72.0_f` with the attached config [uncrustify.txt](https://github.com/uncrustify/uncrustify/files/5513995/uncrustify.txt) I am trying to match an Intellij config using...

Modify geth flags (fixes #88, #90)

1

This PR modifies geth invocation flags to allow this to run in newer versions. Old functionality allowing unlocking accounts with HTTP is now disabled, so the default flags for invoking...

Getting the following when running `etheno --geth -j genesis.json` ``` Traceback (most recent call last): File "/Users/nettrino/venvs/etheno/bin/etheno", line 8, in sys.exit(main()) File "/Users/nettrino/venvs/etheno/lib/python3.9/site-packages/etheno/__main__.py", line 204, in main private_key=decode_value(pkey))) File "/Users/nettrino/venvs/etheno/lib/python3.9/site-packages/etheno/utils.py",...

The following table is not rendered properly: | Name | Type | Required | Description | |:-----------: |:--------: |:--------: |:-----------------------------------------------------------------------------------------------------------------------------------------------------------: | | xxxx | xxxxxxxx | ✓ | xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx |...

Getting compilation error in OS X with test contracts

9

Analysis passes for examples 1 and 2 however I am getting the following error in OS X for the `leak_unsafe` contract as well as a contract I want to test...

Running a fresh nginx installed test in ubuntu 20.04.4 LTS yields ``` nginx 1.21.1: pts/nginx-2.0.1 [Concurrent Requests: 20] Test 1 of 1 Estimated Trial Run Count: 3 Estimated Time To...

Unhandled exception. System.Exception: Failed to analyze trampoline code

2

And another one (see [test2.zip](https://github.com/SoftSec-KAIST/Smartian/files/8048606/test2.zip)) ``` Unhandled exception. System.Exception: Failed to analyze trampoline code at B2R2.MiddleEnd.Reclaimer.EVMTrampolineAnalysis.analyzeTrampoline(BinEssence ess) in /mnt/c/Workspace/Smartian/EVMAnalysis/B2R2/src/MiddleEnd/Reclaimer/EVMTrampolineAnalysis.fs:line 127 at B2R2.MiddleEnd.Reclaimer.EVMTrampolineAnalysis.B2R2.MiddleEnd.Reclaimer.IAnalysis.Run(BinEssence ess, AnalysisHint hint) in /mnt/c/Workspace/Smartian/EVMAnalysis/B2R2/src/MiddleEnd/Reclaimer/EVMTrampolineAnalysis.fs:line 135 at Microsoft.FSharp.Collections.ListModule.Fold[T,TState](FSharpFunc`2...

Unhandled exception. System.OverflowException: Value was either too large or too small for a UInt64.

3

Hello, Analyzing a sample contract and got the following unhandled exception: ``` Unhandled exception. System.OverflowException: Value was either too large or too small for a UInt64. at System.Numerics.BigInteger.op_Explicit(BigInteger value) at...