Karel Klic's Personal Website
- 2011-11 Coredump-level backtraces and duplicate detection #project #fedora
- Unattended servers and improperly maintained machines are
vulnerable to disk space filling caused by ABRT repeated
crashes. Moreover, repeated crashes occassionally slip into Red Hat
Bugzilla, wasting developer time. We are creating a system which
detects that two coredumps are caused by the same software bug
without using debugging symbols. Being run immmediately after
detecting a crash, this system saves disk space, user's and
maintainer's effort by recognizing duplicates that would otherwise
be detected after a long process. Coredump-level duplicate detection
can be used to build a scalable crash collection server. By
recognizing duplicates between various users' crashes, many
coredumps can be deleted and server disk usage will be much more
predictable.
- 2011-11 Retrace server incremental improvements #project #fedora
- Project for incremental improvements of retrace server.
- 2011-11 Bugfixing of debugging symbols in Fedora #project #fedora
- Many components in Fedora and RHEL have broken debuginfo
packages. We detect and report all significant debuginfo issues on
Fedora Rawhide packages to Red Hat Bugzilla, explaining maintainers
the cause of the issues and a way how to fix them.
- 2011-10 SELinux code analyzer #project #fedora
- SELinux (Security-Enhanced Linux) code analyzer is a system having
several use cases: it can generate a new SELinux policy for a
program, find unused rules of existing policy, and find code paths
causing Access Vector Cache (AVC) denials.
- 2011-10 Wikt #product
- Wikt is a dictionary client which displays entries from the
Wiktionary project. The entries are stored locally, no internet
connection needed.
- 2011-10 FlashFit #product
- A tool for absorbance measurement analysis. It can open files with
measurement results and fit a curve through the data and show speed
constants.
- 2011-10 Hatchery #product #fedora
- Hatchery is my software repository for Fedora operating system,
including a command line tool to manage local builds, mockbuilds,
mass-branching, and mass-rebuilds. The software provided via the
repository is not a part of Fedora for various reasons: usually the
package review process is not finished yet, or there is some
packaging problem with source code, such as embedded, forked
libraries in the project's source code.
- 2011-10 LLVM IR service #project #fedora
- LLVM Intermediate Representation (IR) is a form used to represent
code in a compiler, that designed to support analysis and
transformations usually done in the optimising phase of a
compiler. LLVM and its IR provide a good platform for implementation
of numerous specialized code analysis tools, such as program crash
analysis with coredumps or backtraces, crash security analysis, and
SELinux rule analysis. We are implementing a service providing an
IR representation of C/C++ binaries in Fedora operating system.
- 2011-10 Faf #product #fedora
- Faf is a programmable platform for analysis of packages, packaging
issues, bug reports and other artifacts produced within Fedora
operating system development.
- 2011-10 Sweb #product
- Here is my static website maintenance tool written in Scheme. Its
functionality is mostly achieved by writing website-specific code,
so users of this tool need to be able to write code in
Scheme. Nevertheless, it is a good fit for a number of tasks on
hand-written websites: I use it to enforce a common format of web
pages, automatically update tables of contents, check validity of
links, and maintain website navigation.
- 2011-09 Backtrace deduplication server #project #fedora
- Backtrace deduplication server solves the problem of many
duplicate crash reports being submitted by ABRT to Red Hat
Bugzilla. It is designed to help ABRT users to find duplicate
reports before filing a new bug, and to help package maintainers to
triage/reassign/merge already reported bugs. Backtrace
deduplication server is a collection of newly-developed tools that
will be deployed on the retrace server hardware, which is a part of
Fedora infractructure. ABRT will contain a client tool and
integration with the server.
- 2011-09 Effects of ABRT on Fedora #report #fedora
- Automatic Bug Reporting Tool (ABRT) is a tool that helps users to
report software issues on Linux. It has been in development since
Fedora 10, and it was first introduced to users in Fedora 12. Here
are some ABRT usage graphs based on long-term Red Hat Bugzilla user
activity. The graphs show the effects of ABRT deployment on Fedora:
how much people use ABRT to report software bugs and how developers
deal with ABRT bugs.
- 2011-09 Emacs reference booklet #product
- Knowing and using many keyboard shortcuts is an essential part of
GNU Emacs productivity. It is not easy to become good in this area:
there are hundreds of shortcuts worth learning, and some shortcuts
are seldom used for some workloads thus easily forgotten in a
while. It takes a few minutes to lookup the right shortcut in
Emacs/Gnus/Org-mode manual, which is often too long to bother.
Sometimes the shortcut is not even present there. A hard copy of
this reference booklet seems to be useful for shortcut learning and
quick lookup.
- 2011-07 Running Fedora #report #fedora
- Here is a collection of notes, config files, and links that help
to run Fedora effectively. I am merely trying to survive the
unavoidable complexity of using a lot of specialized tools to do a
lot of different tasks.
- 2011-07 Command-line photo management #report
- Here are some simple scripts to manage photos from command
line. Using them is not as comfortable as having a GUI, but they
work better than common photo management applications for me. The
scripts are file-centric: photos are reasonably ordered files in
directories as albums, with embedded XMP metadata.