Alexander Coffin

[NEW] DuckDuckGo Maps for Browser

2

[//]: # ( Fill out to the best of your ability. ) [//]: # ( If an item is not applicable, feel free to remove the line. ) | Checklist...

[https://github.com/prove-rs/z3.rs/blob/master/z3/src/ast.rs#L187](https://github.com/prove-rs/z3.rs/blob/master/z3/src/ast.rs#L187) should be marked as `unsafe` due to the fact that it uses a pointer that may be invalid. I realize that it checks if the pointer is null, but...

Improper shell quote handling

2

If the title is unsatisfactory feel free to change it (I was not sure of a proper title nor of the root cause of the bug). The following awk program...

DNSSEC, and DANE support

4

I'm not an expert on email, but my basic understanding is that normally server to server emails aren't very secure, and that as certain features of DMARC, DKIM, and SPF...