 d92b0a82cc
			
		
	
	
		d92b0a82cc
		
			
		
	
	
	
	
		
			
			"A long time ago in a galaxy far, far away...." we started NFC subsystem refactoring. Starring: - @gornekich - NFC refactoring project lead, architect, senior developer - @gsurkov - architect, senior developer - @RebornedBrain - senior developer Supporting roles: - @skotopes, @DrZlo13, @hedger - general architecture advisors, code review - @Astrrra, @doomwastaken, @Hellitron, @ImagineVagon333 - quality assurance Special thanks: @bettse, @pcunning, @nxv, @noproto, @AloneLiberty and everyone else who has been helping us all this time and contributing valuable knowledges, ideas and source code.
		
			
				
	
	
		
			234 lines
		
	
	
		
			8.0 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			234 lines
		
	
	
		
			8.0 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
| /*
 | |
|  * opal.c - Parser for Opal card (Sydney, Australia).
 | |
|  *
 | |
|  * Copyright 2023 Michael Farrell <micolous+git@gmail.com>
 | |
|  *
 | |
|  * This will only read "standard" MIFARE DESFire-based Opal cards. Free travel
 | |
|  * cards (including School Opal cards, veteran, vision-impaired persons and
 | |
|  * TfNSW employees' cards) and single-trip tickets are MIFARE Ultralight C
 | |
|  * cards and not supported.
 | |
|  *
 | |
|  * Reference: https://github.com/metrodroid/metrodroid/wiki/Opal
 | |
|  *
 | |
|  * Note: The card values are all little-endian (like Flipper), but the above
 | |
|  * reference was originally written based on Java APIs, which are big-endian.
 | |
|  * This implementation presumes a little-endian system.
 | |
|  *
 | |
|  * This program is free software: you can redistribute it and/or modify it
 | |
|  * under the terms of the GNU General Public License as published by
 | |
|  * the Free Software Foundation, either version 3 of the License, or
 | |
|  * (at your option) any later version.
 | |
|  *
 | |
|  * This program is distributed in the hope that it will be useful, but
 | |
|  * WITHOUT ANY WARRANTY; without even the implied warranty of
 | |
|  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 | |
|  * General Public License for more details.
 | |
|  *
 | |
|  * You should have received a copy of the GNU General Public License
 | |
|  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 | |
|  */
 | |
| 
 | |
| #include "nfc_supported_card_plugin.h"
 | |
| 
 | |
| #include <flipper_application/flipper_application.h>
 | |
| #include <applications/services/locale/locale.h>
 | |
| #include <furi_hal_rtc.h>
 | |
| 
 | |
| #include <lib/nfc/protocols/mf_desfire/mf_desfire.h>
 | |
| 
 | |
| static const MfDesfireApplicationId opal_app_id = {.data = {0x31, 0x45, 0x53}};
 | |
| 
 | |
| static const MfDesfireFileId opal_file_id = 0x07;
 | |
| 
 | |
| static const char* opal_modes[5] =
 | |
|     {"Rail / Metro", "Ferry / Light Rail", "Bus", "Unknown mode", "Manly Ferry"};
 | |
| 
 | |
| static const char* opal_usages[14] = {
 | |
|     "New / Unused",
 | |
|     "Tap on: new journey",
 | |
|     "Tap on: transfer from same mode",
 | |
|     "Tap on: transfer from other mode",
 | |
|     NULL, // Manly Ferry: new journey
 | |
|     NULL, // Manly Ferry: transfer from ferry
 | |
|     NULL, // Manly Ferry: transfer from other
 | |
|     "Tap off: distance fare",
 | |
|     "Tap off: flat fare",
 | |
|     "Automated tap off: failed to tap off",
 | |
|     "Tap off: end of trip without start",
 | |
|     "Tap off: reversal",
 | |
|     "Tap on: rejected",
 | |
|     "Unknown usage",
 | |
| };
 | |
| 
 | |
| // Opal file 0x7 structure. Assumes a little-endian CPU.
 | |
