Add missing options to PTA documentation (#161)

Author: Michael1015198808

docs/en/pointer-analysis-framework.adoc

@@ -61,6 +61,10 @@ For the reflective calls specified in the log file, pointer analysis will resolv
 *** Solar (option value: `solar`): introduced in our https://cs.nju.edu.cn/tiantan/papers/tosem2019.pdf[TOSEM'19 paper].
 *** No inference (option value: `null`): disable reflection inference.
 
+* Handling of `invokedynamic`: `handle-invokedynamic:[true|false]`
+** Default value: `false`.
+** Specify whether to handle `invokedynamic` instructions (useful for analyzing lambda-related behaviors).
+
 * Taint analysis: `taint-config:<path/to/config>`
 ** Default value: `null`
 ** Specify the path to configuration file for taint analysis, which defines sources, sinks, and taint transfers.
@@ -79,6 +83,10 @@ See <<taint-analysis#taint-analysis,Taint Analysis>> for more details.
 ** Default value: `false`
 ** Specify whether to dump points-to results.
 
+* Dump points-to results (with context information) in YAML format: `dump-yaml:[true|false]`
+** Default value: `false`
+** Specify whether to dump points-to results in YAML format. This option is independent of `dump` and `dump-ci` output formats.
+
 * Time limit: `time-limit:<time-limit>`
 ** Default value: `-1`
 ** Specify a time limit for pointer analysis (unit: second).When it is `-1`, there is no time limit.