issues
search
spgroup
/
conflict-static-analysis
14
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add ci
#98
barbosamaatheus
closed
3 months ago
0
feat: add option to enable/disable pointer analysis in OA
#97
barbosamaatheus
closed
2 months ago
0
Fix motivating pr
#96
galilasmb
opened
3 months ago
1
Refactor methods to correct behavior and add constructor
#95
galilasmb
closed
3 months ago
0
Refactor methods to correct behavior and add constructor
#94
nathaliafab
opened
3 months ago
0
feat: add -entrypoints on readme and update repository and svfa version
#93
barbosamaatheus
closed
3 months ago
0
Generate json output
#92
Vinicius-resende-cin
closed
4 months ago
0
chore(deps): bump org.soot-oss:soot from 4.3.0 to 4.4.1
#91
dependabot[bot]
closed
4 months ago
0
feat: update soot version
#90
barbosamaatheus
closed
4 months ago
0
fix: Adds optional support for receiving entrypoints
#89
barbosamaatheus
closed
4 months ago
0
updating docker settings
#88
galilasmb
closed
5 months ago
0
Updating docker and README
#87
galilasmb
closed
5 months ago
0
fixing dependence logger
#86
galilasmb
closed
5 months ago
0
fix: add ubuntu version on docker file
#85
barbosamaatheus
closed
5 months ago
0
chore(deps): bump org.eclipse.jgit:org.eclipse.jgit from 4.8.0.201706111038-r to 5.13.3.202401111512-r
#84
dependabot[bot]
closed
6 months ago
0
Fix para erros de execução no Windows
#83
Vinicius-resende-cin
closed
6 months ago
0
New oa version
#82
barbosamaatheus
closed
11 months ago
0
New oa report
#81
barbosamaatheus
closed
1 year ago
0
Adjusting report conflicts
#80
galilasmb
closed
6 months ago
2
Experiment Version
#79
galilasmb
closed
1 year ago
0
chore(deps): bump guava from 31.1-jre to 32.0.0-jre
#78
dependabot[bot]
closed
6 months ago
0
Add --fix-missing in docker file
#77
galilasmb
closed
1 year ago
0
chore: updating README
#76
galilasmb
closed
1 year ago
0
Resolvendo probelmas de performace em OA
#75
barbosamaatheus
closed
1 year ago
0
feat(OA): add TraversedMethodsWrapper
#74
barbosamaatheus
closed
1 year ago
0
teria que criar um wrapper de List, mas ficaria melhor. pode deixar para a proxima versao
#73
barbosamaatheus
closed
3 months ago
1
PR para experimento
#72
galilasmb
closed
1 year ago
0
Run experiment
#71
galilasmb
closed
1 year ago
0
OA
#70
barbosamaatheus
closed
1 year ago
0
Adicionar restrição de entrada a medodos da mesma familia
#69
barbosamaatheus
closed
1 year ago
0
fix: resolve error with configure Soot
#68
galilasmb
closed
1 year ago
0
feat: save time execution
#67
galilasmb
closed
1 year ago
0
chore: updating readme docker
#66
galilasmb
closed
1 year ago
0
Update README.md
#65
galilasmb
closed
1 year ago
0
feat: update dockerfile and instrutions
#64
barbosamaatheus
closed
1 year ago
0
update docker and add new tests cases
#63
barbosamaatheus
closed
1 year ago
1
feat: remove print of graph model
#62
galilasmb
closed
1 year ago
0
Dockerfile and instructions
#61
barbosamaatheus
closed
1 year ago
0
fix: add to path direction in toString
#60
galilasmb
closed
1 year ago
0
Add Point to
#59
barbosamaatheus
closed
2 years ago
0
Falha ao criar build
#58
barbosamaatheus
closed
2 years ago
1
fix: fixing interprocedural analysis and refactoring
#57
galilasmb
closed
2 years ago
0
ADD SVFA and PDG dependency
#56
galilasmb
closed
2 years ago
0
Add PDG Test and Run Confluence with DFP
#55
galilasmb
closed
2 years ago
0
fix: removeAll method error
#54
barbosamaatheus
closed
2 years ago
0
tests: update BaseNotConflictSample
#53
barbosamaatheus
closed
2 years ago
0
tests: add base test cases
#52
barbosamaatheus
closed
2 years ago
0
fix: filter conflicts with the same root
#51
barbosamaatheus
closed
2 years ago
0
PDG Implementation
#50
galilasmb
closed
2 years ago
1
PDG Implementation
#49
galilasmb
closed
2 years ago
0
Next