practicalswift (Thomas J)

Thanks for a great project! Really interesting to follow. It would be awesome to have [`libsecp256k1`](https://github.com/bitcoin-core/secp256k1) tested as part of the elliptic-curve-differential-fuzzer effort.

Very nice project! Having `noisecat` support `Noise_XK_secp256k1_ChaChaPoly_SHA256` (the Lightning variant of Noise) would be very useful when playing with Lightning Network related projects. See [BOLT #8: Encrypted and Authenticated Transport](https://github.com/lightningnetwork/lightning-rfc/blob/master/08-transport.md#noise-protocol-instantiation)...

Issues found during tinyformat audit (part of Bitcoin Core audit)

5

Hi all, First, thanks for creating the tinyformat library. Having an easy-to-use locale independent formatting library available under a permissive license is really nice! :) Bitcoin Core uses tinyformat for...

Unable to install under Ubuntu 18.04: Failed to read artifact descriptor for com.runtimeverification.rv_match:ocaml-backend:jar:1.0-SNAPSHOT

6

When installing and testing `kcc` under Ubuntu 18.04 LTS I encounter the following two errors: 1. ``` $ mvn dependency:copy -Dartifact=com.runtimeverification.rv_match:ocaml-backend:1.0-SNAPSHOT -DoutputDirectory=k-distribution/target/release/k/lib/java [ERROR] Failed to execute goal org.apache.maven.plugins:maven-dependency-plugin:3.1.1:copy (default-cli) on...

Opening a channel from the faucet to a `lightningd` node fails with the following error message: ``` lightningd(…): Peer …: Opening negotiation failed: feerate_per_kw 25000 above maximum 8860 ``` Opening...

Build failure under Ubuntu 18.04 with coqc 8.6

1

Thanks for a very interesting project! I had trouble building `ch2o` under Ubuntu 18.04 with `coqc` 8.6. What am I doing wrong? :-) ``` $ cat /etc/lsb-release DISTRIB_ID=Ubuntu DISTRIB_RELEASE=18.04 DISTRIB_CODENAME=bionic...

Heap buffer overflow in kilo's editor_update_syntax(…)

7

Hi, Kilo appears to have a heap buffer overflow triggered by the `memcmp` call [on line 475 of kilo.c](https://github.com/antirez/kilo/blob/master/kilo.c#L475): ``` int j; for (j = 0; keywords[j]; j++) { int...

Calling node->ToString on a node constructed from 2000 consecutive OP_FALSE opcodes causes execution to halt due to running out of stack space

1

Calling `node->ToString` on a node constructed from 2000 consecutive `OP_FALSE` opcodes causes execution to halt due to running out of stack space. The root cause is the unbounded recursion in...

Policies with too high nesting depth are not rejected: It is possible to create small inputs that cause extreme memory usage (in practice: OOM kill or std::bad_alloc)

1

Policies with too high nesting depth are not rejected: It is possible to create small inputs that cause extreme memory usage (in reality: OOM) and long running time. The `./threshold.py...

Missing "make check"

3

Missing `make check`. `make check` would simply run the test suite (`miniscript_tests.cpp`) :-)