Commit graph

48 commits

Author SHA1 Message Date
Michał Kowalczyk
c13863214c
docs: Fix dangling links (#6533) 2026-07-23 17:31:25 -07:00
Kevin Phoenix
1944e72e90
Remove widen() from state api (#6632) 2026-07-17 13:23:53 -07:00
Michał Kowalczyk
1f0d6fa182
docs: Fix a python snippet and reST formatting (#6527) 2026-06-23 11:35:06 -07:00
Kevin Phoenix
7fd4ac3bf9
docs: Auto-generate the API reference via autosummary (#6460)
Replace the hand-maintained ``api.rst`` listing with a single
``.. autosummary:: :recursive:`` entry point, and add an autosummary
template under ``_templates/autosummary/module.rst`` that recursively
emits a page per submodule. The output directory ``docs/api/`` is
gitignored.

The template uses ``.. rubric:: Submodules`` instead of a section
heading so the autogenerated pages don't all register a duplicate
"Submodules" autosectionlabel.

Adjustments to ``conf.py`` to make the auto-generated pages readable:

- ``autodoc_class_signature = "separated"`` so the class declaration line
  does not duplicate the ``__init__`` parameter list.
- ``skip_inherited_undocumented`` (autodoc-skip-member): when a subclass
  overrides a method without its own docstring, do not document the
  override on the subclass page; the parent's "Bases:" link already
  points readers to the canonical entry. Avoids duplicating the parent's
  full docstring on every subclass.
- ``_patch_directive_header_for_reexports`` (monkey-patch of
  ``_directive_header_lines``): for re-exported symbols (e.g.
  ``angr.SimState`` re-exporting ``angr.sim_state.SimState``), inject
  ``:no-index:`` so the entry still renders on the parent page but the
  canonical defining-module page is the unambiguous cross-reference
  target.
2026-06-04 08:32:27 -07:00
Kevin Phoenix
93ae89296d
docs: Disambiguate narrative cross-references (#6459)
Turn on ``autosectionlabel_prefix_document = True`` so that auto-generated
section labels are prefixed with the document path. This silences the
duplicate-label warnings between narrative pages where the same H1 text
appears in more than one file (e.g. "State Plugins" in
``core-concepts/states.rst`` and ``extending-angr/state_plugins.rst``,
"Core Concepts" in ``core-concepts/index.rst`` and
``core-concepts/toplevel.rst``).

Update the existing bare-label ``:ref:`` links to use the prefixed form
(e.g. ``:ref:`text <core-concepts/loading:Loading a Binary>```), and at
the same time collapse the line-wrapped links that were already brittle.
2026-06-03 12:19:46 -07:00
Michał Kowalczyk
134d36fa19
docs: Fix a broken link in loading.rst (#6454) 2026-06-02 11:35:30 -07:00
Kevin Phoenix
96ef394c95
docs: Fix warnings generated during build (#6433) 2026-05-22 15:37:45 -07:00
Kevin Phoenix
5bda6a2a27
Refactor inspect attributes to use dataclass (#6388)
* Refactor inspect attributes to use dataclass

* Add backwards compat

* Improve lint
2026-05-11 14:31:00 -07:00
Kevin Phoenix
94823fb6b4
Remove symbion remnants (#5649) 2025-09-08 17:10:47 -07:00
sweiglbosker
54979fd2b5
docs: fix error, use CFGModel for finding nodes (#5606) 2025-07-20 20:27:41 -07:00
Matt Borgerson
357dd2b6bb docs: Drop ailment external package references 2025-05-28 17:50:20 -07:00
Matt Borgerson
486985ba1a docs: Add AIL modules 2025-05-28 16:00:42 -07:00
Kevin Phoenix
356987c0f9
Add Rust SegmnentList implementation (#5434)
* Add experimental Rust SegmnentList implementation

* Add rust to RTD environment

* Fix cargo check

* Add update method to avoid ._list

* Change rust version to latest

* Fix some inconsistencies with original implementation

* Fix iterator

* Fix lint issues

* Disable setuptools_rust check in setup.py

* Fix import

* Use asdf to install rust

* Specify latest version

* Also set the rust version globally

* Revert "Disable setuptools_rust check in setup.py"

This reverts commit 0fd2a4b61c.

* Add a note about rust in the docs
2025-05-12 20:48:17 -07:00
Kevin Phoenix
7fcb5169a2
Update java installation docs (#5399)
* Update java installation docs

* Fix pre-commit
2025-04-07 15:07:08 -07:00
Kevin Phoenix
0257921ac9
Update docs to remove state.solver op constructors (#5394) 2025-04-02 15:49:34 -07:00
Audrey Dutcher
7cf133c99d
chore: Make SIM_LIBRARIES a dict of list of lib instead of a dict of lib (#5336)
* chore: Make SIM_LIBRARIES a dict of list of lib instead of a dict of lib

* lint

* Revert "Temporarily disabling a line in test_decompiling_4846..."

This reverts commit eafdbf857a.

* remove stray line
2025-03-24 15:01:56 -07:00
Matt Borgerson
0b08f230ac CFG: Drop deprecated analysis methods wrapping model query methods 2025-03-20 19:39:47 -07:00
Kevin Phoenix
56ea53408d
Disable sphinx.ext.viewcode to speed up doc builds (#5254) 2025-02-06 12:30:17 -07:00
Matt Borgerson
058d8f18aa docs: Drop semicolon from 'Going further' section 2024-11-12 14:41:18 -07:00
Matt Borgerson
4b20597f3c docs: Update more Slack references 2024-11-12 14:41:18 -07:00
mborgerson
140a17f090
docs: Replace Slack invite with Discord invite (#5035) 2024-11-12 14:13:09 -07:00
mborgerson
a0cfbb5ea5
docs: Cleanup angr-management docs (#5034)
* docs: Remove extending-angr/angr_management

* docs: Updated angr-management help wanted blurb

* docs: Add short blurb about angr-management on doc index
2024-11-11 15:21:32 -07:00
mborgerson
076b7ca7cb
docs: Python 3.8+ -> 3.10+ (#5036) 2024-11-11 15:18:02 -07:00
Brian Caswell
e427875cbd
Fix typos (#4812)
* fix typos

This mostly fixes comments, but in a handful of places fixes bugs due to typos.

One example:
```
-            insn_op_idx=None if cmsg.operand_idx == -1 else cmsg.opearnd_idx,
+            insn_op_idx=None if cmsg.operand_idx == -1 else cmsg.operand_idx,
```

* more typo fixes

* address lint issues

* more import fixes?

* address feedback from PR

---------

Co-authored-by: Brian Caswell <bcaswell@microsoft.com>
2024-09-09 08:23:20 -07:00
Kevin Phoenix
ee464d0338
Adopt from __future__ import annotations (#4790) 2024-08-28 18:31:43 -07:00
Aruna | අරුණ
c6b9d9f25c
Update symbolic.rst with more information and example (#4662)
* Update symbolic.rst with more information and example

This commit adds more information to the symbolic execution core-concepts page with a small example.

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* Update symbolic.rst

Fix pre-commit.ci check for code (`` instead `)

* symbolic.rst docs line break at 80 chars

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* added the angr symbolic example

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* fix a typo

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* sync

* Update symbolic.rst

fix a minor issue

* Update symbolic.rst

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
2024-06-12 12:57:45 -07:00
Emmanuel Ferdman
763b140413
Update test_java.py reference (#4669)
Signed-off-by: Emmanuel Ferdman <emmanuelferdman@gmail.com>
2024-06-02 14:52:15 -07:00
Kevin Phoenix
974b74b262
Update install instructions to include docker method (#4613) 2024-05-02 17:46:09 -07:00
Lennard Hofmann
e8d4e3eead
Fix dead external link in docs (#4600) 2024-04-22 10:40:53 -07:00
CRoot
49341ebaa4
Fix typos in solver docs (#4434)
* Update solver.rst

Correcting a spelling error in an English word.

* Fixing grammatical errors

Fixing grammatical errors
2024-01-31 11:33:58 -07:00
Kevin Phoenix
7afec9a52c
Fix bad escape in docs (#4106) 2023-08-29 13:50:05 -07:00
Kevin Phoenix
5152f5bfc8
Don't render inherited members in docs (#4105) 2023-08-29 13:23:26 -07:00
Audrey Dutcher
43d3d81c82
Aggressively polish RDA APIs (#4088)
* Aggressively polish the RDA deref and get_concrete_value apis

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* Add load-from-loader-memory code path for rda memory loads

* RDA: FunctionCallDataUnwrapped, reset_prototype, and many interfaces now take more types

* Types; imports; other atoms

* lmao

* New overload for definition filters + new behavior for generating external definitions

* weh

* Add extract and concat to multivalues; make multivalues not choke on zero-length bitvectors

* Additional finagling for multivalues; match extern definitions

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

* oopsie whoopsie

* lint

* lint harder

* rename only -> one

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
2023-08-28 20:35:39 -07:00
Jasper Lievisse Adriaanse
37e8ca1c33
Fix all references to the archived angr-doc repository (#4083)
While here fix the text for baby-re after the scripts were merged in
58ce4b1.
2023-08-15 11:44:57 -07:00
Kevin Phoenix
a7ab3ea55c
Move faq to top level in docs (#4046) 2023-07-27 17:00:42 -07:00
Kevin Phoenix
c5a7b8c8bb
Include __init__ member in api docs (#3959) 2023-05-10 21:03:17 -07:00
Kevin Phoenix
b759995df2
Fix some links (#3946) 2023-05-09 09:54:28 -07:00
Fish
7919015258
VRA: Pre-scan to determine narrowing targets to avoid changing immutable objects. (#3935)
* VRA: Pre-scan to determine narrowing targets to avoid changing immutable objects.

* Lint code.
2023-05-06 20:01:17 -07:00
Kylir
7b5513e7a8
Fix typos on install page (#3925)
Few spelling errors.
2023-04-28 11:08:47 -07:00
Jiaxin Peng
c0d1fa1dfe
Remove ADDS_EXITS in procedures not using it (#3913)
* Remove ADDS_EXITS in procedures not using it

* lint
2023-04-24 21:57:57 -07:00
Audrey Dutcher
90dd9268ad
Add some new interfaces for propagator; reorganize code (#3874)
* do a heckin propagation

* Move merge_replacements to PropagatorState.

* apply a missed patch

* Enormous weh

* Replace CFGUtils with GraphUtils.

* Update api-doc

* Fix VFG base type.

* Lint code.

---------

Co-authored-by: Fish <fishw@asu.edu>
2023-04-23 14:46:09 -07:00
ducorduck
536edc9f7f
doc for debug variable resolution (#3899)
* add debug variable docs

* small doc edit
2023-04-13 12:57:52 -07:00
Kevin Phoenix
fecb387de6
Update installation documentation (#3880) 2023-03-28 16:21:14 -07:00
Kevin Phoenix
10cf2ad2a0
Port gitbook docs to sphinx (#3865)
* Port gitbook docs to sphinx

* Some fixes
2023-03-17 15:44:35 -07:00
Kevin Phoenix
5051023056
Add in-tree docs (#3849)
* Add in-tree docs

* Add build dependencies to RTD build

* Also install newer pip

* Install angrdb and pcode when building docs

* Sync ci docs with rtd config

* Use pipe for multiline string

* Fix typo

* Replace copyright with project_copyright

* Ignore type aliases in sphinx coverage

* Add links to plugin documentation

* Use coverage_ignore_pyobjects to ignore aliases

* Attribute copyright to contributors
2023-03-08 18:06:10 -07:00
Andrew Dutcher
18e153496a remove docs folder, it's in angr-doc now 2016-03-19 23:05:31 -07:00
Sébastien Duquette
b6dbc6e740 Some more docstrings reformatting. 2016-03-15 22:06:24 -04:00
Sébastien Duquette
9fdcf5c694 Add a script to generate api documentation with sphinx.
- Rewrote some of the comments to use the new formatting.
2016-02-18 23:44:18 -05:00