Add parseAPI/BoundFactCalculator.h

dyninst · Apr 3, 2024 · ae4bddf · ae4bddf
1 parent f3251f1
commit ae4bddf
Showing 1 changed file with 16 additions and 2 deletions.
diff --git a/docs/parseAPI/developer/BoundFactCalculator.h.rst b/docs/parseAPI/developer/BoundFactCalculator.h.rst
@@ -1,5 +1,19 @@
+.. _`sec:BoundFactCalculator.h`:
+
 BoundFactCalculator.h
-=====================
+#####################
+
+.. cpp:namespace:: Dyninst::ParseAPI
+
+.. code:: c
+
+  // To avoid the bound fact calculation from deadlock
+  #define IN_QUEUE_LIMIT 10
 
-.. cpp:namespace:: Dyninst::parseAPI
+.. cpp:class:: BoundFactsCalculator
 
+  .. cpp:function:: bool CalculateBoundedFacts()
+  .. cpp:function:: BoundFactsCalculator(ParseAPI::Function *f, GraphPtr s, bool first, \
+                    bool oneByteRead, SymbolicExpression &sym)
+  .. cpp:function:: BoundFact *GetBoundFactIn(Node::Ptr node)
+  .. cpp:function:: BoundFact *GetBoundFactOut(Node::Ptr node)