Ivan Gotovchits

OCaml hacker, BAP developer, open source enthusiast

[Ivan Gotovchits @ivg_t]

CMU Binary Analysis Platform (BAP) 2.5.0 is out! We now have scalable floating-points enabled by default and bap is now much much faster (x2 or even x3)! Lots of other new features, in one of the biggest releases. Check it out:
https://t.co/GOBvyVN0mI

[Ivan Gotovchits @ivg_t]

Nearly forgot to tell, that we now have a tutorial that teaches how to define the semantics of a machine instruction from scratch using Primus Lisp: https://t.co/sRJztrnAf1
#cmubap

[Ivan Gotovchits @ivg_t]

It's finally happing! CMU BAP is getting the #Ghidra backend, which enables disassembling and lifting using the Sleigh files provided by Ghidra. And we also packaged Ghidra as a deb package via PPA. Read the PR for more: https://t.co/JYm9OkRcCc

[Rijnard van Tonder @rvtond]

If you're a developer I bet there are times you put in a ton of effort to maintain a codebase. Not exactly glamorous, but super valuable. I wrote a bit about such work at my day job. Lots of testing (aside: don't make fuzzing an afterthought :P)

Read: https://t.co/c9sQT8M3AY

[Philip Zucker @SandMouth]

The greatest gift you never asked for: My Z3 tutorial video for FMIE 2021 is up! https://t.co/UtBqOVikqb You may finally be at peace.
#z3 #python #smt #formalmethods

[Ivan Gotovchits @ivg_t]

The CMU Binary Analysis Platform (BAP) 2.3.0 is released and will soon get into the upstream package managers. We got RISC-V, Aarch64, more Thumbs, big-endian Arms, and an ability to write instruction semantics in Primus Lisp. More details https://t.co/Vv4MyNzRSl
#cmu #cmubap

[Anton @antron__]

Released Dream, a simple but feature-complete Web framework for #OCaml and #ReasonML.

It does WebSockets, GraphQL, offers secure defaults for cookies and forms, lots of examples, full API docs, and deployment instructions. Also has an online playground!

https://t.co/LHA3EezMon

[Yaron (Ron) Minsky @yminsky]

Interested in type systems and applied PL research? Jane Street is (still) growing our compilers team. There's a ton of ambitious projects underway, and more to come if we can find more of the right people.

(would love some retweets on this!)

https://t.co/8y7ul1ZXma

[Ivan Gotovchits @ivg_t]

@comex @alan_phipps Sure. The code is still legit, if necessary we can rebase it. We just need to get some attention to it from the LLVM developers.

[Ivan Gotovchits @ivg_t]

A funny fact, the LLVM disassembler doesn't support big-endian ARM targets and hardcodes the little-endian order. The fix is provided long time ago by @alan_phipps, but nobody cares and wants to review the fix. Is there anyone who can review it? #arm #llvm https://t.co/9HaNr83Wcr

[Ivan Gotovchits @ivg_t]

@comex @alan_phipps Any chances we can push it forward?

[Ivan Gotovchits @ivg_t]

We introduced a new BAP tool for the analysis of program dependencies, such as used libraries and imported/exported symbols. Much like ldd+nm but easier to use and portable across various file formats and architectures, see the examples in the pull request https://t.co/nHkcBaUgF6

[Ivan Gotovchits @ivg_t]

We have introduced a cool new feature to CMU BAP: it is now possible to write instruction semantics (lifter) in Primus Lisp. We wrote (an incomplete) #riscv semantics in one evening in less than 150 lines of Lisp code. See the PR https://t.co/n6bauTPtsZ

[OCaml @OCamlLang]

The road ahead for MirageOS in 2021 https://t.co/dgBKbemoLn

[Ivan Gotovchits @ivg_t]

CMU BAP version 2.2.0 has been released! We now support Thumb/Thumbv2 with interworking, x86 floating-points, have integration with @radareorg, a new REPL, and many more (see below)! Thanks to @akochkov, @Phosphorus151, & @ForAllSecure for contributions! https://t.co/Euc3p3hYfm

[Ivan Gotovchits @ivg_t]

Here is the link to PR with more details
https://t.co/CeO5qI7N4O

[Ivan Gotovchits @ivg_t]

A teaser for the upcoming CMU #BAP PR, which will bring lots of improvements and REPL for interacting with the knowledge base:
https://t.co/r8RqPaN2JC

[Anil Madhavapeddy @avsm]

Enjoying @sadiqj talking about how to parallelise your code with multicore OCaml; https://t.co/i4in4b7k3t (this is our multicore fork, which is heading upstream to OCaml over the next year)

[Ivan Gotovchits @ivg_t]

You can join us in the Zoom meeting if you're registered in ICFP, otherwise, you can post your questions in Discuss, and we forward them to the authors in the Zoom meeting. The Q&A Sessions will be uploaded later, so subscribe to the YouTube channel! https://t.co/nSQXoBLFZd

[Ivan Gotovchits @ivg_t]

The OCaml2020 Workshop is live now! Please join our collective watching experience https://t.co/SL3qpMFqJf