* * * *

Privacy Policy

Forum ufficiale

Se non siete riusciti a reperire l'informazione che cercavate nei nostri articoli o sul nostro forum vi consiglio di visitare il
Forum ufficiale di Lazarus in lingua inglese.

Lazarus 1.0

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

Inserisci il nome utente, la password e la durata della sessione.

18 Visitatori, 1 Utente

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

Stilgar

  • Global Moderator
  • Hero Member
  • *****
  • Post: 2131
  • Karma: +6/-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: 2293
  • Karma: +10/-2
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: 2131
  • Karma: +6/-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: 2293
  • Karma: +10/-2
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: 2131
  • Karma: +6/-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: 2293
  • Karma: +10/-2
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: 2881
  • 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: 2131
  • Karma: +6/-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: 2293
  • Karma: +10/-2
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: 2131
  • Karma: +6/-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: 2293
  • Karma: +10/-2
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: 2131
  • Karma: +6/-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: 2293
  • Karma: +10/-2
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: 2131
  • Karma: +6/-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: 2293
  • Karma: +10/-2
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

Utenti
Stats
  • Post in totale: 13877
  • Topic in totale: 1742
  • Online Today: 24
  • Online Ever: 900
  • (Gennaio 21, 2020, 08:17:49 pm)
Utenti Online
Users: 1
Guests: 18
Total: 19

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.