Source Code Verification - Πως γίνεται??

THMMY.gr > Forum > Ηλεκτρονικοί Υπολογιστές και Τεχνικά Θέματα > Περί Υπολογιστών... > Software > Προγραμματισμός (C, VB, Delphi, PHP, ASP...) (Moderators: chatzikys, PolarBear) > Source Code Verification - Πως γίνεται??

0 Members and 1 Guest are viewing this topic.

Pages: [1]

Author

Topic: Source Code Verification - Πως γίνεται?? (Read 1732 times)

netronio

Ανερχόμενος/Ανερχόμενη

Gender:

Posts: 69

Ξένοι λοιπόν???

Source Code Verification - Πως γίνεται??

« on: February 23, 2007, 17:16:04 pm »

Ενα έχουμε ένα πρόγραμμα και ένα κώδικα που υποτίθεται ότι είναι ο κώδικας του προγράμματος...μήπως ξέρει κανείς πως μπορεί να γίνει η επιβεβαίωση ότι πραγματικά αντιστοιχεί το ένα με το άλλο?

Αν γνωρίζουμε τον builder που χρησιμοποιήθηκε φαντάζομαι γίνεται να κάνουμε compile τον κώδικα και να δούμε αν το πρόγραμμα βγαίνει ίδιο.
Μάλλον όμως θα υπάρχει και πιο έξυπνος τρόπος...με αυτό τον τρόπο μάλιστα δεν νομίζω να μπορούμε να είμαστε σίγουροι αν όλες οι λειτουργίες του προγράμματος εμπεριέχονται στον κώδικα.

Δεκτες οι προτάσεις για οποιαδήποτε γλώσσα προγραμματισμού.


	Logged

Έχω ακούσει για κοπέλες που έχουν πάει με το μισό χωριό μου.
Έχω ακούσει για κοπέλες που έχουν πάει με τη μισή Καρδίτσα.
Έχω ακούσει για κοπέλες που έχουν πάει με τη μισή Θεσσαλονίκη

Εγώ ρε γαμώτο γιατί είμαι πάντα στο άλλο μισό?????

JAs0n-X

Αbsolute ΤΗΜΜΥ.gr

Gender:

Posts: 2861

Rhodes [Sattelite image]

Re: Source Code Verification - Πως γίνεται??

« Reply #1 on: February 23, 2007, 17:20:32 pm »

Αν θες να τα τεσταρεις σε επιπεδο source code πρεπει νομιζω να κανεις de-assembly (reverse engineering) το προγραμμα ... πραγμα αρκετα δυσκολο!

Οποτε πιο λογικος τροπος μου φαινεται να compilareis τον κωδικα που εχεις και να δεις αν το προγραμμα ειναι ιδιο (και παλι δεν μπορεις να το δεις ετσι ευκολα αλλα λεμε τωρα.. )


	Logged

J=X
--------------------------------------------
Ο Χριστος πεθανε
Ο Μαρξ πεθανε...
και εγω τελευταια δεν αισθανομαι καλα !

anonymous-root

Veteran
Καταστραμμένος

Posts: 8574

What do you want to troll today?

Re: Source Code Verification - Πως γίνεται??

« Reply #2 on: February 23, 2007, 20:22:28 pm »

Νομίζω γίνεται κάτι τις με ψηφιακή υπογραφή.

Υπογράφεις ψηφιακά το πρόγραμμα.


	Logged

elmaya

Guest

Re: Source Code Verification - Πως γίνεται??

« Reply #3 on: February 23, 2007, 21:16:02 pm »

Τι θέλεις να κάνεις ακριβώς? Και τι έχεις στη διάθεσή σου?

εδιτ: Βασικά αυτό που ρωτάω είναι: "Θέλεις να ταυτοποιήσεις ότι ο κώδικας παράγει το binary που έχεις, ή να δεις αν ο κώδικάς σου έχει λογικά σφάλματα?"


« Last Edit: February 23, 2007, 21:23:13 pm by elmaya »	Logged

netronio

Ανερχόμενος/Ανερχόμενη

Gender:

Posts: 69

Ξένοι λοιπόν???

Re: Source Code Verification - Πως γίνεται??

« Reply #4 on: February 26, 2007, 11:06:03 am »

Θέλω να ταυτοποιήσω ότι ο κώδικας παράγει το binary που έχω.

Το πρόγραμμα είναι παλιό και ένα μεγάλο κομμάτι του είναι γραμμένο σε Pascal.

Ένας φίλος ανέφερε μια ιδέα.
Να γίνει compile ο πηγαίος κώδικας και να συγκριθούν τα αρχεία που θα παραχθούν με τα εκτελέσιμα που έχουμε.
Αν η σύγκριση γίνει bit by bit μάλλον έτσι θα γίνει η επιβεβαίωση.
Απο ότι πρόλαβα να δώ, υπάρχει η εντολή στο DOS με όνομα COMP που συγκρίνει δύο αρχεία αλλα δεν το έψαξα παραπάνω.


	Logged

elmaya

Guest

Re: Source Code Verification - Πως γίνεται??

« Reply #5 on: February 26, 2007, 12:02:23 pm »

Quote from: netronio on February 26, 2007, 11:06:03 am

Και εγώ μάλλον θα ξαναέφτιαχνα ένα εκτελέσιμο με τον ίδιο compiler και θα έλεγχα, αν είναι ίδια τα binary. Αυτό προϋποθέτει ίδιες ακριβώς ρυθμίσεις στον compiler.

Αλλά αν έχει κανένας άλλος καμία ιδέα... Undecided


	Logged

chggr005

Αbsolute ΤΗΜΜΥ.gr

Gender:

Posts: 2566

Free ...as a bird (Beatles)

Re: Source Code Verification - Πως γίνεται??

« Reply #6 on: February 26, 2007, 22:38:34 pm »

Quote from: JAs0n-X on February 23, 2007, 17:20:32 pm

Αν θες να τα τεσταρεις σε επιπεδο source code πρεπει νομιζω να κανεις de-assembly (reverse engineering) το προγραμμα ... πραγμα αρκετα δυσκολο!

Υπάρχουν έτοιμα προγράμματα που ονομάζονται disassemblers, αλλά αυτό που σου δίνουν είναι οι εντολές Assembly που περιέχει το πρόγραμμά σου και όχι κώδικα γλώσσας υψηλού επιπέδου όπως πχ η C++.

Εγώ αυτό που θα έλεγα είναι να κάνεις compile με τον ίδιο compiler και με τις ίδιες ρυθμίσεις και μετά σύγκριση bit by bit. Ξέρεις όμως με ποιόν compiler είχες φτιάξει το πρόγραμμα και τι ρυθμίσεις έχεις κάνει?


	Logged

Goodbye to you, my trusted friend.
We've known each other since we were nine or ten.
Together we 've climbed hills or trees.
Learned of love and ABC's,
skinned our hearts and skinned our knees.

Goodbye my friend, it's hard to die,
when all the birds are singing in the sky,
Now that the spring is in the air.
Ο λογαριασμός έχει παραβιαστεί, μην ανοίξετε το link. are everywhere.
When you see them I'll be there.

We had joy, we had fun, we had seasons in the sun.
But the hills that we climbed
were just seasons out of time.

Terry Jacks - Seasons In The Sun

Οι πρωτοετείς φοιτητές μπορούν να ενημερωθούν για τον Σύλλογο Φοιτητών Ηλεκτρολόγων Μηχανολόγων Μηχανικών από εδώ: Σύλλογος Φοιτητών

Pages: [1]

Jump to: