Data

Tools

Indexes

Applications

Experiments

Open Source Science

naivepta

https://github.com/encodetalker2003/naivepta

Science Score: 18.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ○
    codemeta.json file
  • ○
    .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Unable to calculate vocabulary similarity
Last synced: 6 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: EncodeTalker2003
  • License: lgpl-3.0
  • Language: Java
  • Default Branch: master
  • Size: 33.3 MB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 2 years ago · Last pushed about 2 years ago
Metadata Files
Readme Changelog License Citation

README.md

NaivePTA

北京大学2023年秋季学期《软件分析技术》课程作业：实现一个Java上的指针分析。

基于Tai-e框架实现，感谢该框架的开发人员！

详细信息可以参考Readme.pdf。

Owner

  • Login: EncodeTalker2003
  • Kind: user

Citation (CITATION.bib) 

@inproceedings{Tai-e:paper,
    author = {Tan, Tian and Li, Yue},
    title = {Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics},
    year = {2023},
    isbn = {9798400702211},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/3597926.3598120},
    doi = {10.1145/3597926.3598120},
    booktitle = {Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis},
    pages = {1093–1105},
    numpages = {13},
    keywords = {static analysis, framework design and implementation, Java},
    location = {Seattle, WA, USA},
    series = {ISSTA 2023}
}

GitHub Events

Total
Last Year

Dependencies

.github/workflows/release.yml actions
  • actions/checkout v4 composite
  • actions/setup-java v3 composite
  • gradle/gradle-build-action v2 composite
  • manyuanrong/setup-ossutil v2.0 composite
.github/workflows/test.yml actions
  • actions/checkout v4 composite
  • actions/setup-java v3 composite
  • codecov/codecov-action v3 composite
  • gradle/gradle-build-action v2 composite
build.gradle.kts maven
  • com.fasterxml.jackson.dataformat:jackson-dataformat-yaml 2.15.0 implementation
  • com.google.code.findbugs:jsr305 3.0.2 implementation
  • info.picocli:picocli 4.7.3 implementation
  • org.apache.logging.log4j:log4j-api 2.20.0 implementation
  • org.apache.logging.log4j:log4j-core 2.20.0 implementation
  • org.ow2.asm:asm 9.4 implementation
  • org.slf4j:slf4j-nop 2.0.7 implementation
  • org.junit.jupiter:junit-jupiter * testImplementation
  • org.junit.platform:junit-platform-suite * testImplementation
buildSrc/build.gradle.kts maven
docs/build.gradle.kts maven