[{"_1":2,"_161":-5,"_162":-5},"loaderData",{"_3":4,"_17":18,"_25":26,"_140":141},"root",{"_5":-5,"_6":-7,"_7":8,"_9":-7,"_10":11,"_12":-7,"_13":14,"_15":16},"currentUser","primaryEmail","siteVerification","6LeIxAcTAAAAAJcZVRqyHh71UMIEGNQ_MXjiZKhI","toast","enableDev",false,"incidentStatus","theme","system","contrast","normal","routes/_layout",{"_19":-5,"_20":21,"_22":21,"_23":11,"_24":21},"username","isAskGordonEnabled",true,"isUsingNewTemplate","showMinimalLanding","showHoneypotTrap","routes/_layout.r.$namespace.$reponame",{"_27":28,"_29":-5,"_30":11,"_31":11,"_32":33,"_34":35,"_36":-5,"_37":11,"_38":39,"_88":-5,"_89":90,"_129":-5,"_130":11,"_131":21,"_132":11,"_133":-5,"_134":11,"_135":-5,"_136":137,"_138":91,"_139":-7},"canonicalUrl","https://hub.docker.com/r/dcaba/llfi/tags","mcpServer","canSeeDockerfile","canSeeAutobuilds","namespace","dcaba","reponame","llfi","cloudBuildSource","isAutobuildsAvailable","repo",{"_40":41,"_42":43,"_45":46,"_47":48,"_49":11,"_50":51,"_52":53,"_54":55,"_57":35,"_32":33,"_58":59,"_60":44,"_61":62,"_63":64,"_65":66,"_67":-5,"_68":62,"_69":70,"_71":11,"_72":33,"_73":74,"_79":11,"_80":81,"_85":33,"_86":87},"categories",[],"content_types",[44],"image","date_registered","2019-10-29T21:52:32.779432Z","description","Docker image for https://github.com/DependableSystemsLab/LLFI","is_private","last_updated","2019-10-30T01:13:49.850163Z","last_modified","2024-10-16T13:48:34.145251Z","media_types",[56],"application/vnd.docker.container.image.v1+json","name","pull_count",262,"repository_type","star_count",0,"status",1,"status_description","active","source","collaborator_count","full_description","LLFI\n====\n\nLLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easily tracked back to the source code. LLFI is typically used to map fault characteristics back to source code, and hence understand source level or program characteristics for various kinds of fault outcomes. Detailed documentation about LLFI can be found at: https://github.com/DependableSystemsLab/LLFI/wiki\n\nPlease join the following Google Groups for asking questions about LLFI that are not answered in the documentation: llfi-development@googlegroups.com\n\nAuto-Installer\n--------------\nThis is the recommended method for building the LLFI. If you wish to build the LLFI via the auto-installer, you *do not need* to clone the LLFI git repository. Simply download the installer script by itself, and it will fetch the latest version of the git repository for you. The LLFI auto-installer takes the form of a single python script (`installer/installLLFI.py`). To run the script, simply copy it into the directory where you would like to build the LLFI and, from the command line, run `python3 InstallLLFI.py`.\n\nDependencies:\n 1. 64 Bit Machine\n 2. 64 Bit Linux or OS X\n 3. Cmake (mininum v2.8) and a c++ compiler (for instance, g++)\n 4. Python 3 and above, with yaml support\n 5. tcsh (for GUI)\n 6. GraphViz package (for visualizing error propagation)\n 7. unzip binary (decompress downloads)\n 8. Internet Connection\n\nGUI Dependencies:\n 1. JDK7/JDK8 with JavaFX\n 2. tcsh shell\n\nUsage:\nrun \"python3 InstallLLFI.py -h\" to see all running options/guidelines\n 1. Copy the InstallLLFI.py script to where you want to build the LLFI\n 2. Make sure you are _not_ logged in as root\n 2. Run \"python3 InstallLLFI.py\"\n 3. Wait for compilation to finish\n 4. Run the GUI by executing \"./llfi-gui\" under the bin/ folder\n\nAbout tcsh:\n\nThe LLFI-GUI uses tcsh to read environment variables describing the location of the LLFI build. The installer will automatically add those environment variables to your ~/.tcshrc file. You do not need to actively use tcsh as your primary shell, simply having it installed is enough.\n\nManual Install\n---------------\nThis method is also available, and may be more suitable if you want more control over the location of the LLVM build that the LLFI requires (ie, you already have LLVM built and wish to use that build).\n\nDependencies:\n\n 1. 64 Machine with 64 bit Linux or OS X\n 2. CMake (minimum v2.8)\n 3. Python 3 and above\n 4. Python YAML library (PyYAML)\n 5. Clang v3.4\n 6. LLVM v3.4, built with CMake\n * Build llvm-3.4 **WITH CMAKE** using flag `-DLLVM_REQUIRES_RTTI=1`. [Instructions](http://llvm.org/docs/CMake.html)\n * Remember to run `make` in the llvm build directory after running `cmake`.\n 9. GraphViz package (for visualizing error propagation)\n\nGUI Dependencies:\n 1. JDK7/JDK8 with JavaFX\n 2. tcsh shell\n\nBuilding:\n\n Run `./setup --help` for build instructions.\n```\n $ ./setup --help\n\n Usage: setup OPTIONS\n List of options:\n -LLVM_DST_ROOT :\n Make sure you build LLVM with CMake and pass build root directory here\n -LLVM_SRC_ROOT \n -LLFI_BUILD_ROOT \n -LLVM_GXX_BIN_DIR (optional):\n You don't need to set it if it is in system path\n -JAVA_HOME_DIR (optional):\n You don't need to set it if your default jdk is oracle jdk 7 or higher and in system path\n\n\n --help(-h): show help information\n --no_gui: Add this option if you do not want GUI.\n --runTests: Add this option if you want to run all regression tests after building LLFI.\n```\n\n Here is a sample build command if `clang` and `javac` are already in $PATH:\n```\n ./setup -LLFI_BUILD_ROOT $BUILD/LLFI -LLVM_SRC_ROOT $SRC/llvm-3.4 -LLVM_DST_ROOT $BUILD/llvm-3.4\n```\n\nBuild without GUI:\nTo build LLFI without GUI, just add option: `--no_gui` in the command line for setup, for example:\n```\n./setup -LLFI_BUILD_ROOT $BUILD/LLFI -LLVM_SRC_ROOT $SRC/llvm-3.4 -LLVM_DST_ROOT $BUILD/llvm-3.4 --no_gui\n```\n\nRunning tests:\nRunning all regression tests after installation is highly recommended. Note that you may encounter some error messages during the fault injection stage. This is normal. Once all tests have completed and they all passed, LLFI is correctly installed.\n\nVirtualBox Image\n-----------------\n\nIf you want to quickly try out LLFI, an Ubuntu image with LLFI and its dependencies pre-installed\nis available [here](https://drive.google.com/file/d/0B5inNk8m9EfeM096ejdfX2pTTUU/view?usp=sharing) (2.60GB). This image is built with VirtualBox v4.3.26, with Ubuntu 14.04.2 LTS, LLVM v3.4, CMake v3.4 and the current master branch version of LLFI (as of Sep 16th, 2015).\n\nuser: `llfi`\npassword: `root`\n\n`` is located under `~/Desktop/llfisrc/`.\n`` is located under `~/Desktop/llfi/`.\n`` is located under `~/Desktop/llvmsrc/`.\n`` is located under `~/Desktop/llvm/`.\n`` is located under `~/Desktop/llvm/bin/`.\n\nSample tests can be found under `~/Desktop/test/`.\n\nTo run it, open VirtualBox, select `File->Import Appliance...` and navigate to the `.ova` file.\n\nRunning\n-------\nYou can use test programs in the directory `sample_programs/` or `test_suite/PROGRAMS/` to test LLFI. Programs in the `sample_programs` directory already contains a valid `input.yaml` file.\n####Command line\nExample program: `factorial`\n 1. Copy the `sample_programs/factorial/` directory to your project directory.\n 2. Change to your `factorial` directory Build a single IR file with the LLFI tool `GenerateMakefile`\n ```\n /tools/GenerateMakefile --readable --all -o factorial.ll\n ```\n Alternatively, you can build your own IR file with `clang`.\n 3. Instrument factorial with calls to LLFI libraries and create executables under *llfi* directory\n ```\n /bin/instrument --readable factorial.ll\n ```\n 4. Run factorial executable with profiling functions instrumented\n ```\n /bin/profile ./llfi/factorial-profiling.exe 6\n ```\n In file *llfi/baseline/golden_std_output*, you should be able to see 720\n 5. Run `factorial` executable with fault injection functions instrumented\n ```\n /bin/injectfault ./llfi/factorial-faultinjection.exe 6\n ```\n\n For complete test of whole of LLFI, please use LLFI test suite and refer to wiki page: [Test suite for regression test](https://github.com/DependableSystemsLab/LLFI/wiki/Test-Suite-for-Regression-Test) for details.\n\n####GUI\nIf you have used `./setup` to install LLFI, you need to set new environment variables for tcsh shell before running the GUI for the first time. Open `~/.tcshrc` using your favourite text editor and add `setenv llfibuild /` and `setenv zgrviewer /tools/zgrviewer/` to it. [OPTIONAL] Create an environment variable \"COMPARE\" with the path of the SDC check script.\n\nExecute `/bin/llfi-gui` to start the **GUI**. The outputs will be saved in the directory where you have executed the command.\n\n####Web GUI Development Environment Setup\nDependencies:\nNodejs\nwebpack\n\nSteps to set up the development environment:\n1: Download this project from Git\n2: Download NodeJs\n3: Install libraries: Go to the web-app directory and run \"npm install\"\n4: Install Webpack: In the same directory as step 3, run \"sudo npm install -g webpack\"\n5: Configurate the LLFI root path for the server:\nThe default bevaiour of the program use environment variable $llfibuild as the path of the llfi build directory\nYou can set the environment variable llfibuild in your system to point it to the LLFI build directory in your local machine.\n\nStart the server:\nGo to the /web-app/server folder and run \"node server.js\"\n\nStart the front-end dev tool:\nGo to the web-app directory and run \"webpack\" or \"webpack -w\"\n\nResults\n-------\nAfter fault injection, output from LLFI and the tested application can be found\nin the *llfi* directory.\n\n| Directory | Contents |\n| ----------------------| ---------------------------------------------- |\n| *std_output* | Piped STDOUT from the tested application |\n| *llfi_stat_output* | Fault injection statistics |\n| *error_output* | Failure reports (program crashes, hangs, etc.) |\n| *trace_report_output* | Faults propogation report files and graph |\n\n\nReferences\n----------\n* [LLFI Paper](http://blogs.ubc.ca/karthik/2013/02/15/llfi-an-intermediate-code-level-fault-injector-for-soft-computing-applications/)\n* [LLFI Wiki](https://github.com/DependableSystemsLab/LLFI/wiki)\n\n======\nRead *caveats.txt* for caveats and known problems.\n","has_starred","hub_user","immutable_tags_settings",{"_75":11,"_76":77},"enabled","rules",[78],".*","is_automated","permissions",{"_82":21,"_83":11,"_84":11},"read","write","admin","user","storage_size",605219253,"orgData","recentTags",[91],{"_92":44,"_93":94,"_95":96,"_97":98,"_99":100,"_50":118,"_119":94,"_120":33,"_121":56,"_57":122,"_123":124,"_125":109,"_126":118,"_127":66,"_128":21},"content_type","creator",2255743,"full_size",605212880,"id",74280234,"images",[101],{"_102":103,"_104":105,"_106":107,"_108":109,"_110":111,"_112":113,"_114":107,"_115":-5,"_116":96,"_63":66,"_117":-5},"architecture","amd64","digest","sha256:8754d3fd1224df1ce63a8057195ef216c6dddc34e7dd7b71be3f3ccfb783714d","features","","last_pulled","2026-10-02T17:22:27.314264865Z","last_pushed","2019-10-30T01:13:50Z","os","linux","os_features","os_version","size","variant","2019-10-30T01:13:49.484415Z","last_updater","last_updater_username","media_type","latest","repository",7933924,"tag_last_pulled","tag_last_pushed","tag_status","v2","sbxKitMetadata","isPotentialSpam","isHubSbxKitsEnabled","showSbxLogoOverride","sbxTrademarkText","displaySecurityMetadata","tagAttestations","tagsHaveAttestations",[],"selectedTag","attestationsUrl","routes/_layout.r.$namespace.$reponame.tags",{"_38":142,"_149":150,"_136":159,"_160":11},{"_40":143,"_42":144,"_45":46,"_47":48,"_49":11,"_50":51,"_52":53,"_54":145,"_57":35,"_32":33,"_58":59,"_60":44,"_61":62,"_63":64,"_65":66,"_67":-5,"_68":62,"_69":70,"_71":11,"_72":33,"_73":146,"_79":11,"_80":148,"_85":33,"_86":87},[],[44],[56],{"_75":11,"_76":147},[78],{"_82":21,"_83":11,"_84":11},"tags",{"_151":64,"_152":-5,"_153":-5,"_154":155},"count","next","previous","results",[156],{"_92":44,"_93":94,"_95":96,"_97":98,"_99":157,"_50":118,"_119":94,"_120":33,"_121":56,"_57":122,"_123":124,"_125":109,"_126":118,"_127":66,"_128":21},[158],{"_102":103,"_104":105,"_106":107,"_108":109,"_110":111,"_112":113,"_114":107,"_115":-5,"_116":96,"_63":66,"_117":-5},[],"canDeleteTags","actionData","errors"]

dcaba/llfi

Tags for dcaba/llfi