assembly   10570

« earlier    

Much Assembly Required
Program the 8086-like microprocessor of a robot in a grid-based multiplayer world.
assembly  asm  game  programming  online  multiplayer 
yesterday by vicchow
Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101
Finding bugs is hard, reverse engineering is hard. Constraint solvers are the heart of many program analysis techniques, and can aid Fuzzing, and software verification.

This post contains a few hands-on experiments with Z3, a high performance theorem prover developed at Microsoft Research by Leonardo de Moura and Nikolaj Bjorner. With KLEE, a Symbolic Execution Engine built on top of the LLVM compiler infrastructure developed by Cristian Cadar, Daniel Dunbar, and Dawson Engler. And, angr, a binary analysis framework developed by the Computer Security Lab at UC Santa Barbara and their associated CTF team, Shellphish.
ctf  assembly  exploit  development  reverse-engineering 
2 days ago by whip_lash
angr, a binary analysis framework
angr is a python framework for analyzing binaries. It combines both static and dynamic symbolic ("concolic") analysis, making it applicable to a variety of tasks.

As an introduction to angr's capabilities, here are some of the things that you can do using angr and the tools built with it:

Control-flow graph recovery. show code
Symbolic execution. show
security  python  assembly  opensource  software  debugging  profdev 
3 days ago by Chirael
Twitter
Why do programmers need to know how to swim?

Because they work below C level.

Good one from /r/Programm…
Assembly  from twitter_favs
5 days ago by shawnday
Learn how computers work – Bradfield
One of the biggest knowledge deficits we see among self-taught engineers and bootcamp graduates is in the area of computer architecture. While most engineers know that they should learn, say…
computer  architecture  course  education  online  assembly  hardware 
6 days ago by gilberto5757

« earlier    

related tags

-  2  2007  2018  3d  4*  5*  a  ac  affectivelabour  ai  air  algorithm  alignment  amd64  and  ar-15  architecture  arm  array  art  article  artificialintelligence  asm  assembler  automation  battery  bbcmicro  bestpractices  bifold  binary  board  book  boot  brainfuck  build  bytecode  c++  c  carbon  care  caring  change  chrysler  circuit  clang  closet  cloudflare  coding  collectivism  compilation  compiler  compilers  compression  compsci  computer  costfunction  council  course  cpp  cpu  ctf  debugging  deck  decolonial  decompiler  decompiling  defection  democracy  demoscene  design  development  directory  diy  docker  donnaharaway  door  dragonfly  duct  duff  economics  editor  education  electrode  electronic  electronics  embedded  emscripten  energy  engineering  entrepreneurship  ethereum  evolution  exception  exclusion  exploit  feedback  fit  floor  for  free  game  gamedev  gamehacking  games  gear  generator  geo  github  golang  government  grep  guide  gyroid  gyroidal  hacking  hannaharendt  hardtmichael  hardware  health  healthcare  helloworld  high  history  how  human  ide  image  important  inequality  infosec  inspiration  installation  instruction  intel  interesting  intrinsic  java  java10  javascript  joists  jones  jpeg  judithbutler  justice  jvm  karnataka  kernel  language  law  layer  learning  links  linux  llvm  long-read  low-level  machine  machinelanguage  machinelearning  machinic  macos  matching  materials  maths  matrix  memory  metric  military  mini  mirror  modelling  morality  multiplayer  nanohybrid  nanostructure  negriantonio  neocolonial  neoliberal  neoliberalism  node  noise  objc  on-orbit  online  opcode  opensource  optimisation  optimization  os  pacifica  part  pcb  pdf  performance  persistence  pnp  politics  precarity  preemption  prefix  princeofpersia  profdev  profiling  programming  programming_course  proposal  python  reason  reconfiguration  reference  register  renovision  research  resources  reverse-engineering  reverse  robot  robotics  rust  science  search  security  self  service  servicing  shell  shift  simd  small  socialjustice  socialmovements  software  solidarity  solidity  space  specification  spiral  stack  stock  storage  stoweboyd  string  structure  support  taxes  technology  test  time  to  tools  tutorial  uefi  unix  utilities  variant  vector  vectorization  virtual  vm  vulnerability  wasm  web  webassembly  wikipedia  windows  work  x86  x86_64 

Copy this bookmark:



description:


tags: