bap
seed7
bap | seed7 | |
---|---|---|
3 | 41 | |
1,981 | 183 | |
1.2% | - | |
4.6 | 9.8 | |
10 days ago | 2 days ago | |
OCaml | C | |
MIT License | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
bap
-
Any standard algorithms for parsing (disassembling) machine code?
BAP (https://github.com/binaryanalysisplatform/bap), angr (https://angr.io/) and others already do what you're asking for as more purpose-built solutions for dynamic analysis. Angr specifically in python.
- You need to stop idolizing programming languages.
-
Starting ocaml
I find this pretty good https://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/intro/ocaml.html. Fun projects include compilers (pattern matching and static types are why Ocaml is usually selected), binary analysis stuff https://github.com/BinaryAnalysisPlatform/bap, stuff that requires async so you can try out nomadic async stuff, or really anything you desire.
seed7
-
Seed7 version 2023-07-09 released on GitHub and SF
This release is available at GitHub and SF. There is also a Seed7 installer for windows, which downloads the newest version from SF. The Seed7 Homepage stays at its usual place. There is also a mirror of the Seed7 Homepage at GitHub.
-
Version 2023-05-29 of the Seed7 programming language released on GitHub and SF
Seed7 at GitHub
-
Build from source issue
bugmagnet@LAPTOP-H6HBEGA9:~$ git clone https://github.com/ThomasMertes/seed7 Cloning into 'seed7'... remote: Enumerating objects: 21021, done. remote: Counting objects: 100% (4660/4660), done. remote: Compressing objects: 100% (1118/1118), done. remote: Total 21021 (delta 3677), reused 4454 (delta 3515), pack-reused 16361 Receiving objects: 100% (21021/21021), 15.95 MiB | 6.47 MiB/s, done. Resolving deltas: 100% (18593/18593), done. bugmagnet@LAPTOP-H6HBEGA9:~$ cd seed7 bugmagnet@LAPTOP-H6HBEGA9:~/seed7$ make -f src/mk_linux.mak depend make: *** No rule to make target 'chkccomp.c', needed by 'chkccomp'. Stop.
-
Seed7 version 2023-04-22 released on GitHub and SF
No. You can see at GitHub that I update Seed7 quite often. Approximately once a month I do a release and this release is announced at r/seed7 and here.
-
Question about installation
The packages are not updated so often. So you are more up-to-date with the releases (or even more up-to-date by pulling from GitHub).
-
Exercism related questions
I committed a corresponding change to GitHub (Support syntax statements without $ (dollar)).
-
Seed7 version 2023-03-05 released on GitHub and SF
This release is available at GitHub and SF. There is also a Seed7 installer for windows, which downloads the newest version from SF. The Seed7 Homepage stays at its usual place. There is also a mirror of the Seed7 Homepage which uses HTTPS.
-
Have you heard about the Seed7 programming language?
Yes, I am regularly working on improvements for Seed7. The changes are checked in at GitHub (see here for the list of commits) and once a month I do a release which is announced at r/seed7.
-
Core-js maintainer complains open source is broken
It all depends on the circumstances behind. In the beginning the core-js maintainer had no family and now he has. When I released Seed7 I already had a family. It was clear that my job had to support my family and my hobby (GitHub link).
-
Seed7 version 2022-06-26 released on GitHub and SF
Syntax highlighting for the Nano editor has been added. Many thanks to Duke Normandin for creating seed7.nanorc.
What are some alternatives?
VMProtect-devirtualization - Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
xvm - Ecstasy and XVM
pyt - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
ghc - Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
angr - A powerful and user-friendly binary analysis platform!
sbcl - Mirror of Steel Bank Common Lisp (SBCL)'s official repository
klee - KLEE Symbolic Execution Engine
passerine - A small extensible programming language designed for concise expression with little code.
MobileApp-Pentest-Cheatsheet - The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application penetration testing topics.
PyBasic - Simple interactive BASIC interpreter written in Python
ocamlformat - Auto-formatter for OCaml code
carnet - A Tool for Sandboxing Cargo and Buildscripts