Pierre C

@pollux7

Security & Open Source. Parse all the things.

Vrijeme pridruživanja: travanj 2009.

Tweetovi

Blokirali ste korisnika/cu @pollux7

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @pollux7

  1. proslijedio/la je Tweet
    5. velj
    Poništi
  2. proslijedio/la je Tweet
    19. pro 2019.

    Just released a new version of `cargo fuzz`! Lots of improvements under the covers, new `build` command, and better support for running particular inputs rather than a whole corpus! Check it out here: Or read the tutorial here:

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    19. pro 2019.

    We just released Rust 1.40.0 to the world, featuring #[non_exhaustive], NLL errors in Rust 2015, and much more! 🎉🎉🎉 Check out an exhaustive overview of the changes on our blog:

    Poništi
  4. proslijedio/la je Tweet
    5. pro 2019.

    New vulnerability lets attackers sniff or hijack VPN connections > impacted OSes: Linux, OpenBSD, FreeBSD, Android, macOS > impacted VPN tech: OpenVPN, WireGuard, and IKEv2/IPSec... and possible everything else

    Prikaži ovu nit
    Poništi
  5. 30. lis 2019.
    Poništi
  6. 1. lis 2019.
    Poništi
  7. proslijedio/la je Tweet

    overheard re CVE-2019-8605: free as in beer, free as in speech, free as in use-after: The freedoms of FLOSS C software

    Poništi
  8. proslijedio/la je Tweet
    15. kol 2019.

    Rust 1.37.0 has been released! 🎉🎉🎉 Check out the highlights of this release in our blog post:

    Poništi
  9. proslijedio/la je Tweet
    11. kol 2019.
    Poništi
  10. proslijedio/la je Tweet

    Upcoming Debian 10 Buster!

    Poništi
  11. 4. srp 2019.
    Poništi
  12. 4. srp 2019.
    Poništi
  13. 3. srp 2019.

    is ending Thanks to the organization, the speakers etc. for this great event, and see you next year!

    Poništi
  14. 3. srp 2019.

    Another example: Project Everest (TLS verified implementation, supported extraction to C code)

    Poništi
  15. 3. srp 2019.

    An example of C parser using verification to prove absence of runtime exceptions: x509-parser

    Poništi
  16. 3. srp 2019.

    Nice tutorial on how to prove program properties by Gabriel Scherer

    Poništi
  17. 2. srp 2019.

    Weird comparisons in PHP were part of my rump "Mind your Languages" in 2014 as weird language feature ! :) Quite funny to see it exploited

    Poništi
  18. proslijedio/la je Tweet
    2. srp 2019.

    there's a 0.3.0-beta3 version of cookie-factory, the Rust serializer library with a design similar to nom it is now accepting something that implements Write as argument, and supports no_std mode

    Poništi
  19. proslijedio/la je Tweet
    1. srp 2019.

    I'm excited to share a project that I've been working on: a brand-new version of 's SSL Configuration Generator: Configuring TLS is perhaps the most complicated and error-prone of all IT tasks, and this tries to make it as easy as possible.

    Poništi
  20. 1. srp 2019.

    cwe_checker is a BAP plugin to find vulnerable patterns in binary executables

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·