C   55959

« earlier    

a common pattern and how to avoid it [of UB in C, using tis-Interpreter]
From https://news.ycombinator.com/item?id=16409668

They used Tis-interpreter to discover an out-of-bounds-pointer UB bug (never dereferenced, but that's still UB)

Note the scary

> It should work fine for all the ordinary platforms we are used to, because of footnote 67 in the C11 standard.

which they use to justify doing arithmetic on a uintptr_t

See also https://news.ycombinator.com/item?id=16412494
C  undefinedBehaviour  staticAnalysis  dynamicAnalysis  tisInterpreter 
3 hours ago by MaxBarraclough
Jason Martin's answer to Why do some famous programmers (e.g. Richard Stallman, Linus Torvalds, Ken Thompson, and Brian Kernighan) dislike C++? What are the alternatives? - Quora
"Pointless access controls like public and private which infantilize the user. An over emphasis on Generic instead of Common programming leads to bloated and verbose code that provides solutions to problems that everyone can be equally disappointed with."
cpp  c  programming  oop 
7 hours ago by jiivan
GitHub - TrustInSoft/tis-interpreter: An interpreter for finding subtle bugs in programs written in standard C
tis-interpreter - An interpreter for finding subtle bugs in programs written in standard C
c  interpreter 
12 hours ago by geetarista
Tutorial: Using libdill sockets
c  programming 
yesterday by izgurskii

« earlier    

related tags

*read  4*  5*  advocacy  aggregate  algorithm  algorithms  analyser  api  arm  ascii  assembly  autobuild  bestpractices  bls  bugs  build  c++  c  c_programming  can  canbus  clang  cmake  code  collaboration  common  compiler  compilers  compiletime  compression  compsci  concurrency  container  containers  cop3502  cpp  cpu  criticism  cross-platform  css  data  debugging  decoding  design  dev  developer  development  distro  docker  dynamicanalysis  education  elf  embedded  environment  event  exe  executable  execution  experiment  ffi  ffmpeg  fibonacci  file  fileformat  floss  framework  funny  game  gdb  github  go  golang  graphics  gui  hack  hardware  html  http  ide  interactive  interesting  interpreter  ip  j1939  java  javascript  jim-roskind  kernel  language  library  linux  linuxkit  llvm  lowlevel  macho  make  markdown  memory  microsoft  minimal  multi  multisig  network  nim  nmea2000  node  oop  openmp  opensource  openssl  optimization  os  overview  packaging  parallel-programming  parallel  parsing  pe  performance  philosophy  playing  pmz  process  productivity  profiler  profiling  programmering  programming  protocol  python  qemu  quality  recursion  redis  repo:github  research  reverse-engineering  root  ruby  rust  school  sdl2  sections  security  segement  server  sig  signal  signature  signing  small  sockets  software  spectre  stack  staticanalysis  stories  stream  strings  structure  symbols  system  tables  tagged-pointers  tap  tcp-ip  tcp  tisinterpreter  tls  toolkit  tools  tutorial  types  udp  ui  undefinedbehaviour  unix  variables  visualstudio  vm  warts  wasm  web-assembly  web-development  webassembly  webdev  windows  x11  xml  zlib 

Copy this bookmark: