Skip to content

Changes

Page history
Update Tutorial 1: Get started with verify_pin analysis authored by Etienne Boespflug's avatar Etienne Boespflug
Hide whitespace changes
Inline Side-by-side
Overview/Tutorial-1:-Get-started-with-verify_pin-analysis.md
View page @ d531abd7
......@@ -270,10 +270,10 @@ The complete results CSV file can be found inside the `res.csv` file in the anal
You have done your first analysis with **Lazart**. [Tutorial 2: Symbolic Inputs, Equivalence and Redundancy](Overview/Tutorial-2:-Symbolic-Inputs,-Equivalence-and-Redundancy) shows how to use symbolic input with Lazart. [Tutorial 3 on ](Overview/Tutorial-3:-Data-Load-and-model-combination-on-memcmps)`memcmps` presents the [Data Load (DL)](Attack-Model/Data-Load-(DL)-Fault-Model) model and model combination on `memcmps3` example.
For more information about analysis scripts and Lazart tools and environement, see [this section](Environment).
For more information about analysis scripts and Lazart tools and environment, see [this section](Environment).
The **[Python API](/lazart/lazart/-/wikis/Core/Analysis)** contains features for manipulating *analysis*, *traces*, *attacks*, *faults* etc. You can write much more complex scripts and your own analysis.
If you want to contribute to this project, please consult the **[corresponding guide](/lazart/lazart/-/wikis/Dev/Devlopment-Resources)**.
If you want to contribute to this project, please consult the **[corresponding guide](Development-Resources)**.
***note:*** *This wiki is still under development and some sections are not written for now.*
\ No newline at end of file