* * * *
22 Visitatori, 0 Utenti

Autore Topic: Ricostruzione sorgenti in object pascal  (Letto 228 volte)

Stilgar

  • Global Moderator
  • Hero Member
  • *****
  • Post: 1939
  • Karma: +4/-0
Ricostruzione sorgenti in object pascal
« il: Luglio 10, 2019, 10:00:29 pm »
Ciao.
Su suggerimento di normore, pubblico qui, un progettino che porto avanti a tempo perso.
E' ancora in fase di sviluppo.

Scopo:
Partendo da uno o più file .class (struttura del file class fino alla versione 1.8) produrre un file ".pas" compilabile.
Al momento sono arrivato a creare la struttura delle classi. I metodi nativi purtroppo non sono traducibili con questo tool.
Per i metodi che hanno del bytecode dentro sono arrivato a decompilare una sorta si assembly.
Ora resterebbe da capire come ricostruire la logica interna al metodo per poter ottenere un codice effettivo che, una volta compilato, abbia lo stesso comportamento di quello che la macchina virtuale ha eseguendo il .class

Allego anche qualche output prodotto a caso.

La documentazione da cui sono partito è qui : https://docs.oracle.com/javase/specs/jvms/se11/html/jvms-4.html

Stilgar
Al mondo ci sono 10 tipi di persone ... chi capisce il binario e chi no.

nomorelogic

  • Global Moderator
  • Hero Member
  • *****
  • Post: 2114
  • Karma: +8/-1
Re:Ricostruzione sorgenti in object pascal
« Risposta #1 il: Luglio 11, 2019, 08:56:34 am »
Ora resterebbe da capire come ricostruire la logica interna al metodo per poter ottenere un codice effettivo che, una volta compilato, abbia lo stesso comportamento di quello che la macchina virtuale ha eseguendo il .class

potresti fare un esempio pratico?
anche una classe banale scritta a mano in java, giusto per capire :)
Imagination is more important than knowledge (A.Einstein)

Stilgar

  • Global Moderator
  • Hero Member
  • *****
  • Post: 1939
  • Karma: +4/-0
Re:Ricostruzione sorgenti in object pascal
« Risposta #2 il: Luglio 11, 2019, 09:16:31 am »
La parte di cifratura.
Oppure la gestione dei protocolli di rete.

Le swing.
😁
Al mondo ci sono 10 tipi di persone ... chi capisce il binario e chi no.

nomorelogic

  • Global Moderator
  • Hero Member
  • *****
  • Post: 2114
  • Karma: +8/-1
Re:Ricostruzione sorgenti in object pascal
« Risposta #3 il: Luglio 11, 2019, 09:31:23 am »
swing è il sistema di java per l'interfaccia grafica o sbaglio?
quindi vorresti fare in modo che compilando in pascal uscisse fuori la stessa interfaccia
Imagination is more important than knowledge (A.Einstein)

Stilgar

  • Global Moderator
  • Hero Member
  • *****
  • Post: 1939
  • Karma: +4/-0
Re:Ricostruzione sorgenti in object pascal
« Risposta #4 il: Luglio 11, 2019, 09:34:20 am »
Anche.
Aggiungi che sono skinnabile 😜
Al mondo ci sono 10 tipi di persone ... chi capisce il binario e chi no.

nomorelogic

  • Global Moderator
  • Hero Member
  • *****
  • Post: 2114
  • Karma: +8/-1
Re:Ricostruzione sorgenti in object pascal
« Risposta #5 il: Luglio 11, 2019, 09:38:35 am »
una cosa da niente insomma  ;D
Imagination is more important than knowledge (A.Einstein)

xinyiman

  • Administrator
  • Hero Member
  • *****
  • Post: 2652
  • Karma: +9/-0
Re:Ricostruzione sorgenti in object pascal
« Risposta #6 il: Luglio 11, 2019, 09:39:37 am »
Anche.
Aggiungi che sono skinnabile 😜
E sticxxxi  ;D ;D
Ieri è passato, domani è futuro, oggi è un dono...

Stilgar

  • Global Moderator
  • Hero Member
  • *****
  • Post: 1939
  • Karma: +4/-0
Re:Ricostruzione sorgenti in object pascal
« Risposta #7 il: Luglio 11, 2019, 10:11:41 am »
swing è il sistema di java per l'interfaccia grafica o sbaglio?
quindi vorresti fare in modo che compilando in pascal uscisse fuori la stessa interfaccia
Diciamo che non è lo scopo principale del progetto.

Tanto poi ci sono cose da ottimizzare a manella.

Anni fa tradussi lo StringTokenizer di java in Delphi.
Mi feci una classe wrapper per le stringe.
Era leeeeeeento come la morte.
Ho eliminato la creazione degli oggetti a favore delle stringhe native del linguaggio.
Riusciva a fare la separazione dei token in pochi millisecondi di file di qualche mega.

