How To Install python3-ailment on Rocky Linux 8

In this tutorial we learn how to install python3-ailment on Rocky Linux 8. python3-ailment is The angr intermediate language

Introduction

In this tutorial we learn how to install python3-ailment on Rocky Linux 8.

What is python3-ailment

AIL is the angr intermediate language.

We can use yum or dnf to install python3-ailment on Rocky Linux 8. In this tutorial we discuss both methods but you only need to choose one of method to install python3-ailment.

Install python3-ailment on Rocky Linux 8 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install python3-ailment using dnf by running the following command:

sudo dnf -y install python3-ailment

Install python3-ailment on Rocky Linux 8 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install python3-ailment using yum by running the following command:

sudo yum -y install python3-ailment

How To Uninstall python3-ailment on Rocky Linux 8

To uninstall only the python3-ailment package we can use the following command:

sudo dnf remove python3-ailment

python3-ailment Package Contents on Rocky Linux 8

/usr/lib/python3.6/site-packages/ailment
/usr/lib/python3.6/site-packages/ailment-8.20.1.7-py3.6.egg-info
/usr/lib/python3.6/site-packages/ailment-8.20.1.7-py3.6.egg-info/PKG-INFO
/usr/lib/python3.6/site-packages/ailment-8.20.1.7-py3.6.egg-info/SOURCES.txt
/usr/lib/python3.6/site-packages/ailment-8.20.1.7-py3.6.egg-info/dependency_links.txt
/usr/lib/python3.6/site-packages/ailment-8.20.1.7-py3.6.egg-info/top_level.txt
/usr/lib/python3.6/site-packages/ailment/__init__.py
/usr/lib/python3.6/site-packages/ailment/__pycache__
/usr/lib/python3.6/site-packages/ailment/__pycache__/__init__.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/__init__.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/block.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/block.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/converter.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/converter.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/expression.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/expression.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/manager.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/manager.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/statement.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/statement.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/tagged_object.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/__pycache__/tagged_object.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/analyses
/usr/lib/python3.6/site-packages/ailment/analyses/__init__.py
/usr/lib/python3.6/site-packages/ailment/analyses/__pycache__
/usr/lib/python3.6/site-packages/ailment/analyses/__pycache__/__init__.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/analyses/__pycache__/__init__.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/analyses/__pycache__/block_simplifier.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/analyses/__pycache__/block_simplifier.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/analyses/__pycache__/callsite_maker.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/analyses/__pycache__/callsite_maker.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/analyses/__pycache__/simplifier.cpython-36.opt-1.pyc
/usr/lib/python3.6/site-packages/ailment/analyses/__pycache__/simplifier.cpython-36.pyc
/usr/lib/python3.6/site-packages/ailment/analyses/block_simplifier.py
/usr/lib/python3.6/site-packages/ailment/analyses/callsite_maker.py
/usr/lib/python3.6/site-packages/ailment/analyses/simplifier.py
/usr/lib/python3.6/site-packages/ailment/block.py
/usr/lib/python3.6/site-packages/ailment/converter.py
/usr/lib/python3.6/site-packages/ailment/expression.py
/usr/lib/python3.6/site-packages/ailment/manager.py
/usr/lib/python3.6/site-packages/ailment/statement.py
/usr/lib/python3.6/site-packages/ailment/tagged_object.py
/usr/share/doc/python3-ailment
/usr/share/doc/python3-ailment/README.md
/usr/share/licenses/python3-ailment
/usr/share/licenses/python3-ailment/LICENSE

References

Summary

In this tutorial we learn how to install python3-ailment on Rocky Linux 8 using yum and dnf.