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