Georgiy Komarov

The use of hardcoded physical addresses should be avoided. So, we have to report any physical address in the code, except those that are used when initializing variables: ``` PROGRAM...

We should use automated release generation for the project for Linux and Windows. The most challenging step here is Windows support. Currently, I use [a Cygwin-based OCaml environment](https://ocaml.org/docs/ocaml-on-windows), that contains...

I encounter build errors when building [the Resource Leak analysis lab](https://github.com/facebook/infer/blob/main/infer/src/labs/) with `docker` according to [its documentation](https://github.com/facebook/infer/blob/main/infer/src/labs/README.md#a-with-docker). I run it in the docker as described in step 1: `docker run...

## Summary - [n] y/n | Does it introduce breaking changes? - [n] y/n | Is it dependant on the specific version of `cargo-contract` or `pallet-contracts`? ## Description Allows to...

In Rust, integer division might unexpectedly result with `0`: ```rust let a: u32 = 2; let b: u32 = 4; let c: u32 = a / b * 8; //...

Using [`self.env().transferred_value()`](https://docs.rs/ink_env/4.0.0/ink_env/fn.transferred_value.html) inside a loop is a dangerous pattern, as it typically assumes that this value will be updated each iteration. The Opyn vulnerability described in the [ToB](https://blog.trailofbits.com/2021/12/16/detecting-miso-and-opyns-msg-value-reuse-vulnerability-with-slither/) and [PeckShield](https://scribe.rip/opyn-hacks-root-cause-analysis-c65f3fe249db)...

The contract call that uses [DelegateCall](https://paritytech.github.io/ink/ink_env/call/struct.DelegateCall.html) must be protected with access controls that check the address of the caller. That's important because the untrusted code called with `DelegateCall` can change...

The [`terminate_contract`](https://paritytech.github.io/ink/ink_env/fn.terminate_contract.html) function call must be protected with access controls that check the address of the caller. This is necessary to avoid destructing the contract by malicious third-parties. Examples: ```rust...

Closes #577

Currently, `scilla-check` cannot return typechecker warnings in JSON format. We need this feature to write unit tests for contracts that don't pass type checking. This will allow us to test...