Skip to content

Conversation

@SamarthBengle
Copy link

No description provided.

Copy link
Collaborator

@swissiety swissiety left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ok - please add a step by step guide "tutorial" written in markdown.

  • write tutorial
  • add a new file in docs/ .
  • To include the code example please make use of a plugin that lets you include files so that you can refer to specific lines/code range in the TaintAnalysisTest.java file so that the mentioned lines are included in the markdown rendering (find/configure a mkdocs plugin if necessary) - maybe a mkdocs plugin that lets you specify code regions by a placeholder in a code comment which we could insert into the original source would be really great so the ranges would not changes if someone adds anew line of code.

Copy link
Collaborator

@swissiety swissiety left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lets make use of a mkdocs plugin to import the sections from a .java file

The core analysis logic extends `DefaultJimpleIFDSTabulationProblem`:

```java
static class TaintAnalysisProblem extends DefaultJimpleIFDSTabulationProblem<Object, InterproceduralCFG<Stmt, SootMethod>> {
Copy link
Collaborator

@swissiety swissiety Sep 19, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

can we break that huge section down into multiple smaller ones + explaination?

@swissiety swissiety changed the title taint analysis example added taint analysis example Sep 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants