Ho utilizzato lightTable al mio primo approccio con Clj

Poi l'ho mollato per Intellij. Lavorando anche su altri stack l'interfaccia unica vince. Era un bel progetto però credo che abbia fatto il suo tempo.

buond!

Oh wow 😄

Grande! Non vedo l'ora di usarlo al posto di nodisassemble 🙂 quando hai alpha manda jar

eh vediamo, lo proporro` come talk per clojure/conj, se me l'accettano lo tengo closed source fino ad allora

quindi che ci sto lavorando resti in questo canale

🤐

la fase alpha l'ha gia` superata, riesce a decompilare tutte le librerie che gli ho dato in pasto

ora sto lavorando alla macrocompaction e poi ho in mente di fare una cosa molto interessante assieme a tools.analyzer e tools.emitter

well, di provare a fare

pensavo cosi' a naso che ci fossero problemi insormontabili man mano che il compilato si complicava... apparentemente no

beh facile non e` stato

la compilazione e` decisamente lossy, pero` utilizzando varie euristiche si riesce comunque a decompilare una form clojure equivalente all'iniziale

A meno di tutte le macro che non stanno in core immagino?

si`, l'output iniziale e` completamente inlined e macroexpanded

ho due fasi che cercano di riprodurre del codice humanly readable, una che prende AST e ritorna una AST "sugared", in cui transforma metodi emessi dal compilatore negli equivalenti in codice, e poi la fase di macrocompaction che cerca di fare la macroexpansion al contrario

in best effort, chiaramente

nel generale sarebbe un problema equivalente a risolvere l'halting problem

Chiaro

Quindi euristiche best effort

esempio stupido di macro impossibile da compattare: (defmacro foo [& _] 1) :)

Vero 🙂

Però mi sembra già in ottimo stato, complimenti 👏

son stati una decina di giorni molto intensi

l'hai gia' puntato al jar di datomic? 😄

se l'avessi fatto sarebbe abbastanza illegale, non lo confermerei di certo ;)

dico solo che non l'ho puntato solo a librerie

ho visto cose che voi umani....

la missione di questa settimana e` cercare di unparsare il destructuring

il resto delle macro stock sono abbastanza triviali

cmq complimenti saro' contento di provare quando e' disponibile (spero che ti prendano alla conj tra l'altro)

speriamo, ho un po' il sospetto che per le implicazioni per datomic non sia facile

beh, se fornisci un offuscatore a corredo penso che si possano dire tutti contenti 🙂

L’offuscatore è un’ottima idea per un altro talk 😄

uhm, mi chiedo se robe tipo i vari Java proguard non siano inutili in questo caso

Però in realtà decompilare non è illegale finchè non pubblichi i risultati, quindi è un po’ un’area grigia

tipo: https://github.com/eiffelqiu/obfuscate-clojure-project-demo

se @bronsa decompila dopo che Proguard ha passato il jar, non sono sicuro se funzia o no

no certamente no

penso che offuschi il lato java, forse il decompilato contiene gibberish indecifrabile?

cioe' (defn sfadslfjhaldkfjahdlfkjhadslfjkhafdflj [])

non solo quello

cambia proprio la struttura del bytecode

ah, interessante, quindi potrebbe anche cambiare le performance ad esempio?

possibile, non ho mai usato proguard pero`

ok, vedo se ho tempo per indagare e sfidarti a decompilare qualcosa

Ma offuscare renderebbe anche un po’ di cose utili un po’ più difficili, e.g. - stacktraces in production diventano illeggibili - repl in produzione diventa impossibile da usare perchè i nomi sono distrutti

Ovviamente dipende dallo use-case

mmmh vero

C’è anche da dire che Datomic non ha nessuno di questi problemi

@reborg sono abbastanza convinto che con un minimo minimo di cambi sul bytecode stock esploda tutto

faccio abbastanza assunzioni sul tipo di bytecode da parsare

(semplicemente perche` non ho avuto tempo/voglia di renderlo robusto per bytecode non emesso da Compiler.java, non che sia una limitazione intrinseca)

quindi anche cose del tipo direct linking potrebbero fare esplodere tutto?

no, tutto quello che genera Compiler.java lo supporto

modulo bug chiaramente