Skip to content

codespecs/fjalar

Repository files navigation

This is the distribution of Fjalar, a dynamic analysis framework for C/C++ programs
Fjalar version 5.8.21, released May 14, 2024.

The majority of this source tree is a slightly modified version of Valgrind
(see file valgrind/REVISION for the upstream version of Valgrind).
Valgrind is a framework for building dynamic analysis tools.  You can learn
more about Valgrind by visiting its home page at:
  http://www.valgrind.org

The document valgrind-merge.texinfo, located in the doc sub-directory of
the Fjalar repository, describes how to obtain the latest version of
Valgrind and merge it into our Fjalar system.  You can format it with
either of the following commands (run in the doc sub-directory):
  make html
  make pdf

The valgrind directory contains a sub-directory named fjalar. This directory
contains two related projects, Fjalar and Kvasir.

Fjalar, a Valgrind tool that provides additional abstractions and APIs for
building dynamic analysis tools, appears in the ./valgrind/fjalar directory.
Please consult the local copy of the Fjalar webpage for information about
the Fjalar framework and tools.  It may be found here:
  ./valgrind/fjalar/docs/fjalar-www/index.html
For developer documentation, start here:
  ./valgrind/fjalar/README_DEVELOPERS

Kvasir, a Daikon front end that is built upon Fjalar, appears in
the ./valgrind/fjalar/kvasir directory.
Kvasir's user documentation appears in the Daikon user manual:
  http://plse.cs.washington.edu/daikon/download/doc/daikon.html#Kvasir