| typedef struct __attribute__((__packed__)) {
 | |
|     uint32_t serial : 32;
 | |
|     uint8_t check_digit : 4;
 | |
|     bool blocked : 1;
 | |
|     uint16_t txn_number : 16;
 | |
|     int32_t balance : 21;
 | |
|     uint16_t days : 15;
 | |
|     uint16_t minutes : 11;
 | |
|     uint8_t mode : 3;
 | |
|     uint16_t usage : 4;
 | |
|     bool auto_topup : 1;
 | |
|     uint8_t weekly_journeys : 4;
 | |
|     uint16_t checksum : 16;
 | |
| } OpalFile;
 | |
| 
 | |
| static_assert(sizeof(OpalFile) == 16, "OpalFile");
 | |
| 
 | |
| // Converts an Opal timestamp to FuriHalRtcDateTime.
 | |
| //
 | |
| // Opal measures days since 1980-01-01 and minutes since midnight, and presumes
 | |
| // all days are 1440 minutes.
 | |
| static void opal_date_time_to_furi(uint16_t days, uint16_t minutes, FuriHalRtcDateTime* out) {
 | |
|     out->year = 1980;
 | |
|     out->month = 1;
 | |
|     // 1980-01-01 is a Tuesday
 | |
|     out->weekday = ((days + 1) % 7) + 1;
 | |
|     out->hour = minutes / 60;
 | |
|     out->minute = minutes % 60;
 | |
|     out->second = 0;
 | |
| 
 | |
|     // What year is it?
 | |
|     for(;;) {
 | |
|         const uint16_t num_days_in_year = furi_hal_rtc_get_days_per_year(out->year);
 | |
|         if(days < num_days_in_year) break;
 | |
|         days -= num_days_in_year;
 | |
|         out->year++;
 | |
|     }
 | |
| 
 | |
|     // 1-index the day of the year
 | |
|     days++;
 | |
| 
 | |
|     for(;;) {
 | |
|         // What month is it?
 | |
|         const bool is_leap = furi_hal_rtc_is_leap_year(out->year);
 | |
|         const uint8_t num_days_in_month = furi_hal_rtc_get_days_per_month(is_leap, out->month);
 | |
|         if(days <= num_days_in_month) break;
 | |
|         days -= num_days_in_month;
 | |
|         out->month++;
 | |
|     }
 | |
| 
 | |
|     out->day = days;
 | |
| }
 | |
| 
 | |
