{"id":25024,"name":"dnnf","description":"Deep Neural Network Falsification","url":"https://github.com/dlshriver/dnnf","last_synced_at":"2025-09-05T02:35:15.059Z","repository":{"id":42196355,"uuid":"252247647","full_name":"dlshriver/dnnf","owner":"dlshriver","description":"Deep Neural Network Falsification","archived":false,"fork":false,"pushed_at":"2022-08-04T17:07:45.000Z","size":474,"stargazers_count":7,"open_issues_count":3,"forks_count":4,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-08-21T04:14:19.632Z","etag":null,"topics":["adversarial-attacks","deep-neural-networks","dnnf","dnnv","neural-networks","verification"],"latest_commit_sha":null,"homepage":"https://dnnf.readthedocs.io/","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dlshriver.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2020-04-01T17:51:50.000Z","updated_at":"2023-04-15T03:09:38.000Z","dependencies_parsed_at":"2022-08-28T11:41:27.401Z","dependency_job_id":null,"html_url":"https://github.com/dlshriver/dnnf","commit_stats":null,"previous_names":[],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/dlshriver/dnnf","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dlshriver%2Fdnnf","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dlshriver%2Fdnnf/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dlshriver%2Fdnnf/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dlshriver%2Fdnnf/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dlshriver","download_url":"https://codeload.github.com/dlshriver/dnnf/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dlshriver%2Fdnnf/sbom","scorecard":{"id":347307,"data":{"date":"2025-08-11","repo":{"name":"github.com/dlshriver/dnnf","commit":"dc18b8f870c527a535e05756d85e5d8faac30f0b"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.2,"checks":[{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Code-Review","score":0,"reason":"Found 1/29 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Info: jobLevel 'actions' permission set to 'read': .github/workflows/codeql-analysis.yml:26","Info: jobLevel 'contents' permission set to 'read': .github/workflows/codeql-analysis.yml:27","Warn: no topLevel permission defined: .github/workflows/codeql-analysis.yml:1","Warn: no topLevel permission defined: .github/workflows/style.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: MIT License: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/codeql-analysis.yml:39: update your workflow using https://app.stepsecurity.io/secureworkflow/dlshriver/dnnf/codeql-analysis.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/codeql-analysis.yml:43: update your workflow using https://app.stepsecurity.io/secureworkflow/dlshriver/dnnf/codeql-analysis.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/codeql-analysis.yml:54: update your workflow using https://app.stepsecurity.io/secureworkflow/dlshriver/dnnf/codeql-analysis.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/codeql-analysis.yml:68: update your workflow using https://app.stepsecurity.io/secureworkflow/dlshriver/dnnf/codeql-analysis.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/style.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/dlshriver/dnnf/style.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/style.yml:18: update your workflow using https://app.stepsecurity.io/secureworkflow/dlshriver/dnnf/style.yml/main?enable=pin","Warn: containerImage not pinned by hash: Dockerfile:1: pin your Docker image by updating ubuntu:focal to ubuntu:focal@sha256:8feb4d8ca5354def3d8fce243717141ce31e2c428701f6682bd2fafe15388214","Warn: pipCommand not pinned by hash: install.sh:83","Warn: pipCommand not pinned by hash: install.sh:87","Warn: pipCommand not pinned by hash: install.sh:100","Warn: pipCommand not pinned by hash: .github/workflows/style.yml:23","Warn: pipCommand not pinned by hash: .github/workflows/style.yml:24","Info:   0 out of   6 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   1 containerImage dependencies pinned","Info:   0 out of   5 pipCommand dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Vulnerabilities","score":0,"reason":"23 existing vulnerabilities detected","details":["Warn: Project is vulnerable to: PYSEC-2024-48 / GHSA-fj7x-q9j7-g6q6","Warn: Project is vulnerable to: PYSEC-2018-34 / GHSA-2fc2-6r4j-p65h","Warn: Project is vulnerable to: PYSEC-2021-856 / GHSA-5545-2q6w-2gh6","Warn: Project is vulnerable to: PYSEC-2019-108 / GHSA-9fq2-x9r6-wfmf","Warn: Project is vulnerable to: PYSEC-2018-33 / GHSA-cw6w-4rcx-xphc","Warn: Project is vulnerable to: PYSEC-2021-857 / GHSA-f7c7-j99h-c22f","Warn: Project is vulnerable to: GHSA-fpfv-jqm9-f5jm","Warn: Project is vulnerable to: PYSEC-2017-1 / GHSA-frgw-fgh6-9g52","Warn: Project is vulnerable to: GHSA-6rq9-53c3-f7vj","Warn: Project is vulnerable to: PYSEC-2023-38 / GHSA-ffxj-547x-5j7c","Warn: Project is vulnerable to: PYSEC-2025-10 / GHSA-h36j-8vv3-cj52","Warn: Project is vulnerable to: PYSEC-2024-223 / GHSA-h8wv-9h96-m4hr","Warn: Project is vulnerable to: PYSEC-2024-222 / GHSA-whh8-fjgc-qp73","Warn: Project is vulnerable to: PYSEC-2023-102","Warn: Project is vulnerable to: PYSEC-2023-114","Warn: Project is vulnerable to: GHSA-3749-ghw9-m3mg","Warn: Project is vulnerable to: PYSEC-2022-43015 / GHSA-47fc-vmwq-366v","Warn: Project is vulnerable to: PYSEC-2025-41 / GHSA-53q9-r3pm-6pq6","Warn: Project is vulnerable to: PYSEC-2024-252 / GHSA-5pcm-hx3q-hm94","Warn: Project is vulnerable to: GHSA-887c-mr87-cxwp","Warn: Project is vulnerable to: PYSEC-2024-251 / GHSA-pg7h-5qx3-wjr3","Warn: Project is vulnerable to: PYSEC-2024-250","Warn: Project is vulnerable to: PYSEC-2024-259"],"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"SAST","score":7,"reason":"SAST tool detected but not run on all commits","details":["Info: SAST configuration detected: CodeQL","Warn: 0 commits out of 2 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-18T07:24:48.050Z","repository_id":42196355,"created_at":"2025-08-18T07:24:48.050Z","updated_at":"2025-08-18T07:24:48.050Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273702330,"owners_count":25152871,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"dlshriver","name":"David Shriver","uuid":"5686137","kind":"user","description":"","email":"","website":"dlshriver.com","location":"Pittsburgh, PA","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/5686137?u=d05c77a6edcbddb47a204ef93686477a3f8034d7\u0026v=4","repositories_count":6,"last_synced_at":"2023-02-26T09:50:26.871Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/dlshriver","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-09T21:48:41.043Z","updated_at":"2023-02-26T09:50:26.883Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dlshriver","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dlshriver/repositories"},"packages":null,"commits":{"id":568535,"full_name":"dlshriver/dnnf","default_branch":"main","committers":[{"name":"David Shriver","email":"dls2fc@virginia.edu","count":79},{"name":"David Shriver","email":"davidshriver@outlook.com","count":40},{"name":"Meriel von Stein","email":"meriel.k.stein@gmail.com","count":2},{"name":"snyk-bot","email":"snyk-bot@snyk.io","count":1}],"total_commits":122,"total_committers":4,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":30.5,"dds":0.35245901639344257,"past_year_committers":null,"past_year_total_commits":null,"past_year_total_committers":null,"past_year_total_bot_commits":null,"past_year_total_bot_committers":null,"past_year_mean_commits":null,"past_year_dds":null,"last_synced_at":"2023-03-18T03:52:34.375Z","last_synced_commit":"dc18b8f870c527a535e05756d85e5d8faac30f0b","created_at":"2023-03-09T05:20:39.777Z","updated_at":"2023-09-19T17:18:52.417Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/dlshriver%2Fdnnf/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.343Z","repositories_count":5480019,"commits_count":853389012,"contributors_count":31098138,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"dlshriver/dnnf","html_url":"https://github.com/dlshriver/dnnf","last_synced_at":"2025-08-21T03:51:22.317Z","status":"error","issues_count":8,"pull_requests_count":6,"avg_time_to_close_issue":1598023.6666666667,"avg_time_to_close_pull_request":412810.0,"issues_closed_count":6,"pull_requests_closed_count":5,"pull_request_authors_count":4,"issue_authors_count":3,"avg_comments_per_issue":3.125,"avg_comments_per_pull_request":0.5,"merged_pull_requests_count":5,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"created_at":"2023-05-14T14:28:59.182Z","updated_at":"2025-08-21T03:51:22.318Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/dlshriver%2Fdnnf","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/dlshriver%2Fdnnf/issues","issue_labels_count":{},"pull_request_labels_count":{"enhancement":3},"issue_author_associations_count":{"NONE":8},"pull_request_author_associations_count":{"CONTRIBUTOR":4,"OWNER":1,"NONE":1},"issue_authors":{"mrivera42":4,"shenw000":3,"swarupmohalik":1},"pull_request_authors":{"MissMeriel":3,"dlshriver":1,"Felipetoledo4815":1,"snyk-bot":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-08-28T00:00:20.451Z","repositories_count":8341616,"issues_count":15640449,"pull_requests_count":37241097,"authors_count":5664792,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{},"past_year_pull_request_author_associations_count":{},"past_year_issue_authors":{},"past_year_pull_request_authors":{},"maintainers":[{"login":"dlshriver","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/dlshriver"}],"active_maintainers":[]},"events":{"total":{},"last_year":{}},"keywords":["adversarial-attacks","deep-neural-networks","dnnf","dnnv","neural-networks","verification"],"dependencies":[{"ecosystem":"pypi","filepath":"docs/requirements.txt","sha":null,"kind":"manifest","created_at":"2022-08-28T11:41:27.111Z","updated_at":"2022-08-28T11:41:27.111Z","repository_link":"https://github.com/dlshriver/dnnf/blob/main/docs/requirements.txt","dependencies":[{"id":3036644152,"package_name":"sphinx","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644153,"package_name":"furo","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"requirements.txt","sha":null,"kind":"manifest","created_at":"2022-08-28T11:41:27.241Z","updated_at":"2022-08-28T11:41:27.241Z","repository_link":"https://github.com/dlshriver/dnnf/blob/main/requirements.txt","dependencies":[{"id":3036644644,"package_name":"dnnv","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644645,"package_name":"numpy","ecosystem":"pypi","requirements":"\u003e=1.20,\u003c1.22","direct":true,"kind":"runtime","optional":false},{"id":3036644646,"package_name":"onnx","ecosystem":"pypi","requirements":"\u003e=1.8,\u003c1.11","direct":true,"kind":"runtime","optional":false},{"id":3036644647,"package_name":"scipy","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644648,"package_name":"torch","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644649,"package_name":"torchvision","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644650,"package_name":"cleverhans","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644651,"package_name":"foolbox","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644652,"package_name":"coverage","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644653,"package_name":"pytest","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644654,"package_name":"black","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644655,"package_name":"mypy","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644656,"package_name":"sphinx","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":3036644657,"package_name":"furo","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false}]}],"score":3.6888794541139367,"created_at":"2025-09-04T15:50:56.937Z","updated_at":"2025-10-07T08:11:27.301Z","avatar_url":"https://github.com/dlshriver.png","language":"Python","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/25024","html_url":"https://science.ecosyste.ms/projects/25024","bibtex_url":"https://science.ecosyste.ms/projects/25024/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/25024/export.apalike"}