Eptalights Research

Code Analysis Simplified.

Using cutting edge technology to simplify code analysis while preserving depth information at the lower form [IR/ByteCode] to ensure software correctness.

Our Technology

  • IR OR BYTECODE EXTRACTION
    #1

    Breakdown programs into some lower form (bytecode, instructions, IR) and extract all properties using any of our extractors depending on the language.

    Supported Languages

    • C/C++
  • LIFT OR TRANSFORM TO EGIMPLE
    #2

    Lift or transform the extracted lower form (bytecode, instructions, IR) into EGIMPLE IR data model.

    EGIMPLE Intermediate Representation (IR) is strongly influenced and modelled on GCC-GIMPLE with several customizations and additional data.

    Leverage a single, standardized data model to build tools while maintaining access to all the details of the low-level instructions, IR, and bytecode.

  • WRITE RULES WITH PYTHON API
    #3

    Automate detailed code analysis rules, patterns, or variants more naturally with simple Python APIs, without needing to learn a custom DSL, in both small and large codebases.

    Effortlessly analyze program structure, data flow, and function calls with support for SSA variables and call sites using our Python API.

    Save time by quickly finding complex variables (defined/used), call sites, control flow graphs, and more.

Our Philosophy

All software/programs get broken down into some lower form (bytecode, instructions, IR) before execution.

Mostly, these forms (bytecode, instructions, IR) are accurate representation of how the program will be executed.

Our philosophy advocates for conducting code analysis at these lower forms (bytecode, instructions, IR) for enhanced accuracy, as opposed to the AST or source-like levels.

Our innovative technology extracts comprehensive program information (functions, instructions, SSA variables, call sites) from these forms (bytecode, instructions, IR), maintaining all necessary details and representing them in a standardized data model

Our standardized data model is accessible through our Python library, offering a more intuitive interface compared to using a custom DSL language.

Consulting

We are open to working together to create customized solutions for your specific needs to optimize your business processes, save time and increase productivity.

Building Custom Program Analysis tools/software leveraging eptalights platform/apis/tools.

Building GCC Gimple Plugins.

Supported Language

Contact Us

Contact us for general inquiries about our products, speak to an engineer for some advice, book a demo, or speak to our sales team?