| static bool opal_parse(const NfcDevice* device, FuriString* parsed_data) {
 | |
|     furi_assert(device);
 | |
|     furi_assert(parsed_data);
 | |
| 
 | |
|     const MfDesfireData* data = nfc_device_get_data(device, NfcProtocolMfDesfire);
 | |
| 
 | |
|     bool parsed = false;
 | |
| 
 | |
|     do {
 | |
|         const MfDesfireApplication* app = mf_desfire_get_application(data, &opal_app_id);
 | |
|         if(app == NULL) break;
 | |
| 
 | |
|         const MfDesfireFileSettings* file_settings =
 | |
|             mf_desfire_get_file_settings(app, &opal_file_id);
 | |
|         if(file_settings == NULL || file_settings->type != MfDesfireFileTypeStandard ||
 | |
|            file_settings->data.size != sizeof(OpalFile))
 | |
|             break;
 | |
| 
 | |
|         const MfDesfireFileData* file_data = mf_desfire_get_file_data(app, &opal_file_id);
 | |
|         if(file_data == NULL) break;
 | |
| 
 | |
|         const OpalFile* opal_file = simple_array_cget_data(file_data->data);
 | |
| 
 | |
|         const uint8_t serial2 = opal_file->serial / 10000000;
 | |
|         const uint16_t serial3 = (opal_file->serial / 1000) % 10000;
 | |
|         const uint16_t serial4 = (opal_file->serial % 1000);
 | |
| 
 | |
|         if(opal_file->check_digit > 9) break;
 | |
| 
 | |
|         // Negative balance. Make this a positive value again and record the
 | |
|         // sign separately, because then we can handle balances of -99..-1
 | |
|         // cents, as the "dollars" division below would result in a positive
 | |
|         // zero value.
 | |
|         const bool is_negative_balance = (opal_file->balance < 0);
 | |
|         const char* sign = is_negative_balance ? "-" : "";
 | |
|         const int32_t balance = is_negative_balance ? labs(opal_file->balance) : //-V1081
 | |
|                                                       opal_file->balance;
 | |
|         const uint8_t balance_cents = balance % 100;
 | |
|         const int32_t balance_dollars = balance / 100;
 | |
| 
 | |
|         FuriHalRtcDateTime timestamp;
 | |
|         opal_date_time_to_furi(opal_file->days, opal_file->minutes, ×tamp);
 | |
| 
 | |
|         // Usages 4..6 associated with the Manly Ferry, which correspond to
 | |
|         // usages 1..3 for other modes.
 | |
|         const bool is_manly_ferry = (opal_file->usage >= 4) && (opal_file->usage <= 6);
 | |
| 
 | |
|         // 3..7 are "reserved", but we use 4 to indicate the Manly Ferry.
 | |
|         const uint8_t mode = is_manly_ferry ? 4 : opal_file->mode;
 | |
|         const uint8_t usage = is_manly_ferry ? opal_file->usage - 3 : opal_file->usage;
 | |
| 
 | |
|         const char* mode_str = opal_modes[mode > 4 ? 3 : mode];
 | |
|         const char* usage_str = opal_usages[usage > 12 ? 13 : usage];
 | |
| 
 | |
|         furi_string_printf(
 | |
|             parsed_data,
 | |
|             "\e#Opal: $%s%ld.%02hu\n3085 22%02hhu %04hu %03hu%01hhu\n%s, %s\n",
 | |
|             sign,
 | |
|             balance_dollars,
 | |
|             balance_cents,
 | |
|             serial2,
 | |
|             serial3,
 | |
|             serial4,
 | |
|             opal_file->check_digit,
 | |
|             mode_str,
 | |
|             usage_str);
 | |
| 
 | |
|         FuriString* timestamp_str = furi_string_alloc();
 | |
| 
 | |
|         locale_format_date(timestamp_str, ×tamp, locale_get_date_format(), "-");
 | |
|         furi_string_cat(parsed_data, timestamp_str);
 | |
|         furi_string_cat(parsed_data, " at ");
 | |
| 
 | |
|         locale_format_time(timestamp_str, ×tamp, locale_get_time_format(), false);
 | |
|         furi_string_cat(parsed_data, timestamp_str);
 | |
| 
 | |
|         furi_string_free(timestamp_str);
 | |
| 
 | |
|         furi_string_cat_printf(
 | |
|             parsed_data,
 | |
|             "\nWeekly journeys: %hhu, Txn #%hu\n",
 | |
|             opal_file->weekly_journeys,
 | |
|             opal_file->txn_number);
 | |
| 
 | |
|         if(opal_file->auto_topup) {
 | |
|             furi_string_cat_str(parsed_data, "Auto-topup enabled\n");
 | |
|         }
 | |
| 
 | |
|         if(opal_file->blocked) {
 | |
|             furi_string_cat_str(parsed_data, "Card blocked\n");
 | |
|         }
 | |
| 
 | |
|         parsed = true;
 | |
|     } while(false);
 | |
| 
 | |
|     return parsed;
 | |
| }
 | |
| 
 | |
| /* Actual implementation of app<>plugin interface */
 | |
| static const NfcSupportedCardsPlugin opal_plugin = {
 | |
|     .protocol = NfcProtocolMfDesfire,
 | |
|     .verify = NULL,
 | |
|     .read = NULL,
 | |
|     .parse = opal_parse,
 | |
| };
 | |
| 
 | |
| /* Plugin descriptor to comply with basic plugin specification */
 | |
| static const FlipperAppPluginDescriptor opal_plugin_descriptor = {
 | |
|     .appid = NFC_SUPPORTED_CARD_PLUGIN_APP_ID,
 | |
|     .ep_api_version = NFC_SUPPORTED_CARD_PLUGIN_API_VERSION,
 | |
|     .entry_point = &opal_plugin,
 | |
| };
 | |
| 
 | |
| /* Plugin entry point - must return a pointer to const descriptor  */
 | |
| const FlipperAppPluginDescriptor* opal_plugin_ep() {
 | |
|     return &opal_plugin_descriptor;
 | |
| }
 |