uArchiFI
Analysis tool to assess (HW/SW) system security against fault-injection attacks
File Explorer
- build.ys
- build_sandboxing.ys
- parse.ys
- parse_sandboxing.ys
- cv32e40p_verifypin_v7.v
- cv32e40p_verifypin_v7_sandboxing.v
- verifypin_v7.dis
- Makefile
- README.md
- build.ys
- build_sandboxing.ys
- parse.ys
- parse_sandboxing.ys
- ibex_verifypin_v1.v
- ibex_verifypin_v1_sandboxing.v
- verifypin_v1.dis
- Makefile
- README.md
- build.ys
- build_sandboxing.ys
- aes.dis
- ibex_aes.v
- ibex_aes_sandboxing.v
- Makefile
- README.md
- apply_faults.ys
- Makefile
- prep_pass.ys
- simu.ys
- common.mk
- fault_rtlil.cc
- __init__.py
- cex_iterator.py
- runner.py
- __init__.py
- addr.v
- golden_0.25.txt
- golden_0.61.txt
- tb_addr.v
- test.meta
- test.tcl
- addr.v
- golden_0.25.rtlil
- golden_0.61.rtlil
- tb_addr.v
- test.tcl
- test.ys
- addr.v
- golden.rtlil
- golden_0.25.rtlil
- golden_0.61.rtlil
- tb_addr.v
- test.tcl
- test.ys
- comb_loop_split.v
- golden_0.61.rtlil
- test.meta
- test.tcl
- comb_loop_split.v
- golden_0.61.txt
- test.meta
- test.tcl
- addr.v
- golden_0.61.rtlil
- tb_addr.v
- test.meta
- test.tcl
- addr.v
- golden_0.61.rtlil
- tb_addr.v
- test.meta
- test.tcl
- test.ys
- addr.v
- golden_0.61.rtlil
- tb_addr.v
- test.meta
- test.tcl
- addr.v
- golden_0.61.rtlil
- tb_addr.v
- test.meta
- test.tcl
- addr.v
- golden_0.61.rtlil
- tb_addr.v
- test.meta
- test.tcl
- addr.v
- golden.txt
- tb_addr.v
- test.meta
- test.tcl
- addr.v
- golden.txt
- tb_addr.v
- test.meta
- test.tcl
- addr.v
- golden_0.25.txt
- golden_0.61.txt
- tb_addr.v
- test.tcl
- addr.v
- golden_0.61.rtlil
- tb_addr.v
- test.meta
- test.tcl
- conftest.py
- test_runner.py
- __init__.py
- test_cex_iterator.py
- test_iterator.py
- test_vcd_parser.py
- .gitignore
- CLA.txt
- Dockerfile
- LICENSE.txt
- Makefile
- pyproject.toml
- README.md
- requirements.txt
- uarchifi.sdef
# Use via CDN
jsDelivrjsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.
Command Glossary
Commands referenced in this DOCs, explained below.
docker build
View Details ▼
docker build
Build an image from a Dockerfile.
docker build .
Build a Docker image using the Dockerfile in the current directory:
docker build {{github.com/creack/docker-firefox}}
Build a Docker image from a Dockerfile at a specified URL:
docker build {{[-t|--tag]}} {{name:tag}} .
Build a Docker image and tag it:
docker run
View Details ▼
docker run
This command is an alias of `docker container run`.
tldr docker container run
View documentation for the original command:
git clone
View Details ▼
git clone
Clone an existing repository.
git clone {{remote_repository_location}} {{path/to/directory}}
Clone an existing repository into a new directory (the default directory is the repository name):
git clone --recursive {{remote_repository_location}}
Clone an existing repository and its submodules:
git clone {{[-n|--no-checkout]}} {{remote_repository_location}}
Clone only the `.git` directory of an existing repository:
opt
View Details ▼
opt
Run optimizations and analyze LLVM source files.
opt -{{passname}} {{path/to/file.bc}} -S -o {{file_opt.bc}}
Run an optimization or analysis on a bitcode file:
opt {{-dot-cfg}} -S {{path/to/file.bc}} -disable-output
Output the Control Flow Graph of a function to a `.dot` file:
opt -O2 {{path/to/file.bc}} -S -o {{path/to/output_file.bc}}
Optimize the program at level 2 and output the result to another file:
pip install
View Details ▼
pip install
Install Python packages.
pip install {{package1 package2 ...}}
Install one or more packages:
pip install {{package1 package2 ...}} {{[-U|--upgrade]}}
Upgrade all specified packages to the latest version, installing any that are not already present:
pip install {{package}}=={{version}}
Install a specific version of a package:
podman build
View Details ▼
podman build
Daemonless tool for building container images.
podman build {{path/to/directory}}
Create an image using a `Dockerfile` or `Containerfile` in the specified directory:
podman build {{[-t|--tag]}} {{image_name:version}} {{path/to/directory}}
Create an image with a specified tag:
podman build {{[-f|--file]}} {{Containerfile.different}} .
Create an image from a non-standard file:
podman run
View Details ▼
podman run
Run a command in a new Podman container.
podman run {{image:tag}} {{command}}
Run command in a new container from a tagged image:
podman run {{[-d|--detach]}} {{image:tag}} {{command}}
Run command in a new container in background and display its ID:
podman run --rm {{[-it|--interactive --tty]}} {{image:tag}} {{command}}
Run command in a one-off container in interactive mode and pseudo-TTY:
pytest
View Details ▼
pytest
Run Python tests.
pytest {{path/to/test_file1.py path/to/test_file2.py ...}}
Run tests from specific files:
pytest -k {{expression}}
Run tests with names matching a specific [k]eyword expression:
pytest {{[-x|--exitfirst]}}
Exit as soon as a test fails or encounters an error:
rename
View Details ▼
rename
Rename a file or group of files with a `regex`.
WARNING: This command will overwrite files without prompting unless the dry-run option is used.
Note: This page refers to the Perl version, also known as `file-rename`.
rename 's/{{from}}/{{to}}/' {{*.txt}}
Replace `from` with `to` in the filenames of the specified files:
rename {{foo}} {{bar}} {{*}}
Rename files using simple substitutions (substitute `foo` with `bar` wherever found):
rename -n 's/{{from}}/{{to}}/' {{*.txt}}
Dry-run - display which changes would occur without performing them:
select
View Details ▼
select
Bash builtin construct for creating menus.
select {{word}} in {{apple orange pear banana}}; do echo ${{word}}; done
Create a menu out of individual words:
select {{line}} in $({{command}}); do echo ${{line}}; done
Create a menu from the output of another command:
PS3="{{Select a file: }}"; select {{file}} in *; do echo ${{file}}; done
Specify the prompt string for `select` and create a menu for picking a file or folder from the current directory:
singularity
View Details ▼
singularity
Manage Singularity containers and images.
singularity pull --name {{image.sif}} {{library://godlovedc/funny/lolcow:latest}}
Download a remote image from Sylabs Cloud:
singularity build {{image.sif}} {{docker://godlovedc/lolcow}}
Rebuild a remote image using the latest Singularity image format:
singularity shell {{image.sif}}
Start a container from an image and get a shell inside it:
