Stories tagged as c – C programming
  1. 5
    7-Zip: From Uninitialized Memory to Remote Code Execution c c++ security landave.io
    czocher avatar via czocher 4 months ago | cached | no comments
  2. 8
    Formal Verification With Frama-C: A Case Study in the Space Software Domain (2015) ☶ pdf c formalmethods repositorio.inesctec.pt
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  3. 5
    Minimal Binary Generator for *Nix Operating Systems c c++ unix github.com
    jakob avatar via jakob 4 months ago | cached | 1 comment
  4. 11
    GCC 8.1 Released c c++ release gcc.gnu.org
    Forty-Bot avatar via Forty-Bot 4 months ago | cached | 4 comments
  5. 17
    cdecl: C gibberish ↔ English c cdecl.org
    tobym avatar via tobym 4 months ago | cached | 3 comments
  6. 14
    Underscore Pi c codeexplainer.wordpress.com
    calvin avatar via calvin 4 months ago | cached | 1 comment
  7. 34
    C Is Not a Low-Level Language c compilers hardware queue.acm.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 46 comments
  8. 1
    Counterexample-Guided k-Induction for Fast Bug Detection ☶ pdf c formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  9. 13
    How the C Programming Language Was Created And What Was Forgotten As a Result ☶ video c historical youtube.com
    mihaitodor avatar via mihaitodor 4 months ago | cached | 4 comments
  10. 4
    Kore routing c web blog.kore.io
    fcambus avatar via fcambus 4 months ago | cached | 1 comment
  11. 21
    The NetHack DevTeam is happy to announce the release of NetHack 3.6.1 ☶ c games groups.google.com
    intercal avatar via intercal 4 months ago | cached | 5 comments
  12. 3
    Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior (2013) pdf c pdos.csail.mit.edu
    pstef avatar via pstef 4 months ago | cached | no comments
  13. 3
    What you get is what you C: Controlling side effects in mainstream C compilers ☶ pdf c compilers drive.google.com
    fcbsd avatar via fcbsd 4 months ago | cached | 1 comment
  14. 3
    Learning Assertions to Verify Linked-List Programs (2015) ☶ pdf ai c formalmethods www-users.cs.york.ac.uk
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  15. 3
    The story of ispc: C's influence and implementing SPMD on SIMD (part 4) c compilers pharr.org
    1amzave avatar via 1amzave 4 months ago | cached | no comments
  16. 11
    utf8proc c julialang.org
    sanxiyn avatar via sanxiyn 4 months ago | cached | 3 comments
  17. 8
    Kore celebrates 5 years c web blog.kore.io
    fcambus avatar via fcambus 4 months ago | cached | 12 comments
  18. 15
    kcgi: best practises for pledge(2) security ☶ c openbsd web kristaps.bsd.lv
    kristapsdz avatar authored by kristapsdz 4 months ago | cached | 2 comments
  19. 13
    Adventures with cgo: Part 1- The Pointering c go blog.wallaroolabs.com
    SeanTAllen avatar authored by SeanTAllen 4 months ago | cached | no comments
  20. 3
    Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design ☶ pdf c formalmethods hardware hal.upmc.fr
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  21. 11
    Incunabulum apl c code.jsoftware.com
    calvin avatar via calvin 4 months ago | cached | no comments
  22. 4
    A PLT (Procedure Linkage Table) Hook Library for Android Native ELF show android c github.com
    ruki avatar via ruki 4 months ago | cached | no comments
  23. 12
    C17 standard will be a "bugfix" release c gustedt.wordpress.com
    GeoffWozniak avatar via GeoffWozniak 4 months ago | cached | no comments
  24. 5
    mmproxy - Creative Linux routing to preserve client IP addresses in L7 proxies c distributed linux networking blog.cloudflare.com
    majke avatar authored by majke 4 months ago | cached | 1 comment
  25. 14
    Driving student programs c linux bernsteinbear.com
    tekknolagi avatar authored by tekknolagi 4 months ago | cached | 9 comments
<< Page 4 | Page 6 >>