Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / rbonifacio/svfa-scala issues and pull requests

#33 - Update master

Pull Request - State: closed - Opened by Jclavo about 2 months ago

#32 - Setup TaintBench

Pull Request - State: open - Opened by Jclavo about 2 months ago

#31 - Changes for 1st to 5th methodology cycles

Pull Request - State: closed - Opened by Jclavo 3 months ago
Labels: bug

#30 - Enable passed test for flowdroid benchmark

Pull Request - State: closed - Opened by Jclavo 3 months ago

#29 - [Fifth Cycle] - Inter test (inter7)

Pull Request - State: open - Opened by Jclavo 7 months ago
Labels: bug

#28 - [Third Cycle] - Inter tests

Pull Request - State: open - Opened by Jclavo 9 months ago
Labels: bug

#27 - [First Cycle] - Basic Test: Add Context

Pull Request - State: open - Opened by Jclavo 10 months ago

#26 - Basic tests [DO NOT MERGE]

Pull Request - State: open - Opened by Jclavo 11 months ago

#25 - [Second Cycle] - Array Tests

Pull Request - State: open - Opened by Jclavo 11 months ago

#24 - Enable test for flowdroid benchmark

Pull Request - State: closed - Opened by Jclavo 11 months ago

#23 - Fix test Basic 17: Proposal 1

Pull Request - State: closed - Opened by Jclavo 11 months ago

#22 - Fixing SVFA

Pull Request - State: open - Opened by galilasmb about 1 year ago

#21 - Update svfa

Pull Request - State: closed - Opened by galilasmb over 1 year ago

#20 - Fix SVFA implementation

Pull Request - State: open - Opened by galilasmb over 1 year ago

#19 - Motivating example

Pull Request - State: closed - Opened by galilasmb over 1 year ago
Labels: bug

#18 - fix: add value line in to string

Pull Request - State: closed - Opened by galilasmb about 2 years ago

#16 - something about svfa

Issue - State: open - Opened by mengjianwei12345 over 2 years ago - 1 comment

#15 - Structural changes

Pull Request - State: closed - Opened by galilasmb over 2 years ago

#14 - Field sensitivity with Spark

Pull Request - State: closed - Opened by lorrainesilva about 3 years ago

#13 - Add failing tests that involve fields and interfaces

Pull Request - State: closed - Opened by rafaelmotaalves over 3 years ago

#12 - Initial Commit

Pull Request - State: closed - Opened by galilasmb over 3 years ago

#11 - Servlet dependencie

Pull Request - State: open - Opened by luisamaralh almost 4 years ago

#10 - update applicationClassPath to get user.home

Pull Request - State: closed - Opened by barbosamaatheus over 4 years ago

#9 - update readme and get local user automatically

Pull Request - State: closed - Opened by barbosamaatheus over 4 years ago

#8 - Change hash based graph to scala graph

Pull Request - State: closed - Opened by joao-victor-silva over 4 years ago

#7 - Parameterized node

Pull Request - State: closed - Opened by joao-victor-silva over 4 years ago

#6 - Added the array suport

Pull Request - State: closed - Opened by joao-victor-silva over 4 years ago

#3 - Assignment to a method call of a tainted object

Issue - State: open - Opened by rbonifacio almost 5 years ago
Labels: bug

#2 - Added the FlowDroid files

Pull Request - State: closed - Opened by joao-victor-silva almost 5 years ago

#1 - Add the Flowdroid securiBench test cases:

Pull Request - State: closed - Opened by joao-victor-silva almost 5 years ago - 1 comment