In altre parole. Se le cose dentro l'interprete funzionano decentemente, portate in nativo "paro paro" potrebbero essere una chiavica a livello prestazionale.

Un porting manuale di alcune parti del jdk sono state già fatte.
Pensate a Zeos.
Pensate ad alcuni helper che FPC ci mette a disposizione.

Stilgar
Al mondo ci sono 10 tipi di persone ... chi capisce il binario e chi no.

nomorelogic

  • Global Moderator
  • Hero Member
  • *****
  • Post: 2114
  • Karma: +8/-1
Re:Ricostruzione sorgenti in object pascal
« Risposta #8 il: Luglio 11, 2019, 10:15:10 am »
praticamente vorresti fare una cosa speculare a questa
https://wiki.freepascal.org/pas2jni

non ho ancora visto i sorgenti, forse servirebbe un parser java
Imagination is more important than knowledge (A.Einstein)

Stilgar

  • Global Moderator
  • Hero Member
  • *****
  • Post: 1939
  • Karma: +4/-0
Re:Ricostruzione sorgenti in object pascal
« Risposta #9 il: Luglio 11, 2019, 10:23:18 am »
JNI è la parte per dialogare con la jvm direttamente.
Nel senso: Crei una wrapper java con i metodi marcati nativi. Crei la tua dll (per dirla alla Windows). I metodi diventano entry point della libreria.
Devono aver una determinata firma per poter essere agganciati correttamente. Tra i parametri ci sono i puntatori al contesto della jvm.

Ho scritto parecchio col JNI in c++. Ma si parla del lontano ... 19 anta :'( Bei tempi quelli.
Stilgar
Al mondo ci sono 10 tipi di persone ... chi capisce il binario e chi no.

nomorelogic

  • Global Moderator
  • Hero Member
  • *****
  • Post: 2114
  • Karma: +8/-1
Re:Ricostruzione sorgenti in object pascal
« Risposta #10 il: Luglio 11, 2019, 10:43:27 am »
ok, infatti avevo in mente un parser java
nel senso che poi da quello si potrebbe generare il sorgente pascal

Imagination is more important than knowledge (A.Einstein)

Stilgar

  • Global Moderator
  • Hero Member
  • *****
  • Post: 1939
  • Karma: +4/-0
Re:Ricostruzione sorgenti in object pascal
« Risposta #11 il: Luglio 11, 2019, 10:47:11 am »
Avevo iniziato a modificare il parser java (quello del compilatore) per generare codice pascal.
Funzionicchiava.

Il problema è che a volte ci sono dipendenza di cui non hai i sorgenti. Passavo più tempo a cercare i sorgenti e renderli visibili al "compilatore" che migliorare la generazione.
Mi sono rotto e ho intrapreso la strada "ad alzo zero".
In questo modo posso tradurre e fare reverese anche delle cosine di cui si sono persi i sorgenti :)
Stilgar

Al mondo ci sono 10 tipi di persone ... chi capisce il binario e chi no.

nomorelogic

  • Global Moderator
  • Hero Member
  • *****
  • Post: 2114
  • Karma: +8/-1
Re:Ricostruzione sorgenti in object pascal
« Risposta #12 il: Luglio 11, 2019, 12:17:15 pm »
forse può essere utile

ho trovato queste perle, quando si dice open source....

elenco delle unit (documentazione scarseggia ma intanto si sa quali sono) per scanning, parsing e rappresentazione tree di sorgenti pascal
https://wiki.freepascal.org/fcl-passrc

documentazione albero
https://wiki.freepascal.org/The_parse_tree#The_parse_tree

e, per finire: FPC internal
https://wiki.freepascal.org/Category:FPC_internals

premessa...
i sorgenti pascal, prima (1) vengono passati con scanner e parser per ottenere un albero
poi (2) l'albero si passa al compilatore backend ed avviene la generazione del linguaggio macchina per OS/processore

ora...
visto che c'è qualche problema con il reperimento di tutti i sorgenti java di un certo progetto
si potrebbe tentare lo scanning ed il parsing del JNI per ottenere lo stesso albero di cui sopra (1)
fatta una cosa del genere ( assurdo solo a pensarlo è vero :D), i vari compilatori backend sono già pronti all'uso per (2) compilare per qualsiasi piattaforma già supportata

ok, ok
chiaramente detta così è facile, lo ammetto

Edit: >>
nel JNI infatti ci sono delle implementazioni che non esistono in FPC
bisognerebbe tradurre queste diverse visioni del linguaggio (esempio GC), non è cosa da poco
però si potrebbe iniziare piano piano con i programmi senza GUI
<<


però ci sono dei vantaggi innegabili :)

Edit2: >>
del resto c'è il pas2jni...
<<

« Ultima modifica: Luglio 11, 2019, 12:22:00 pm da nomorelogic »
Imagination is more important than knowledge (A.Einstein)

Stilgar

  • Global Moderator
  • Hero Member
  • *****
  • Post: 1939
  • Karma: +4/-0
