vbabka

vbabka

crash-python

a project by jeff_mahoney

New Development In previous hack weeks, the first few days ended up being wasted on just getting it working. I'm pleased to share that the code quality has improved dramatically since the last hack week and there are now extensive test cases for both unit testing and testing against real vmcores, and we'll use both mypy and pylint (if installed) to perform static analysis. Packages for those are available in openSUSE or as part of the crash-python OBS repo for SLE15. It has been tested with kernels from 3.0 to 5.1.

Updated about 1 year ago. 21 hacker ♥️. 4 followers.
3
6
3
30

Looking for projects around:

Nothing at the moment

Activity

  • 4 days ago: vbabka liked consolidate mm debugging tools and package them
  • 4 days ago: vbabka liked Open Source Firmware for EV chargers using the ESP32 Chip (Autoaid / EN-Plus / EVSEDO)
  • over 5 years ago: vbabka joined crash-python
  • about 6 years ago: vbabka joined gdb python target / binding to libkdumpfile
  • over 6 years ago: vbabka liked Let’s Encrypt integration into openSUSE/SLE
  • over 6 years ago: vbabka liked Kernel-CI
  • over 6 years ago: vbabka liked Assembly Diff Tool for kGraft
  • over 6 years ago: vbabka liked Multimedia insane migration
  • over 6 years ago: vbabka liked Turbulent Molecular Dynamics Simulations in C
  • over 6 years ago: vbabka liked Learn Haskell by creating an interpreter
  • over 6 years ago: vbabka liked Dive into Linux Kernel Memory management
  • over 6 years ago: vbabka liked Microcorruption CTF
  • over 6 years ago: vbabka liked libkdumpfile/gdb-kdump improvements
  • over 6 years ago: vbabka liked Learn Coccinelle
  • over 6 years ago: vbabka liked Look at Static Code Analysis and Code Coverage for C++
  • over 6 years ago: vbabka liked kGraft analysis tool
  • over 6 years ago: vbabka joined libkdumpfile/gdb-kdump improvements
  • about 7 years ago: vbabka added keyword "modelchecking" to Try to model check gfp_flags with cbmc
  • about 7 years ago: vbabka added keyword "modelchecking" to Try to model check gfp_flags with cbmc
  • about 7 years ago: vbabka added keyword "codeverification" to Try to model check gfp_flags with cbmc
  • about 7 years ago: vbabka started Try to model check gfp_flags with cbmc
  • about 7 years ago: vbabka originated Try to model check gfp_flags with cbmc
  • over 7 years ago: vbabka liked detect and visualise git commits' patch-based dependencies
  • over 7 years ago: vbabka liked orthos.arch.suse.de uses shared password for root on hosts.
  • over 7 years ago: vbabka liked Make sure bicho works with current bugzilla
  • All Activity