Data

Tools

Indexes

Applications

Experiments

Open Source Science

figurative

https://github.com/khulnasoft-lab/figurative

Science Score: 44.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
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Committers with academic emails
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (3.4%) to scientific vocabulary
Last synced: 8 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: khulnasoft-lab
  • License: agpl-3.0
  • Language: Python
  • Default Branch: master
  • Size: 6.61 MB
Statistics
  • Stars: 0
  • Watchers: 0
  • Forks: 1
  • Open Issues: 16
  • Releases: 0
Created over 2 years ago · Last pushed over 1 year ago
Metadata Files
Readme Changelog Contributing License Citation Codeowners

README.md

:warning: Project is in Maintenance Mode :warning:

This project is no longer internally developed and maintained. However, we are happy to review and accept small, well-written pull requests by the community. We will only consider bug fixes and minor enhancements.

Any new or currently open issues and discussions shall be answered and supported by the community.

Owner

  • Name: KhulnaSoft Ltd.
  • Login: khulnasoft-lab
  • Kind: organization
  • Email: info@khulnasoft.com
  • Location: Bangladesh

KhulnaSoft ❤️ Open Source

Citation (CITATION.cff) 

# YAML 1.2
---
abstract: "An effective way to maximize code coverage in software tests is through dynamic symbolic execution-a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Figurative for analyzing binaries and Ethereum smart contracts. Figurative's flexible architecture allows it to support both traditional and exotic execution environments, and its API allows users to customize their analysis. Here, we discuss Figurative's architecture and demonstrate the capabilities we have used to find bugs and verify the correctness of code for our commercial clients."
authors: 
  -
    affiliation: "Trail of Bits"
    family-names: Mossberg
    given-names: Mark
  -
    affiliation: "Trail of Bits"
    family-names: Manzano
    given-names: Felipe
  -
    affiliation: "Trail of Bits"
    family-names: Hennenfent
    given-names: Eric
  -
    affiliation: "Trail of Bits"
    family-names: Groce
    given-names: Alex
  -
    affiliation: "Trail of Bits"
    family-names: Greico
    given-names: Gustavo
  -
    affiliation: "Trail of Bits"
    family-names: Feist
    given-names: Josselin
  -
    affiliation: "Trail of Bits"
    family-names: Brunson
    given-names: Trent
  -
    affiliation: "Trail of Bits"
    family-names: Dinaburg
    given-names: Artem
cff-version: "1.1.0"
date-released: 2019-11-11
doi: "10.1109/ASE.2019.00133"
keywords: 
  - "symbolic execution"
  - "binary analysis"
  - ethereum
license: "AGPL-3.0"
message: "If you use this software in an academic work, please cite our paper."
repository-code: "https://github.com/khulnasoft-lab/figurative"
title: "Figurative: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts"
...

GitHub Events

Total
  • Delete event: 2
  • Issue comment event: 1
  • Pull request review event: 1
  • Pull request event: 2
  • Create event: 2
Last Year
  • Delete event: 2
  • Issue comment event: 1
  • Pull request review event: 1
  • Pull request event: 2
  • Create event: 2

Committers

Last synced: 9 months ago

All Time
  • Total Commits: 7
  • Total Committers: 1
  • Avg Commits per committer: 7.0
  • Development Distribution Score (DDS): 0.0
Past Year
  • Commits: 0
  • Committers: 0
  • Avg Commits per committer: 0.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
Md Sulaiman 5****r 7

Issues and Pull Requests

Last synced: 9 months ago

All Time
  • Total issues: 0
  • Total pull requests: 18
  • Average time to close issues: N/A
  • Average time to close pull requests: 6 months
  • Total issue authors: 0
  • Total pull request authors: 3
  • Average comments per issue: 0
  • Average comments per pull request: 0.06
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 7
Past Year
  • Issues: 0
  • Pull requests: 1
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Issue authors: 0
  • Pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 0.0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
Pull Request Authors
  • renovate-bot (14)
  • dependabot[bot] (5)
  • renovate[bot] (1)
Top Labels
Issue Labels
Pull Request Labels
dependencies (5)