Re:Ricostruzione sorgenti in object pascal
« Risposta #13 il: Luglio 11, 2019, 12:21:39 pm »
Ok nomore.
Ma il jni parte da java e arriva al codice nativo.
Fare il giro come l'ho capito non centra nulla con il progettino in questione ;) E' un altro thread :p

Stilgar
Al mondo ci sono 10 tipi di persone ... chi capisce il binario e chi no.

nomorelogic

  • Global Moderator
  • Hero Member
  • *****
  • Post: 2114
  • Karma: +8/-1
Re:Ricostruzione sorgenti in object pascal
« Risposta #14 il: Luglio 11, 2019, 12:23:03 pm »
si, altra cosa è vero
 :)
Imagination is more important than knowledge (A.Einstein)

 

Recenti

How To

Trascinare un file nel programma da xinyiman
DB concetti fondamentali e ZeosLib da xinyiman
Recuperare codice HTML da pagina web da xinyiman
Mandare mail con Lazarus da xinyiman
Stabilire il sistema operativo da xinyiman
Esempio lista in pascal da xinyiman
File INI da xinyiman
Codice di attivazione da xinyiman
Realizzare programmi multilingua da xinyiman
Lavorare con le directory da xinyiman
Utilizzare Unità esterne da Loryea
TTreeView da xinyiman
TTreeview e Menu da xinyiman
Generare controlli RUN-TIME da xinyiman
LazReport, PDF ed immagini da xinyiman
Intercettare tasti premuti da xinyiman
Ampliare Lazarus da xinyiman
Lazarus e la crittografia da xinyiman
System Tray con Lazarus da xinyiman
UIB: Unified Interbase da Microges2000
Il file: questo sconosciuto da Microges2000
Conferma di chiusura di un applicazione da xinyiman
Liste e puntatori da Microges2000
Overload di funzioni da Microges2000
Funzioni a parametri variabili da Microges2000
Proprietà da Microges2000
Conversione numerica da Microges2000
TImage su Form e Panel da Maverich
Indy gestiore server FTP lato Client da Maverich
PopUpMenu sotto Pulsante (TSpeedButton) da Maverich
Direttiva $macro da Microges2000
Toolbar da xinyiman
Evidenziare voci TreeView da Maverich
Visualizzare un file Html esterno da Maverich
StatusBar - aggirare l'errore variabile duplicata da Maverich
Da DataSource a Excel da xinyiman
Le permutazioni da xinyiman
Brute force da xinyiman
Indy 10 - Invio email con allegati da Maverich
La gestione degli errori in Lazarus da xinyiman
Pascal Script da xinyiman
Linux + Zeos + Firebird da xinyiman
Dataset virtuale da xinyiman
Overload di operatori da Microges2000
Lavorare con file in formato JSON con Lazarus da nomorelogic
Zeos ... dietro le quinte (prima parte) da Stilgar
Disporre le finestre in un blocco unico (come Delphi) da Maverich
Aspetto retrò (Cmd Line) da xinyiman
Come interfacciare periferica twain da Narciso
Ubuntu - aggiornare free pascal e lazarus da xinyiman
fpcup: installazioni parallele di lazarus e fpc da nomorelogic
Free Pascal e Lazarus sul Raspberry Pi da nomorelogic
Cifratura: breve guida all'uso dell'algoritmo BlowFish con lazarus e free pascal. da nomorelogic
Creare un server multithread da xinyiman
guida all'installazione di fpc trunk da subversion in linux gentoo da nomorelogic
Indice da nomorelogic
DB concetti fondamentali e connessioni standard da xinyiman
Advanced Record Syntax da nomorelogic
DB concetti fondamentali e DBGrid da xinyiman
DB concetti fondamentali e TDBEdit, TDBMemo e TDBText da xinyiman
Advanced Record Syntax: un esempio pratico da nomorelogic
Superclasse form base per programmi gestionali (e non) da nomorelogic
Superclasse form base per programmi gestionali (e non) #2 - log, exception call stack, application toolbox da nomorelogic
Superclasse form base per programmi gestionali (e non) #3 - traduzione delle form da nomorelogic
Superclasse form base per programmi gestionali (e non) #4 - wait animation da nomorelogic
Un dialog per la connessione al database:TfmSimpleDbConnectionDialog da nomorelogic
Installare lazarus su mac osx sierra da xinyiman
Utenti
  • Utenti in totale: 628
  • Latest: elena
Stats
  • Post in totale: 12511
  • Topic in totale: 1558
  • Online Today: 23
  • Online Ever: 520
  • (Novembre 04, 2018, 12:00:31 pm)
Utenti Online
Users: 0
Guests: 22
Total: 22

Disclaimer:

Questo blog non rappresenta una testata giornalistica poiché viene aggiornato senza alcuna periodicità. Non può pertanto considerarsi un prodotto editoriale ai sensi della legge n. 62/2001.