Benjamin Saunders

Taking hecs.

Yes, that is expressly insta-UB. It sounds like this is in fact already a present problem: > This is efficient and allows us to include borrow checking in release builds...

> I do not think an opt-out of these checks by itself is an issue. I think this is sound so long as the opt-out is itself marked `unsafe`. Of...

> (or we could use a feature-flag to disable the blanket component implementation) This would be an incorrect use of feature flags, because the capacity for a crate anywhere in...

It should be noted that the LLVM-related messages are non-fatal diagnostics, and do not necessarily indicate that LLVM/libclang won't link just fine; the actual fatal error here is due to...

The issue could be pursued upstream, and a patched version used in the mean time.

Sounds like it's trying to bake in the path to the LLVM build and assumes that'll be a suitable prefix for clang, which it isn't. If it just executed `clang`...

https://github.com/NixOS/nixpkgs/blob/master/pkgs/tools/security/aflplusplus/default.nix may also be of interest

As a user, I'd very much like to have a prebuilt *stable* version I could reference from CI scripts. The current downloads aren't useful for that partly because they're unstable,...

That includes quite a lot of stuff I *don't* need, and seems to be hidden behind similarly obfuscatory javascript besides.