Stories tagged as c – C programming
  1. 12
    Wrap on integer overflow is not a good idea c davmac.wordpress.com
    rzhikharevich avatar via rzhikharevich 6 days ago | cached | 33 comments
  2. 2
    Concurrent Program Verification by Code Transformation: Correctness (2017) ☶ pdf c formalmethods univ-orleans.fr
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  3. 5
    sixgill static analysis c c++ sixgill.org
    sanxiyn avatar via sanxiyn 7 days ago | cached | 1 comment
  4. 12
    Modern C++ for C Programmers: last part + book recommendations book c c++ ds9a.nl
    ahu avatar authored by ahu 9 days ago | cached | no comments
  5. 22
    With Undefined Behavior, Anything is Possible c plt security raphlinus.github.io
    raph avatar authored by raph 9 days ago | cached | 17 comments
  6. 6
    Kitsune: Efficient, General-Purpose Framework for Dynamic, Software Updating in C ☶ c compsci kitsune-dsu.com
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | 1 comment
  7. 4
    Vulnerability hunting with Semmle QL, part 1 c c++ security blogs.technet.microsoft.com
    alex_gaynor avatar via alex_gaynor 10 days ago | cached | 2 comments
  8. 4
    The VeriFast Program Verifier c formalmethods java github.com
    ceh avatar via ceh 10 days ago | cached | 1 comment
  9. 2
    DTHREADS: Efficient Deterministic Multithreading (2011) ☶ pdf c c++ people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | no comments
  10. 3
    Formal Specification and Verification of a Microkernel (2010) ☶ pdf c formalmethods osdev people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | no comments
  11. 4
    vkvg: Vulkan vector drawing, try to stay close to cairo api c graphics github.com
    adamnemecek avatar via adamnemecek 16 days ago | cached | no comments
  12. 10
    Happy Bob's Libtls tutorial c openbsd security github.com
    mulander avatar via mulander 17 days ago | cached | no comments
  13. 17
    What’s to love about C? ( 2012 ) c mortoray.com
    chauhankiran avatar via chauhankiran 18 days ago | cached | 12 comments
  14. 7
    Introduction to Computer Organization with x86-64 Assembly Language & GNU/Linux assembly c education hardware bob.cs.sonoma.edu
    nickpsecurity avatar via nickpsecurity 21 days ago | cached | no comments
  15. 5
    The Worm Ouroboros c python semantic-domain.blogspot.com
    GeoffWozniak avatar via GeoffWozniak 23 days ago | cached | no comments
  16. 11
    Find a cycle in a linked list, for all your tech interview problem needs ☶ c satire gist.github.com
    quad avatar authored by quad 24 days ago | cached | 7 comments
  17. 2
    Formal Verification of a Flash Memory Device Driver - An Experience Report (2008) ☶ pdf c formalmethods hardware citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 25 days ago | cached | no comments
  18. 10
    A glib-like multi-platform c library, Support IOCP for coroutine now c release github.com
    ruki avatar authored by ruki 25 days ago | cached | no comments
  19. 49
    Should C Programmers learn C++, Go or Rust? c c++ go rust ds9a.nl
    ahu avatar authored by ahu 26 days ago | cached | 86 comments
  20. 14
    I'm starting to like Undefined Behaviour ☶ c c++ programming
    JohnCarter avatar authored by JohnCarter 28 days ago | 9 comments
  21. 23
    C compiler quirks I have encountered c mort.coffee
    mort avatar authored by mort 1 month ago | cached | no comments
  22. 16
    Notes on implementing IMAP4rev1 ☶ c networking github.com
    cbdev avatar authored by cbdev 1 month ago | cached | 1 comment
  23. 23
    Modern C++ for C Programmers: Part 5 c c++ ds9a.nl
    ahu avatar authored by ahu 1 month ago | cached | no comments
  24. 1
    Mutable Checkpoint-Restart: Automating, Live Updates for Generic Server Programs (2014) ☶ pdf c linux cs.vu.nl
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  25. 2
    Managing TLS connections using Lua and Lua coroutines api c crypto lua networking programming boston.conman.org
    spc476 avatar authored by spc476 1 month ago | cached | no comments
Page 2 >>