pascal-lab/Tai-e issues and pull requests

#122 - Cannot find option 'taint-config-providers', please check your configuration and option key

Issue - State: closed - Opened by YunFy26 about 2 months ago - 2 comments
Labels: type: question

#121 - Incorrect result when an empty bitset intersects with itself

Issue - State: closed - Opened by notify-bibi about 2 months ago - 4 comments
Labels: type: bug

#120 - Could Tai-e or Soot frontend support bytecode from jdk21

Issue - State: closed - Opened by hillwangsec about 2 months ago - 4 comments
Labels: type: question

#119 - There is a bug in the type checking of JClass when the application path does not specify a specific package name.

Issue - State: closed - Opened by YunFy26 about 2 months ago - 2 comments
Labels: type: bug

#118 - Does `scope` affect the analysis order? Is it possible to specify the analysis order?

Issue - State: closed - Opened by YunFy26 2 months ago - 2 comments
Labels: type: question

#117 - In the `onNewStmt method`, how to get the context?

Issue - State: closed - Opened by YunFy26 2 months ago - 2 comments
Labels: type: question

#116 - tain transfers config problem

Issue - State: open - Opened by linlinhan-git 3 months ago - 1 comment
Labels: type: question

#115 - *.tir contains only the class name, the interior of the class is empty and some confusion about analyzing springweb

Issue - State: closed - Opened by YunFy26 3 months ago - 4 comments
Labels: type: question

#114 - Is there any way to be able to mock classes via tai-e at runtime.

Issue - State: closed - Opened by Spr1n9T1me 3 months ago - 4 comments
Labels: type: question

#113 - Inquiry about Method Caller Extraction in Java Library project Using Tai-e

Issue - State: closed - Opened by vbifg 4 months ago - 6 comments
Labels: type: question

#112 - Customize multiple entry methods

Issue - State: closed - Opened by slimming-fat 4 months ago - 5 comments
Labels: type: question

#111 - How to dump call graph, pointer flow graph, and points-to set?

Issue - State: closed - Opened by koushik0329 4 months ago - 11 comments
Labels: type: question

#110 - Support interactive mode for taint analysis

Pull Request - State: closed - Opened by chaos-warzh 6 months ago - 4 comments

#109 - How to correctly taint "%this"?

Issue - State: closed - Opened by MXWXZ 6 months ago - 5 comments
Labels: type: question

#108 - Could not resolve java.lang.invoke.StringConcatFactory when test Java9StringConcat

Issue - State: closed - Opened by hillwangsec 6 months ago - 1 comment
Labels: type: question

#107 - Tai-e did not detect any taint flows

Issue - State: closed - Opened by wangzitom12306 6 months ago - 6 comments
Labels: type: question

#106 - Null pointer exception when running BenchmarkRunner on benchmark `columba-1.4`

Issue - State: open - Opened by enochii 6 months ago - 5 comments
Labels: type: bug

#105 - question about icfg with ImplicitEntries

Issue - State: closed - Opened by littlejlf 6 months ago
Labels: type: question

#104 - Plugin [id: 'org.gradle.kotlin.kotlin-dsl', version: '4.3.0'] was not found in any of the following sources:

Issue - State: closed - Opened by zFitness 7 months ago - 6 comments
Labels: type: question

#103 - question about Build IR

Issue - State: closed - Opened by littlejlf 7 months ago - 1 comment
Labels: type: question

#102 - When using methods such as Map.get(), if the return value is an array, the elements in the array will not be tainted.

Issue - State: closed - Opened by springkill 7 months ago - 6 comments

#101 - RuntimeException: couldn't find class

Issue - State: closed - Opened by wangzitom12306 7 months ago - 2 comments

#100 - Reflection analysis for Method.invoke(Object, Object[]) miss target when the second argument is generated by ArrayList.toArray(T[])

Issue - State: open - Opened by penguinfirst 7 months ago - 1 comment

#99 - Have any suggestion for back taint propagation in param var

Issue - State: open - Opened by hillwangsec 7 months ago - 3 comments

#99 - Have any suggestion for back taint propagation in param var

Issue - State: open - Opened by hillwangsec 7 months ago - 3 comments

#98 - How to config to result[*] rule for return array type in taint analysis

Issue - State: open - Opened by Raul1718 7 months ago - 9 comments

#97 - How to config to result[*] rule for return array type in taint analysis

Issue - State: closed - Opened by Raul1718 7 months ago

#96 - How to resolve taint propagation in type cast

Issue - State: open - Opened by Raul1718 7 months ago - 7 comments

#95 - CHA seems slower than context-insensitive pointer analysis

