GitXplorerGitXplorer
N

k-meld

public
9 stars
2 forks
3 issues

Commits

List of commits on branch main.
Unverified
67ee7c48388e5918a8e8710eeabda17553fd1bef

adding the code

NNavidem committed 3 years ago
Unverified
1fab8322cb399815a4bf3947edfd462f237c450a

adding list of FOIs and releases

NNavidem committed 4 years ago
Unverified
9956e76de7c60f18195289dbe8ae42a392a5c13e

first commit

NNavidem committed 4 years ago

README

The README file for this repository.

HOW TO INSTALL:

Build LLVM

```sh 
$ cd llvm-8.0.0 
$ ./build-llvm.sh 
```

Build K-MeLD

```sh 
# Build the analysis pass of analyzer 
$ cd 	../analyzer 
$ make 
# Now, the  binary is located at analyzer/build/lib/ 
```

Test the installation

# in analyzer/ directory run the following:
python kmeld_runner.py -f kzalloc
# there should be run/kzalloc/missmatchesFound.txt containing two leaks found

Run K-MeLD on your code

# place all of your LLVM bitcode files in run/bc_files/
# run the following command to initializ and perform pre-processing:
python kmeld_runner.py -i
# assuming that you want to check the memory leaks for function FOI, run:
python kmeld_runner.py -f FOI
# results will be written to run/FOI/missmatchesFound.txt