Synthesizing optimal 8051 code with an SMT solver (2020)

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
Binary Analysis angr HacktoberFest

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • angr

    A powerful and user-friendly binary analysis platform!

    • Check out angr [1], a symbolic execution engine, and claripy [2], its frontend to SMT solvers like z3.

    [1] https://angr.io

    [2] https://api.angr.io/claripy.html

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • 30 Years of Decompilation and the Unsolved Structuring Problem: Part 1

    3 projects | news.ycombinator.com | 3 Jan 2024

  • The Full Story of Large Language Models and RLHF

    1 project | news.ycombinator.com | 3 May 2023

  • Can anyone explain to me how to find main function in elf file?

    2 projects | /r/cpp | 21 Apr 2022

  • We are Legitimate Business Syndicate, DEF CON CTF Organizers 2013-2017, Ask Us Anything

    1 project | /r/Defcon | 14 Oct 2021

  • What's a good technology to introduce to my company?

    1 project | /r/learnprogramming | 9 Apr 2021