Issue - State: closed - Opened by enochii 7 months ago - 4 comments

#94 - How to obtain the results of CFGBuilder while writing PTA Plugin code?

Issue - State: closed - Opened by Spr1n9T1me 8 months ago - 2 comments

#93 - Missed in Inter-taint analysis

Issue - State: closed - Opened by SolLupus 8 months ago

#92 - How can I tell if an element in a Map is tainted?

Issue - State: closed - Opened by springkill 8 months ago - 7 comments

#91 - How to handle java generics feature in taint analysis.

Issue - State: closed - Opened by Spr1n9T1me 8 months ago - 2 comments

#90 - Does Tai-e has any plan to support other languages? like C/C++

Issue - State: closed - Opened by Clarence-Liangxu 9 months ago - 1 comment

#89 - License?

Issue - State: closed - Opened by runner02 10 months ago

#88 - add missing ";"

Pull Request - State: open - Opened by Lucarun 10 months ago - 3 comments

#87 - Can we find the source point through annotations? For example, I would like to use the parameter of the method with RequestMapping annotation as the source point

Issue - State: open - Opened by SEC-fsq 10 months ago - 1 comment
Labels: type: enhancement

#86 - Can the configuration of source and sink support wildcard characters, such as using * to match？

Issue - State: open - Opened by SEC-fsq 10 months ago - 4 comments
Labels: type: enhancement

#85 - What is the support for Java source code? After testing, it was found that some classes did not recognize the method. What are the conditions for Java source code analysis?

Issue - State: closed - Opened by SEC-fsq 10 months ago - 1 comment
Labels: type: enhancement

#84 - java.lang.RuntimeException: Attempt to create RefType containing ...

Issue - State: closed - Opened by SEC-fsq 10 months ago - 1 comment

#83 - Duplicated with #82

Issue - State: closed - Opened by SEC-fsq 10 months ago - 1 comment
Labels: type: enhancement

#82 - More example?

Issue - State: closed - Opened by SEC-fsq 10 months ago - 1 comment
Labels: type: enhancement

#81 - Fix missing return type in plugin docs

Pull Request - State: closed - Opened by ftyghome 10 months ago - 5 comments

#80 - InterTaint transfer and invoke issues in Taint Analysis

Issue - State: closed - Opened by hillwangsec 10 months ago - 2 comments

#79 - Scala language support

Issue - State: closed - Opened by runner02 10 months ago - 1 comment

#78 - Plan to support other languages?

Issue - State: closed - Opened by SEC-fsq 10 months ago - 2 comments
Labels: type: enhancement

#77 - Interface functions of the actual running class Not Displayed in Call Graph

Issue - State: closed - Opened by fangyuan00 11 months ago - 6 comments

#76 - Make pointer analysis only/not analyze the specified packages/classes/methods

Issue - State: closed - Opened by HeouDonkey 11 months ago - 4 comments

#75 - about java-benchmarks log4j configuration

Issue - State: closed - Opened by oicu0619 11 months ago - 9 comments

#74 - About reference type casting in taint propagation

Issue - State: closed - Opened by MatthewXY01 11 months ago - 2 comments

#73 - Enhance support for array taint obj in taint config

Issue - State: closed - Opened by 75ACOL 12 months ago - 3 comments

#72 - How to configure Taint Transfer for such case?

Issue - State: closed - Opened by 75ACOL 12 months ago - 7 comments

#71 - SootField Failed to be converted to JField because of Signature Problem

Issue - State: closed - Opened by lollipop190 12 months ago - 2 comments
Labels: status: waiting-for-feedback

#70 - A little question about the args to construct call graph

Issue - State: closed - Opened by cshezhang 12 months ago - 1 comment

#69 - The CLI output detected the taint flow, but no flow in the dot file.

Issue - State: closed - Opened by Reclu3e 12 months ago - 4 comments

#68 - Pointer Analysis for Specific Elements in JAR Files and Execution Time Tracking

Issue - State: closed - Opened by IOExceptionOI about 1 year ago - 1 comment

#67 - Replacing / manipulating IR of methods in "world"

Issue - State: closed - Opened by staslath about 1 year ago - 6 comments

#66 - Are you using Tai-e?

Issue - State: open - Opened by silverbullettt about 1 year ago - 9 comments

#65 - A question about C++ language support

Issue - State: closed - Opened by anabioticsoul about 1 year ago - 2 comments

#64 - "pascal.taie.analysis.graph.icfg.ICFGBuilder.getCFGOf(pascal.taie.language.classes.JMethod)" is null

Issue - State: closed - Opened by lollipop190 about 1 year ago - 6 comments